2009 |
10 | EE | Patrick Maier:
Deciding Extensions of the Theories of Vectors and Bags.
VMCAI 2009: 245-259 |
2008 |
9 | EE | David Aspinall,
Patrick Maier,
Ian Stark:
Monitoring External Resources in Java MIDP.
Electr. Notes Theor. Comput. Sci. 197(1): 17-30 (2008) |
2007 |
8 | EE | David Aspinall,
Patrick Maier,
Ian Stark:
Safety Guarantees from Explicit Resource Management.
FMCO 2007: 52-71 |
2005 |
7 | EE | Witold Charatonik,
Lilia Georgieva,
Patrick Maier:
Bounded Model Checking of Pointer Programs.
CSL 2005: 397-412 |
6 | EE | Lilia Georgieva,
Patrick Maier:
Towards Using Description Logics for Symbolic Shape Analysis.
Description Logics 2005 |
5 | EE | Jochen Hoenicke,
Patrick Maier:
Model-Checking of Specifications Integrating Processes, Data and Time.
FM 2005: 465-480 |
4 | EE | Lilia Georgieva,
Patrick Maier:
Description Logics for Shape Analysis.
SEFM 2005: 321-331 |
2004 |
3 | EE | Patrick Maier:
Intuitionistic LTL and a New Characterization of Safety and Liveness.
CSL 2004: 295-309 |
2003 |
2 | EE | Patrick Maier:
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.
FoSSaCS 2003: 343-357 |
2001 |
1 | EE | Patrick Maier:
A Set-Theoretic Framework for Assume-Guarantee Reasoning.
ICALP 2001: 821-834 |