Searching for authors named "Peter Habermehl" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
On the Complexity of the linear-time μ-Calculus for Petri Nets
- …On the Complexity of the linear-time -calculus for Petri Nets Peter Habermehl VERIMAG Centre…
- Cited by 2 (0 self) – Add To MetaCart
-
A Note on SLRE
- …A Note on SLRE Peter Habermehl and Richard Mayr LIAFA - Universite Denis Diderot - Case 7014 - 2…
- Cited by 1 (0 self) – Add To MetaCart
-
Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations
- … Bouajjani 1 Peter Habermehl VERIMAG, Centre ' Equation, 2 av. de Vignate, 38610 Gi`eres, France Abstract…
- Cited by 48 (11 self) – Add To MetaCart
-
Constrained Properties, Semilinear Systems, and Petri Nets
- …Constrained Properties, Semilinear Systems, and Petri Nets Ahmed Bouajjani Peter Habermehl Verimag…
- Cited by 17 (0 self) – Add To MetaCart
-
Regular Model Checking Using Inference of Regular Languages
- …: Peter.Habermehl@(email omitted); 3 Supported by the Czech Grant Agency (projects GA CR 102…
- Cited by 19 (1 self) – Add To MetaCart
-
What else is decidable about integer arrays?
- …What else is decidable about integer arrays? Peter Habermehl 1 , Radu Iosif 2 , and Tomáˇs Vojnar…
- Cited by 1 (0 self) – Add To MetaCart
-
Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management
- … Bouajjani, Peter Habermehl, and Tomas Vojnar LIAFA, Paris University 7 Case 7014, 2, place Jussieu, 75251…
- Cited by 3 (0 self) – Add To MetaCart
-
Automatic Verification of Recursive Procedures with one Integer Parameter
- …Automatic Verification of Recursive Procedures with one Integer Parameter Ahmed Bouajjani, Peter…
- Cited by 5 (1 self) – Add To MetaCart
-
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
- … Jussieu, F-75251 Paris 5, France. e-mail: {Ahmed.Bouajjani,Peter.Habermehl}@(email omitted); 2 FIT, Brno…
- Cited by 9 (3 self) – Add To MetaCart
-
October 2008Realizability of Concurrent Recursive Programs ⋆
- … Bollig 1 , Manuela-Lidia Grindei 1 , and Peter Habermehl 1,2 1 LSV, ENS Cachan, CNRS, INRIA, France email…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
