list | abstracts | bib ]

Executing Specifications using Synthesis and Constraint Solving (Invited Talk)

paper pdf    paper ps   

Citation

Viktor Kuncak, Etienne Kneuss, and Philippe Suter. Executing specifications using synthesis and constraint solving (invited talk). In Runtime Verification (RV), 2013.

BibTex Entry

@INPROCEEDINGS{KuncakETAL13ExecutingSpecificationsSynthesisConstraintSolvingInvitedTalk,
  author = {Viktor Kuncak and Etienne Kneuss and Philippe Suter},
  title = {Executing Specifications using Synthesis and Constraint Solving (Invited Talk)},
  booktitle = {Runtime Verification (RV)},
  year = 2013,
  localurl = {http://lara.epfl.ch/~kuncak/papers/KuncakETAL13ExecutingSpecificationsSynthesisConstraintSolvingInvitedTalk.pdf}
}

list | abstracts | bib ]