Andreas Lochbihler
Andreas Lochbihler
Digital Asset (Switzerland) GmbH
Geverifieerd e-mailadres voor inf.ethz.ch - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Truly modular (co) datatypes for Isabelle/HOL
JC Blanchette, J Hölzl, A Lochbihler, L Panny, A Popescu, D Traytel
ITP 2014, 93-110, 2014
962014
Verifying a Compiler for Java Threads.
A Lochbihler
ESOP 2010, 427-447, 2010
712010
The Isabelle collections framework
P Lammich, A Lochbihler
ITP 2010, 339-354, 2010
562010
The computational complexity of evolutionarily stable strategies
K Etessami, A Lochbihler
International Journal of Game Theory 37 (1), 93-113, 2008
382008
Java and the Java memory model—A unified, machine-checked formalisation
A Lochbihler
ESOP 2012, 497-517, 2012
362012
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
A Lochbihler
Karlsruhe Institute of Technology, 2012
322012
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic.
A Lochbihler
ESOP 2016, 503-531, 2016
312016
Making the Java memory model safe
A Lochbihler
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 1-65, 2013
312013
Light-weight containers for Isabelle: efficient, extensible, nestable
A Lochbihler
ITP 2013, 116-132, 2013
292013
Animating the Formalised Semantics of a Java-Like Language.
A Lochbihler, L Bulwahn
ITP 2011, 216-232, 2011
262011
Friends with benefits: Implementing Corecursion in Foundational Proof Assistants
JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel
ESOP 2017, 111-140, 2017
25*2017
Type safe nondeterminism-a formal semantics of Java threads
A Lochbihler
Foundations of Object-Oriented Languages (FOOL 2008), 2008
242008
CryptHOL: Game-based Proofs in Higher-order Logic⋆
DA Basin, A Lochbihler, SR Sefidgar
Cryptology ePrint Archive, 2017
232017
Jinja with threads
A Lochbihler
Archive of Formal Proofs, 2007
202007
Coinduction
A Lochbihler
Archive of Formal Proofs, 2010
162010
A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)
J Hölzl, A Lochbihler, D Traytel
ITP 2015, 2015
14*2015
Recursive functions on lazy lists via domains and topologies
A Lochbihler, J Hölzl
ITP 2014, 341-357, 2014
142014
Foundational (Co) datatypes and (Co) recursion for Higher-Order Logic
J Biendarra, JC Blanchette, A Bouzy, M Desharnais, M Fleury, J Hölzl, ...
FroCoS, 2017
132017
Formalizing a framework for dynamic slicing of program dependence graphs in Isabelle/HOL
D Wasserrab, A Lochbihler
TPHOLs 2008, 294-309, 2008
132008
Programming TLS in Isabelle/HOL
A Lochbihler, M Züst
Isabelle Workshop 2014, 2014
102014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20