Peter Lammich

From MaRDI portal
Person:682349

Available identifiers

zbMath Open lammich.peterMaRDI QIDQ682349

List of research outcomes

PublicationDate of PublicationType
Bounded-Deducibility Security (Invited Paper)2023-06-20Paper
https://portal.mardi4nfdi.de/entity/Q58754282023-02-03Paper
https://portal.mardi4nfdi.de/entity/Q58754312023-02-03Paper
https://portal.mardi4nfdi.de/entity/Q58754322023-02-03Paper
Efficient Verified Implementation of Introsort and Pdqsort2022-11-09Paper
For a few dollars more. Verified fine-grained algorithm analysis down to LLVM2021-10-18Paper
https://portal.mardi4nfdi.de/entity/Q49947052021-06-21Paper
Efficient verified (UN)SAT certificate checking2020-03-03Paper
Verified model checking of timed automata2019-09-16Paper
Automatic refinement to efficient data structures: a comparison of two approaches2019-05-31Paper
Refinement to imperative HOL2019-04-29Paper
Formalizing network flow algorithms: a refinement approach in Isabelle/HOL2019-02-18Paper
A verified SAT solver framework with learn, forget, restart, and incrementality2018-08-21Paper
Formal verification of an executable LTL model checker with partial order reduction2018-02-02Paper
Efficient verified (UN)SAT certificate checking2017-09-22Paper
Formalizing the Edmonds-Karp Algorithm2016-10-27Paper
Refinement to Imperative/HOL2015-09-14Paper
Verified Efficient Implementation of Gabow’s Strongly Connected Component Algorithm2014-09-08Paper
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol2014-04-10Paper
Automatic Data Refinement2013-08-07Paper
Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm2012-09-20Paper
https://portal.mardi4nfdi.de/entity/Q31728012011-10-06Paper
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation2011-02-15Paper
The Isabelle Collections Framework2010-09-14Paper
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints2009-06-30Paper
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures2008-09-18Paper
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors2008-08-28Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Peter Lammich