CPP 2016
people.csail.mit.edu
CPP The 5th ACM SIGPLAN Conference on. Certified Programs and Proofs. in cooperation with ACM SIGLOG. Saint Petersburg, Florida, USA - January , CPP Accepted Papers. Peter Lammich. Refinement Based Verification of Imperative Data Structures. Sophie Bernard, Yves Bertot, Laurence ...
Peter Lammich - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Peter Lammich. MathSciNet. Dr. rer. nat. Westfälische Wilhelms-Universität Münster Germany. Dissertation: Lock-Sensitive Analysis of Parallel Programs.
Lock Sensitive Analysis of Parallel Programs - Peter Lammich - Google...
books.google.de
Lock Sensitive Analysis of Parallel Programs. Front Cover. Peter Lammich. Universitäts- und Landesbibliothek der Westfälischen Wilhelms-Universität,
CONCUR Concurrency Theory: 18th International Conference, ...books.google.com › books
books.google.com
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures Peter Lammich and Markus M ̈uller-Olm Institut f ̈ur Informatik, ...
Interactive Theorem Proving: Third International Conference, ITP
books.google.co.uk
Third International Conference, ITP 2012, Princeton, NJ, USA, August , Proceedings Lennart Beringer, Amy Felty. Applying. Data. Refinement. for. Monadic. Programs. to. Hopcroft's. Algorithm. Peter Lammich and Thomas Tuerk TU München {peter.lammich ...
Static Analysis: 15th International Symposium, SAS 2008, Valencia,...
books.google.co.uk
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors Peter Lammich and Markus M ̈uller-Olm Institut f ̈ur Informatik, Fachbereich Mathematik und Informatik Westf ̈alische Wilhelms-Universit ̈at M ̈unster , -muenster.de Abstract.
A Decision Procedure for Detecting Atomicity Violations for ...research.cs.wisc.edu › abstracts › tr1649.abs.html
research.cs.wisc.edu
Nicholas Kidd, Peter Lammich, Tayssir Touili, and Thomas Reps. We present a new decision procedure for detecting property violations in concurrent programs ...
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 ...
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].
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 ...
TUM Seidl
www2.informatik.tu-muenchen.de
Martin D Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich and Markus Müller-Olm. Static analysis of interrupt-driven programs synchronized via the priority ...
Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm...
link.springer.com
We provide a framework for program and data refinement in Isabelle/HOL. It is based on a refinement calculus for monadic expressions and provides tools to...
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent...
link.springer.com
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. Thomas Martin Gawlitza,; Peter Lammich,; Markus ...
Peter Lammich - researchr alias
researchr.org
Refinement for Monadic ProgramsPeter Lammich. afp, 2012, [doi] · Applying Data Refinement for Monadic Programs to Hopcroft's AlgorithmPeter ...
Refinement for Monadic Programs. Peter Lammich - PDF Free Download
financedocbox.com
Refinement for Monadic Programs Peter Lammich August 28, Abstract We provide a framework for program and data refinement in Isabelle/HOL.
Peter Lammich
easychair.org
CPP 2016: THE FIFTH INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS. PROGRAMINDEXES. Peter Lammich. Organization ...
IMP2 – Simple Program Verification in Isabelle/HOL - Archive of...
www.isa-afp.org
Peter Lammich and Simon Wimmer: Submission date: : Abstract: IMP2 is a simple imperative language together with Isabelle tooling to create a program verification environment in Isabelle/HOL. The tools include a C-like syntax, a verification condition generator, and Isabelle commands for the specification of programs.
A Separation Logic Framework for Imperative HOL - Archive of Formal...
www.isa-afp.org
Peter Lammich and Rene Meis (rene /dot/ meis /at/ uni-due /dot/ de) Submission date: : Abstract: We provide a framework for separation-logic based …ctness proofs of Imperative HOL programs. Our framework comes with a set of proof methods to automate canonical tasks such as verification condition generation and frame inference.
The Imperative Refinement Framework - Archive of Formal Proofs
devel.isa-afp.org
Peter Lammich Submission date: : Abstract: We present the Imperative Refinement Framework (IRF), a tool that supports a stepwise refinement based approach to imperative programs. This entry is based on the material we presented in [ITP-2015, CPP-2016]. It uses the Monadic Refinement Framework as a frontend for the specification of the ...
Konferenzartikel: Conflict Analysis of Programs with Procedures,...
pp.ipd.kit.edu
Peter Lammich, Markus Müller-Olm, Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors, Proceedings of the 15th international ...
Helmut Seidl - Informatik 2 - Lehrstuhl für Sprachen und...
www.cs.cit.tum.de
Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner: Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. VMCAI 2011:
TUM Seidl
www2.in.tum.de
Martin D Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich and Markus Müller-Olm. Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. POPL'11: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 93–104, Austin, Texas, USA, ACM.
Book Chapter: Precise Fixpoint-Based Analysis of Programs with...
pp.ipd.kit.edu
[springerlink: : _20], Peter Lammich, Markus Müller-Olm, Precise Fixpoint-Based Analysis of Programs with Thread-Creation and ...
SAS 2008
personales.upv.es
Splitting the Control Flow with Boolean Flags. Peter Lammich and Markus Müller-Olm Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, ...
ITP Accepted Papers
itp2012.cs.princeton.edu
Peter Lammich and Thomas Tuerk. Applying Data Refinement for Monadic Programs to Hopcroft's Algorithm. Andrea Asperti. A compact proof of decidability for ...
[SMT-LIB] Certified Programs and Proofs (CPP 2016) - Call for papers
cs.nyu.edu
... Inc., US Laura Kovács, Chalmers University of Technology, Sweden Peter Lammich, Technische Universität München, Germany Hongjin ...
vesal
kodu.ut.ee
[5], Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, and Markus Müller-Olm. Static Analysis of Interrupt-driven Programs Synchronized via the ...
Alle Infos zum Namen "Peter Lammich"
sortiert nach Relevanz / Datum