B. Berthomieu

Publications77
h-index19
Citations2,603
Highly Influential Citations276
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • Thomas Hujsa
  • 18 Publications, 97 Citations
  • H. Garavel
  • 132 Publications, 3,384 Citations
  • F. Vernadat
  • 94 Publications, 1,659 Citations
  • J. C. Pol
  • 212 Publications, 3,055 Citations
  • Publications
  • Influence
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
TLDR
A description and analysis of concurrent systems, such as communication systems, whose behavior is dependent on explicit values of time is presented. Expand
  • 1,117
  • 129
State Class Constructions for Branching Analysis of Time Petri Nets
TLDR
This paper is concerned with construction of some state space abstractions for Time Petri nets. Expand
  • 137
  • 34
An Enumerative Approach for Analyzing Time Petri Nets
  • 296
  • 28
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment
TLDR
We present the Fiacre intermediate language for model verification in the TOPCASED environment. Expand
  • 155
  • 15
  • PDF
Time Petri Nets Analysis with TINA
TLDR
Beside the usual graphic editing and simulation facilities, the software tool Tina may build a number of state space abstractions for Petri nets, preserving certain classes of properties. Expand
  • 124
  • 12
  • PDF
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
TLDR
We compare Timed Automata with Bounded Time Petri Nets extended with static Priorities, and show that two large subsets of these models are equally expressive in terms of weak timed bisimilarity. Expand
  • 68
  • 10
Formal Verification of AADL Specifications in the Topcased Environment
TLDR
We describe a formal verification toolchain for AADL, the SAE Architecture Analysis and Design Language, enriched with its behavioral annex. Expand
  • 58
  • 6
  • PDF
Model Checking Bounded Prioritized Time Petri Nets
TLDR
In a companion paper [BPV06], we investigated the expressiveness of Time Petri Nets extended with Priorities and showed that it is very close to that Timed Automata, in terms of weak timed bisimilarity. Expand
  • 41
  • 5
  • PDF
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
TLDR
We first introduce a simple class of TPNs extended with stopwatches (SwTPNs), and present a semi-algorithm for building exact representations of the behavior of SwTPNs, based on the known state class method for Time Petri nets. Expand
  • 66
  • 4
  • PDF
Ladder Metamodeling and PLC Program Validation through Time Petri Nets
TLDR
We propose a model driven approach for formal verification of LD programs through model-checking. Expand
  • 30
  • 4