1
0
0
(1 - 20 von 28
)
European Joint Conferences on Theory and Practice of Software 2021www.morressier.com › event › people
www.morressier.com
University of Twente. CS. View full profile. Peter Lammich's contribution(s). Author. SUBMISSION. For a Few Dollars More -- Verified Fine-Grained Algorithm ...
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 ...
Computer Aided Verification: 21st International Conference, CAV
books.google.de
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in...
CONCUR Concurrency Theory: 18th International Conference,...
books.google.de
This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.com.ua
This book is Open Access under a CC BY licence. The LNCS and proceedings set constitutes the proceedings of the 24th International Conference on...
Interactive Theorem Proving: Third International Conference, ITP
books.google.de
Peter Lammich and Thomas Tuerk TU München {peter.lammich ...
Andrei Popescutheory.eecs.qmul.ac.uk › Seminars_files › abstract
theory.eecs.qmul.ac.uk
... as well as actually deploying it for conferences. This is joint work with Thomas Bauereiss, Sergey Grebenshchikov, Peter Lammich and Sudeep Kanav.
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 ...
Automatic Data Refinement | SpringerLinklink.springer.com › chapter
link.springer.com
Peter Lammich. Conference paper Accesses. 31 Citations. Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7998) ...
Peter Lammich
easychair.org
CPP 2016: THE FIFTH INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS. PROGRAMINDEXES. Peter Lammich. Organization ...
Peter Lammich - easychair.org
easychair.org
floc 2018: federated logic conference program authors keywords slides. floc | fopss | itp | csf | fscd | sat | cav | ijcar | iclp | fm | lics | adhs | adsl
A Conference Management System with Verified Document ...research.manchester.ac.uk › publications › a-confere...
research.manchester.ac.uk
Sudeep Kanav, Peter Lammich, Andrei Popescu. Bio-Health Informatics. Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review.
SAT Accepted papers
sat2017.gitlab.io
Website of SAT 2017, the 20th International Conference on Theory and Applications of Satisfiability Testing
ESOP Accepted Papers
etaps.org
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
Program — Concur — 18th International Conference on Concurrency...
concur07.di.fc.ul.pt
Peter Lammich and Markus Müller-Olm; 12h00 — 12h30 Automatic Derivation of Compositional Rules in Automated Compositional Reasoning Bow-Yaw Wang ...
Thirteenth Conference on Interactive Theorem Proving - ITP 2022itpconference.github.io › ITP22 › organization
itpconference.github.io
Peter Lammich. University of Twente. Andreas Lochbihler. Digital Asset (Switzerland) GmbH. Assia Mahboubi. INRIA. César Muñoz. Amazon. Magnus O. Myreen.
Andrei Popescu
www.andreipopescu.uk
Sudeep Kanav (MSc, advised jointly with Peter Lammich) ... Sudeep Kanav, Peter Lammich, Andrei Popescu A Conference Management System with Verified ...
Alle Infos zum Namen "Peter Lammich"
sortiert nach Relevanz / Datum