Towards Efficient Parameterized Synthesis

Ayrat Khalimov, Swen Jacobs, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationVerification, Model Checking, and Abstract Interpretation
Place of PublicationBerlin
PublisherSpringer
Pages108-127
Volume7737
ISBN (Print)978-3-642-35872-2
DOIs
Publication statusPublished - 2013
EventInternational Conference on Verification, Model Checking, and Abstract Interpretation - Rome, Italy
Duration: 20 Jan 201322 Jan 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Verification, Model Checking, and Abstract Interpretation
CountryItaly
CityRome
Period20/01/1322/01/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Projects

RiSE - Rigorous Systems Engineering

Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.

1/03/1131/08/19

Project: Research project

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.

1/01/1031/12/12

Project: Research project

Formal Methods for Design & Verification

Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.

1/02/0815/07/19

Project: Research area

Cite this

Khalimov, A., Jacobs, S., & Bloem, R. P. (2013). Towards Efficient Parameterized Synthesis. In Verification, Model Checking, and Abstract Interpretation (Vol. 7737, pp. 108-127). (Lecture Notes in Computer Science). Berlin: Springer. https://doi.org/10.1007/978-3-642-35873-9_9