1
0
0
(1 - 30 von 48
)
D-CON in Münster - uni-muenster.de
ivv5hpp.uni-muenster.de
Peter Lammich (WWU Münster) Modern interactive theorem provers like Isabelle, Coq, and ACL2 support for extracting executable code from the proofs. The extracted code is usually in some functional programming language. In order to get efficient executable code, one needs to …
Search results for "Peter Lammich" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 35 publication records. Showing 35 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Julius Michaelis ...
Softwareentwicklung und Verifikation - Publications
www.uni-muenster.de
Bene…t Nordhoff, Markus Müller-Olm and Peter Lammich Iterable Forward Reachability Analysis of Monitor-DPNs In Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh and John Hatcliff: Proceedings Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday ...
A shallow embedding of HyperCTL*
www.react.uni-saarland.de
A shallow embedding of HyperCTL* Markus N. Rabe, Peter Lammich, and Andrei Popescu. We formalize HyperCTL*, a temporal logic for expressing security properties.
Höchstes Lob für 121 Dissertationen
www.uni-muenster.de
wissen.leben - Die WWU Münster - eine renommierte Hochschule in einer sympathischen Stadt.
dblp: Archive of Formal Proofs, Volume 2012
dblp.uni-trier.de
Bibliographic content of Archive of Formal Proofs, Volume 2012
Modeling and Analysis of Information Systems » Richard Gay
www.mais.informatik.tu-darmstadt.de
This is the former webpage of Dr. Richard Gay Ondřej Kunčar, Peter Lammich, Heiko Mantel, Christian Müller, Andrei Popescu, Markus Rabe, Vineet Rajani, ...
Softwareentwicklung und Verifikation - Alexander Wennerwww.uni-muenster.de › people › wenner
www.uni-muenster.de
Peter Lammich, Markus Markus Müller-Olm, Helmut Seidl, Alexander Wenner. Contextual Locking for Dynamic Pushdown Networks. Proceedings of 20th Static ...
dblp: Markus Müller-Olm
dblp.uni-trier.de
List of computer science publications by Markus Müller-Olm
www.mais.informatik.tu-darmstadt.de
www.mais.informatik.tu-darmstadt.de
@Misc{ poster:WWMSUsenix-2016, author = {Thomas Bauereiss and Abhishek Bichhawat and Iulia Bolosteanu and Peter Faymonville and Bernd Finkbeiner and Deepak Garg and Richard Gay and Sergey Grebenshchikov and Christian Hammer and Dieter Hutter and Ondřej Kunčar and Peter Lammich and Heiko Mantel and Christian M\"uller and Andrei Popescu and Markus Rabe and …
Softwareentwicklung und Verifikation - People
www.uni-muenster.de
Tel : + Dr. Peter Lammich TU München. Dr. Dorothea Jansen Arbeitsgruppe Differentialgeometrie.
dblp: 15. SAS 2008: Valencia, Spain
dblp.uni-trier.de
Bibliographic content of 15. SAS 2008: Valencia, Spain
Publications
www.react.uni-saarland.de
Publications ; 2015; 2014; 2013; 2012; 2011; 2010; 2009; 2008; 2007; 2006; 2005; 2004; 2002; 2001; 2000; ... Markus N. Rabe, Peter Lammich, and Andrei Popescu. …
Bene…t Nordhoff
www.uni-muenster.de
Bene…t Nordhoff, Markus Müller-Olm and Peter Lammich Iterable Forward Reachability Analysis of Monitor-DPNs. In Anindya Banerjee, Olivier Danvy, ...
dblp: Journal of Automated Reasoning, Volume 60
dblp.uni-trier.de
Bibliographic content of Journal of Automated Reasoning, Volume 60
Buchkapitel: Join-Lock-Sensitive Forward Reachability Analysis for...
pp.info.uni-karlsruhe.de
[springerlink: : _15], Thomas Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner, Join-Lock-Sensitive ...
Markus Müller-Olm - dblpdblp.uni-trier.de › Persons
dblp.uni-trier.de
Peter Lammich, Markus Müller-Olm: Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. SAS 2008: ; [c25].
Buchkapitel: Predecessor Sets of Dynamic Pushdown ...pp.info.uni-karlsruhe.de › publication
pp.info.uni-karlsruhe.de
[springerlink: : _39], Peter Lammich, Markus Müller-Olm, Alexander Wenner, Predecessor Sets of Dynamic Pushdown Networks with ...
Conference Papers: Conflict Analysis of Programs with Procedures,...
pp.info.uni-karlsruhe.de
[Lammich:2008:CAP: ], Peter Lammich, Markus Müller-Olm, Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and ...
S. Reza Sefidgar - dblpdblp.uni-trier.de › Persons
dblp.uni-trier.de
Peter Lammich , S. Reza Sefidgar: Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL. J. Autom. Reasoning 62(2): ...
Buchkapitel: Precise Fixpoint-Based Analysis of Programs with...
pp.info.uni-karlsruhe.de
[springerlink: : _20], Peter Lammich, Markus Müller-Olm, Precise Fixpoint-Based Analysis of Programs with Thread-Creation and ...
dblp: BibTeX records: S. Reza Sefidgar
dblp.uni-trier.de
List of computer science publications by BibTeX records: S. Reza Sefidgar
sortiert nach Relevanz / Datum