Travelled to:1 × Austria
1 × Poland
1 × Portugal
1 × Spain
1 × Sweden
1 × Switzerland
2 × Germany
2 × Italy
2 × USA
2 × United Kingdom
Collaborated with:W.Vogler G.Ciardo D.H.White R.Siminiceanu R.Cleaveland M.Mendler J.T.Mühlberg J.Ezekiel A.J.Yu M.v.d.Beeck A.Galloway V.Natarajan S.Sims M.Dodds F.Piessens A.Geser J.Knoop O.Rüthing B.Steffen T.Rupprecht X.C.0038 D.H.W.0001 J.H.Boockmann H.Bos
Talks about:system (3) semant (3) model (3) statechart (2) structur (2) identifi (2) approach (2) abstract (2) generat (2) bisimul (2)
Person: Gerald Lüttgen
DBLP: L=uuml=ttgen:Gerald
Contributed to:
2015
2013
2009
2007
20072007
2006200520042001
20002000
19961996
2017Wrote 15 papers:
- SEFM-2015-Muhlberg0DLP #learning #source code #verification
- Learning Assertions to Verify Linked-List Programs (JTM, DHW, MD, GL, FP), pp. 37–52.
- TACAS-2013-WhiteL #data type #evolution #identification #in memory #learning #memory management
- Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory (DHW, GL), pp. 354–369.
- VMCAI-2009-GallowayLMS #file system #linux #model checking
- Model-Checking the Linux Virtual File System (AG, GL, JTM, RS), pp. 74–88.
- CAV-2007-EzekielLC #generative
- Parallelising Symbolic State-Space Generators (JE, GL, GC), pp. 268–280.
- ICALP-2007-LuttgenV #concurrent #exclamation #logic #simulation
- Ready Simulation for Concurrency: It’s Logical! (GL, WV), pp. 752–763.
- TACAS-2007-YuCL #bound #diagrams #reachability #using
- Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams (AJY, GC, GL), pp. 648–663.
- FoSSaCS-2006-LuttgenV #process #semantics
- Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics (GL, WV), pp. 261–276.
- FoSSaCS-2005-LuttgenV #approach #bisimulation
- Bisimulation on Speed: A Unified Approach (GL, WV), pp. 79–94.
- FoSSaCS-2004-LuttgenV #bisimulation #bound
- Bisimulation on Speed: Lower Time Bounds (GL, WV), pp. 333–347.
- TACAS-2001-CiardoLS #generative #named #performance
- Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation (GC, GL, RS), pp. 328–342.
- FSE-2000-LuttgenBC #approach #composition #semantics
- A compositional approach to statecharts semantics (GL, MvdB, RC), pp. 120–129.
- ICALP-2000-LuttgenM #modelling #semantics
- Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models (GL, MM), pp. 163–174.
- CC-1996-GeserKLRS #fixpoint #higher-order
- Non-monotone Fixpoint Iterations to Resolve Second Order Effects (AG, JK, GL, OR, BS), pp. 106–120.
- TACAS-1996-CleavelandLNS #distributed #modelling #verification
- Priorities for Modeling and Verifying Distributed Systems (RC, GL, VN, SS), pp. 278–297.
- ASE-2017-RupprechtC0BLB #c #c++ #data type #identification #named
- DSIbin: identifying dynamic data structures in C/C++ binaries (TR, XC0, DHW0, JHB, GL, HB), pp. 331–341.