Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin. Forward and Backward Bisimulations for Chemical Reaction Networks. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 226-239, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{cardelli_et_al:LIPIcs.CONCUR.2015.226, author = {Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea}, title = {{Forward and Backward Bisimulations for Chemical Reaction Networks}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {226--239}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.226}, URN = {urn:nbn:de:0030-drops-53684}, doi = {10.4230/LIPIcs.CONCUR.2015.226}, annote = {Keywords: Chemical reaction networks, ordinary differential equations, bisimulation, partition refinement} }
Published in: LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL (2011)
Luca Cardelli, Kim G. Larsen, and Radu Mardare. Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. In Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Leibniz International Proceedings in Informatics (LIPIcs), Volume 12, pp. 144-158, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{cardelli_et_al:LIPIcs.CSL.2011.144, author = {Cardelli, Luca and Larsen, Kim G. and Mardare, Radu}, title = {{Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas}}, booktitle = {Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL}, pages = {144--158}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-32-3}, ISSN = {1868-8969}, year = {2011}, volume = {12}, editor = {Bezem, Marc}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.144}, URN = {urn:nbn:de:0030-drops-32281}, doi = {10.4230/LIPIcs.CSL.2011.144}, annote = {Keywords: probabilistic logic, axiomatization, Markov processes, metric semantics} }
Published in: Dagstuhl Seminar Proceedings, Volume 10271, Verification over discrete-continuous boundaries (2010)
Bernd Becker, Luca Cardelli, Holger Hermanns, and Sofiene Tahar. 10271 Abstracts Collection – Verification over discrete-continuous boundaries. In Verification over discrete-continuous boundaries. Dagstuhl Seminar Proceedings, Volume 10271, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{becker_et_al:DagSemProc.10271.1, author = {Becker, Bernd and Cardelli, Luca and Hermanns, Holger and Tahar, Sofiene}, title = {{10271 Abstracts Collection – Verification over discrete-continuous boundaries}}, booktitle = {Verification over discrete-continuous boundaries}, pages = {1--19}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10271}, editor = {Bernd Becker and Luca Cardelli and Holger Hermanns and Sofiene Tahar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10271.1}, URN = {urn:nbn:de:0030-drops-27922}, doi = {10.4230/DagSemProc.10271.1}, annote = {Keywords: Formal verification, cyber-physical systems, analog circuits, theorem proving, systems biology, mean-field methods} }
Published in: Dagstuhl Seminar Proceedings, Volume 10271, Verification over discrete-continuous boundaries (2010)
Erika Abraham, Florian Corzilius, Ulrich Loup, and Thomas Sturm. A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. In Verification over discrete-continuous boundaries. Dagstuhl Seminar Proceedings, Volume 10271, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{abraham_et_al:DagSemProc.10271.2, author = {Abraham, Erika and Corzilius, Florian and Loup, Ulrich and Sturm, Thomas}, title = {{A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra}}, booktitle = {Verification over discrete-continuous boundaries}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10271}, editor = {Bernd Becker and Luca Cardelli and Holger Hermanns and Sofiene Tahar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10271.2}, URN = {urn:nbn:de:0030-drops-27907}, doi = {10.4230/DagSemProc.10271.2}, annote = {Keywords: SMT-solving, Real Algebra, Hybrid Systems, Verification, Synthesis} }
Published in: Dagstuhl Seminar Proceedings, Volume 10271, Verification over discrete-continuous boundaries (2010)
Michael Brickenstein and Alexander Dreyer. Network-driven Boolean Normal Forms. In Verification over discrete-continuous boundaries. Dagstuhl Seminar Proceedings, Volume 10271, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{brickenstein_et_al:DagSemProc.10271.3, author = {Brickenstein, Michael and Dreyer, Alexander}, title = {{Network-driven Boolean Normal Forms}}, booktitle = {Verification over discrete-continuous boundaries}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10271}, editor = {Bernd Becker and Luca Cardelli and Holger Hermanns and Sofiene Tahar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10271.3}, URN = {urn:nbn:de:0030-drops-27894}, doi = {10.4230/DagSemProc.10271.3}, annote = {Keywords: Groebner, normal forms, Boolean polynomials, cryptanalysis, verification} }
Published in: Dagstuhl Seminar Proceedings, Volume 10271, Verification over discrete-continuous boundaries (2010)
Florian Schupfer and Christoph Grimm. Towards more Dependable Verification of Mixed-Signal Systems. In Verification over discrete-continuous boundaries. Dagstuhl Seminar Proceedings, Volume 10271, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{schupfer_et_al:DagSemProc.10271.4, author = {Schupfer, Florian and Grimm, Christoph}, title = {{Towards more Dependable Verification of Mixed-Signal Systems}}, booktitle = {Verification over discrete-continuous boundaries}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10271}, editor = {Bernd Becker and Luca Cardelli and Holger Hermanns and Sofiene Tahar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10271.4}, URN = {urn:nbn:de:0030-drops-27911}, doi = {10.4230/DagSemProc.10271.4}, annote = {Keywords: Affine Arithmetic, Range based methods, Verification, Semi-symbolic simulation} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Luca Cardelli, Achim Jung, Peter O'Hearn, and Jens Palsberg. The Semantic Challenge of Object-Oriented Programming (Dagstuhl Seminar 98261). Dagstuhl Seminar Report 216, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1999)
@TechReport{cardelli_et_al:DagSemRep.216, author = {Cardelli, Luca and Jung, Achim and O'Hearn, Peter and Palsberg, Jens}, title = {{The Semantic Challenge of Object-Oriented Programming (Dagstuhl Seminar 98261)}}, pages = {1--14}, ISSN = {1619-0203}, year = {1999}, type = {Dagstuhl Seminar Report}, number = {216}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.216}, URN = {urn:nbn:de:0030-drops-151022}, doi = {10.4230/DagSemRep.216}, }
Feedback for Dagstuhl Publishing