Searching for authors named "Pierre Wolper" – sorted by Relevance.
32 documents found, showing 1 through 10.
Next 10 →
-
The Meaning of "Formal": from Weak to Strong Formal Methods
- … by hand later) The Meaning of "Formal": from Weak to Strong Formal Methods Pierre Wolper Institut…
- Cited by 4 (0 self) – Add To MetaCart
-
Representing periodic temporal information with automata
- …Motivated by issues in temporal databases and in the verification of infinite-state systems, this talk considers the problem of representing periodic dense time information. Doing so requires handling a theory that combines discrete and continuous variables, since discrete variables are essential fo…
- Cited by 1 (0 self) – Add To MetaCart
-
Constructing Automata from Temporal Logic Formulas: A Tutorial
- …Constructing Automata from Temporal Logic Formulas : A Tutorial ? Pierre Wolper Universite de…
- Cited by 15 (0 self) – Add To MetaCart
-
Representing arithmetic constraints with finite automata: An overview
- … with Automata: An Overview Bernard Boigelot Pierre Wolper This work was partially supported by a FRFC grant: 2…
- Cited by 11 (1 self) – Add To MetaCart
-
Relative Liveness and Behavior Abstraction (Extended Abstract)
- …@(email omitted); Pierre Wolper University of Li`ege, Institute Montefiore, B28 B-4000 Li`ege Sart Tilman, Belgium Email…
- Cited by 3 (1 self) – Add To MetaCart
-
An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)
- … Wolper and Bernard Boigelot ? Universit'e de Li`ege, Institut Montefiore, B28, 4000 Li`ege Sart Tilman…
- Cited by 34 (2 self) – Add To MetaCart
-
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract)
- … ? , Stephane Rassart and Pierre Wolper Universite de Liege Institut Monteore, B28 B-4000 Liege Sart…
- Cited by 17 (3 self) – Add To MetaCart
-
Partial-Order Methods for Model Checking: From Linear Time to Branching Time
- … Wolper Universite de Liege Institut Montefiore, B28 4000 Liege Sart Tilman Belgium fwillems…
- Cited by 15 (0 self) – Add To MetaCart
-
Reliable Hashing without Collision Detection
- … Detection ? Pierre Wolper and Denis Leroy Universite deLiege, Institut Monte ore, B28, 4000 Liege Sart…
- Cited by 57 (1 self) – Add To MetaCart
-
Verifying systems with infinite but regular state spaces
- …Verifying Systems with Innite but Regular State Spaces Pierre Wolper, Bernard Boigelot…
- Cited by 40 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
