Published in: LIPIcs, Volume 268, 14th International Conference on Interactive Theorem Proving (ITP 2023)
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, and Théo Zimmermann. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. In 14th International Conference on Interactive Theorem Proving (ITP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 268, pp. 12:1-12:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{dealmeidaborges_et_al:LIPIcs.ITP.2023.12, author = {de Almeida Borges, Ana and Casanueva Art{\'\i}s, Annal{\'\i} and Falleri, Jean-R\'{e}my and Gallego Arias, Emilio Jes\'{u}s and Martin-Dorel, \'{E}rik and Palmskog, Karl and Serebrenik, Alexander and Zimmermann, Th\'{e}o}, title = {{Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users}}, booktitle = {14th International Conference on Interactive Theorem Proving (ITP 2023)}, pages = {12:1--12:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-284-6}, ISSN = {1868-8969}, year = {2023}, volume = {268}, editor = {Naumowicz, Adam and Thiemann, Ren\'{e}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2023.12}, URN = {urn:nbn:de:0030-drops-183875}, doi = {10.4230/LIPIcs.ITP.2023.12}, annote = {Keywords: Coq, Community, Survey, Statistical Analysis} }
Published in: Dagstuhl Reports, Volume 2, Issue 7 (2013)
Peter Feiler, Jérôme Hugues, and Oleg Sokolsky. Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272). In Dagstuhl Reports, Volume 2, Issue 7, pp. 30-55, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{feiler_et_al:DagRep.2.7.30, author = {Feiler, Peter and Hugues, J\'{e}r\^{o}me and Sokolsky, Oleg}, title = {{Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272)}}, pages = {30--55}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2012}, volume = {2}, number = {7}, editor = {Feiler, Peter and Hugues, J\'{e}r\^{o}me and Sokolsky, Oleg}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.7.30}, URN = {urn:nbn:de:0030-drops-37343}, doi = {10.4230/DagRep.2.7.30}, annote = {Keywords: Architectu Description Language, AADL, EAST-ADL, MARTE, Verification, Validation, Analysis, Embedded Systems, Model-Driven techniques} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Olivier Gilles and Jérôme Hugues. Applying WCET Analysis at Architectural Level. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{gilles_et_al:OASIcs.WCET.2008.1665, author = {Gilles, Olivier and Hugues, J\'{e}r\^{o}me}, title = {{Applying WCET Analysis at Architectural Level}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1665}, URN = {urn:nbn:de:0030-drops-16653}, doi = {10.4230/OASIcs.WCET.2008.1665}, annote = {Keywords: WCET, AADL, Bound-T, Ocarina} }
Feedback for Dagstuhl Publishing