Pierre Wolper

Pierre Wolper is a Belgian computer scientist at the University of Liège. His research interests include verification methods for reactive and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1990-2016
012319902016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The 2014 computer-aided verification (CAV) award was presented on July 19, 2014, at the 26th annual CAV conference in Vienna to… (More)
Is this relevant?
2006
2006
s Collection Workshop Trustworthy Software 2006 INTERREG IIIC/e-Bird Serge Autexier, Stephan Merz, Leon van der Torre, Reinhard… (More)
  • figure 4
  • figure 8
  • figure 9
  • figure 10
  • figure 11
Is this relevant?
Review
2001
Review
2001
Algorithms for the Construction and Analysis of Systems) as the main planets, and the workshops and tutorial as satellites. All… (More)
Is this relevant?
Review
1996
Review
1996
The correctness of computer hardware and software is an area of growing theoretical interest and practical importance. It is now… (More)
Is this relevant?
1993
1993
Interval Logics for Temporal Speci cation and Veri cation by Y. S. Ramakrishna This thesis investigates temporal speci cation and… (More)
Is this relevant?
Review
1993
Review
1993
31 in this probabilistic model, the existential quantiier is interpreted as \with positive probability," and the universal… (More)
Is this relevant?
1993
1993
Another extension of the work reported here is incorporation of probabilistic information in a timed graph. We add probabilities… (More)
  • figure 3
Is this relevant?