ask others

Peter Lammich

> Home > Persons

Person information

affiliation: University of Münster, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j27]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/LammichW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/LammichW18
Peter Lammich, Simon Wimmer:
VerifyThis 2018 - Polished Isabelle Solutions. Archive of Formal Proofs 2018 (2018)
[j26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/BrunnerL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jar/BrunnerL18
Julian Brunner, Peter Lammich:
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. J. Autom. Reasoning 60(1): 3-21 (2018)
[j25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/BlanchetteFLW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jar/BlanchetteFLW18
Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich, Christoph Weidenbach:
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. J. Autom. Reasoning 61(1-4): 333-365 (2018)
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cpp/FleuryBL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cpp/FleuryBL18
Mathias Fleury, Jasmin Christian Blanchette, Peter Lammich:
A verified SAT solver with watched literals using imperative HOL. CPP 2018: 158-171
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/WimmerL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/WimmerL18
Simon Wimmer, Peter Lammich:
Verified Model Checking of Timed Automata. TACAS (1) 2018: 61-78
2017
[j24]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/HellauerL17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/HellauerL17
Fabian Hellauer, Peter Lammich:
The string search algorithm by Knuth, Morris and Pratt. Archive of Formal Proofs 2017 (2017)
[j23]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/LammichS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/LammichS17
Peter Lammich, S. Reza Sefidgar:
Flow Networks and the Min-Cut-Max-Flow Theorem. Archive of Formal Proofs 2017 (2017)
[j22]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/LammichS17a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/LammichS17a
Peter Lammich, S. Reza Sefidgar:
Formalizing Push-Relabel Algorithms. Archive of Formal Proofs 2017 (2017)
[j21]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/WimmerL17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/WimmerL17
Simon Wimmer, Peter Lammich:
The Floyd-Warshall Algorithm for Shortest Paths. Archive of Formal Proofs 2017 (2017)
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/Lammich17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/Lammich17
Peter Lammich:
Efficient Verified (UN)SAT Certificate Checking. CADE 2017: 237-254
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/Lammich17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/Lammich17
Peter Lammich:
The GRAT Tool Chain - Efficient (UN)SAT Certificate Checking with Formal Correctness Guarantees. SAT 2017: 457-463
2016
[j20]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Lammich16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Lammich16
Peter Lammich:
The Imperative Refinement Framework. Archive of Formal Proofs 2016 (2016)
[j19]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/LammichN16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/LammichN16
Peter Lammich, René Neumann:
A Framework for Verifying Depth-First Search Algorithms. Archive of Formal Proofs 2016 (2016)
[j18]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/LammichS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/LammichS16
Peter Lammich, S. Reza Sefidgar:
Formalizing the Edmonds-Karp Algorithm. Archive of Formal Proofs 2016 (2016)
[j17]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/MichaelisHLH16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/MichaelisHLH16
Julius Michaelis, Maximilian P. L. Haslbeck, Peter Lammich, Lars Hupel:
Algorithms for Reduced Ordered Binary Decision Diagrams. Archive of Formal Proofs 2016 (2016)
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cpp/Lammich16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cpp/Lammich16
Peter Lammich:
Refinement based verification of imperative data structures. CPP 2016: 27-36
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/itp/LammichS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itp/LammichS16
Peter Lammich, S. Reza Sefidgar:
Formalizing the Edmonds-Karp Algorithm. ITP 2016: 219-234
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/BrunnerL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nfm/BrunnerL16
Julian Brunner, Peter Lammich:
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. NFM 2016: 307-321
2015
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cpp/LammichN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cpp/LammichN15
Peter Lammich, René Neumann:
A Framework for Verifying Depth-First Search Algorithms. CPP 2015: 137-146
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/itp/Lammich15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itp/Lammich15
Peter Lammich:
Refinement to Imperative/HOL. ITP 2015: 253-269
2014
[j16]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/EsparzaLNNSS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/EsparzaLNNSS14
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus:
A Fully Verified Executable LTL Model Checker. Archive of Formal Proofs 2014 (2014)
[j15]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Lammich14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Lammich14
Peter Lammich:
Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm. Archive of Formal Proofs 2014 (2014)
[j14]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Lammich14a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Lammich14a
Peter Lammich:
The CAVA Automata Library. Archive of Formal Proofs 2014 (2014)
[j13]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/PopescuL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/PopescuL14
Andrei Popescu, Peter Lammich:
Bounded-Deducibility Security. Archive of Formal Proofs 2014 (2014)
[j12]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/RabeLP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/RabeLP14
Markus N. Rabe, Peter Lammich, Andrei Popescu:
A shallow embedding of HyperCTL. Archive of Formal Proofs 2014 (2014)
[j11]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/SchimpfL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/SchimpfL14
Alexander Schimpf, Peter Lammich:
Converting Linear-Time Temporal Logic to Generalized Büchi Automata. Archive of Formal Proofs 2014 (2014)
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/KanavL014
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/KanavL014
Sudeep Kanav, Peter Lammich, Andrei Popescu:
A Conference Management System with Verified Document Confidentiality. CAV 2014: 167-183
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/itp/Lammich14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itp/Lammich14
Peter Lammich:
Verified Efficient Implementation of Gabow's Strongly Connected Component Algorithm. ITP 2014: 325-340
2013
[j10]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Lammich13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Lammich13
Peter Lammich:
Automatic Data Refinement. Archive of Formal Proofs 2013 (2013)
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/EsparzaLNNSS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/EsparzaLNNSS13
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus:
A Fully Verified Executable LTL Model Checker. CAV 2013: 463-478
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/itp/Lammich13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itp/Lammich13
Peter Lammich:
Automatic Data Refinement. ITP 2013: 84-99
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/LammichMSW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/LammichMSW13
Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner:
Contextual Locking for Dynamic Pushdown Networks. SAS 2013: 477-498
[c9]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/NordhoffML13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/NordhoffML13
Benedikt Nordhoff, Markus Müller-Olm, Peter Lammich:
Iterable Forward Reachability Analysis of Monitor-DPNs. Festschrift for Dave Schmidt 2013: 384-403
2012
[j9]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Lammich12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Lammich12
Peter Lammich:
Refinement for Monadic Programs. Archive of Formal Proofs 2012 (2012)
[j8]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/LammichM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/LammichM12
Peter Lammich, Rene Meis:
A Separation Logic Framework for Imperative HOL. Archive of Formal Proofs 2012 (2012)
[j7]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/NordhoffL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/NordhoffL12
Benedikt Nordhoff, Peter Lammich:
Dijkstra's Shortest Path Algorithm. Archive of Formal Proofs 2012 (2012)
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/itp/LammichT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itp/LammichT12
Peter Lammich, Thomas Tuerk:
Applying Data Refinement for Monadic Programs to Hopcroft's Algorithm. ITP 2012: 166-182
2011
[b1]
- view
  - electronic edition @ nbn-resolving.de
  - electronic edition @ d-nb.info
- export record
  dblp key:
  - books/daglib/0027792
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/daglib/0027792
Peter Lammich:
Lock sensitive analysis of parallel programs. University of Münster 2011, pp. I-IV, 1-184
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/KiddLTR11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/KiddLTR11
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps:
A decision procedure for detecting atomicity violations for communicating processes with locks. STTT 13(1): 37-60 (2011)
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/SchwarzSVLM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/SchwarzSVLM11
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm:
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. POPL 2011: 93-104
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/GawlitzaLMSW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/GawlitzaLMSW11
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: 199-213
2010
[j5]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/MeisNL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/MeisNL10
Rene Meis, Finn Nielsen, Peter Lammich:
Binomial Heaps and Skew Binomial Heaps. Archive of Formal Proofs 2010 (2010)
[j4]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/NordhoffKL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/NordhoffKL10
Benedikt Nordhoff, Stefan Körner, Peter Lammich:
Finger Trees. Archive of Formal Proofs 2010 (2010)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/itp/LammichL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itp/LammichL10
Peter Lammich, Andreas Lochbihler:
The Isabelle Collections Framework. ITP 2010: 339-354

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j3]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Lammich09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Lammich09
Peter Lammich:
Collections Framework. Archive of Formal Proofs 2009 (2009)
[j2]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Lammich09a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Lammich09a
Peter Lammich:
Tree Automata. Archive of Formal Proofs 2009 (2009)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/LammichMW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/LammichMW09
Peter Lammich, Markus Müller-Olm, Alexander Wenner:
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints. CAV 2009: 525-539
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/KiddLTR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/KiddLTR09
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps:
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. SPIN 2009: 125-142
2008
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/LammichM08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/LammichM08
Peter Lammich, Markus Müller-Olm:
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. SAS 2008: 205-220
2007
[j1]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/LammichM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/LammichM07
Peter Lammich, Markus Müller-Olm:
Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors. Archive of Formal Proofs 2007 (2007)
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/LammichM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/LammichM07
Peter Lammich, Markus Müller-Olm:
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. CONCUR 2007: 287-302

Coauthor Index

see FAQ

maintained by

at