Published in: Dagstuhl Reports, Volume 12, Issue 2 (2022)
Erika Abraham, James H. Davenport, Matthew England, and Alberto Griggio. New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). In Dagstuhl Reports, Volume 12, Issue 2, pp. 67-86, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{abraham_et_al:DagRep.12.2.67, author = {Abraham, Erika and Davenport, James H. and England, Matthew and Griggio, Alberto}, title = {{New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)}}, pages = {67--86}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2022}, volume = {12}, number = {2}, editor = {Abraham, Erika and Davenport, James H. and England, Matthew and Griggio, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.2.67}, URN = {urn:nbn:de:0030-drops-169310}, doi = {10.4230/DagRep.12.2.67}, annote = {Keywords: computer algebra systems, SMT Solvers, verification} }
Published in: LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Shawn Meier, Sergio Mover, and Bor-Yuh Evan Chang. Lifestate: Event-Driven Protocols and Callback Control Flow. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 134, pp. 1:1-1:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{meier_et_al:LIPIcs.ECOOP.2019.1, author = {Meier, Shawn and Mover, Sergio and Chang, Bor-Yuh Evan}, title = {{Lifestate: Event-Driven Protocols and Callback Control Flow}}, booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)}, pages = {1:1--1:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-111-5}, ISSN = {1868-8969}, year = {2019}, volume = {134}, editor = {Donaldson, Alastair F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.1}, URN = {urn:nbn:de:0030-drops-107932}, doi = {10.4230/LIPIcs.ECOOP.2019.1}, annote = {Keywords: event-driven systems, application-programming protocols, application framework interfaces, callbacks, sound framework modeling, predictive dynamic verification} }
Published in: OASIcs, Volume 44, 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) (2015)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta. Parameter Synthesis with IC3 (Informal Presentation). In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 106-107, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{cimatti_et_al:OASIcs.SynCoP.2015.106, author = {Cimatti, Alessandro and Griggio, Alberto and Mover, Sergio and Tonetta, Stefano}, title = {{Parameter Synthesis with IC3}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {106--107}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.106}, URN = {urn:nbn:de:0030-drops-56144}, doi = {10.4230/OASIcs.SynCoP.2015.106}, annote = {Keywords: Parameter Synthesis, Infinite-state Transition Systems, Satisfiability Modulo Theories, IC3} }
Feedback for Dagstuhl Publishing