Bernard Berthomieu

54 papers A* 1A 2B 3C 5Misc 3Journal 22Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Siphon-Based Divide-and-Conquer Policy for Enforcing Liveness on Petri Net Models of FMS Suffering from Deadlocks or Livelocks. Comput. Mater. Continua Murat Uzam, Bernard Berthomieu, Wei Wei, Yufeng Chen, Mohammed A. El-Meligy, Mohamed Abdel Fattah Sharaf
2024	J	`jnl`	On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA. IEEE Access Murat Uzam, Ding Liu, Bernard Berthomieu, Gökhan Gelen, Zhaolong Zhang, Almetwally M. Mostafa, ZhiWu Li
2024	J	`jnl`	Sleptsov nets are Turing-complete. Theor. Comput. Sci. Bernard Berthomieu, Dmitry A. Zaitsev
2023	—	`conf`	Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. TOOLympics@ETAPS Nicolas Amat, Elvio G. Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal-Zilio, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Shuo Li, Emmanuel Paviot-Adet, Laure Petrucci, Jirí Srba, Yann Thierry-Mieg, Karsten Wolf
2023	J	`jnl`	Sleptsov Nets are Turing-complete. CoRR Bernard Berthomieu, Dmitry A. Zaitsev
2022	J	`jnl`	A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking. Fundam. Informaticae Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio
2021	B	`conf`	On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets. Petri Nets Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio
2021	J	`jnl`	On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets. CoRR Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio
2020	J	`jnl`	Checking marking reachability with the state equation in Petri net subclasses. CoRR Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
2020	J	`jnl`	Counting Petri net markings from reduction equations. Int. J. Softw. Tools Technol. Transf. Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
2020	J	`jnl`	On the Petri Nets with a Single Shared Place and Beyond. CoRR Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
2019	Misc	`conf`	Graphical program transformations for embedded systems. SAC Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace
2019	—	`conf`	Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
2019	J	`jnl`	Verifying parallel dataflow transformations with model checking and its application to FPGAs. J. Syst. Archit. Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace
2018	—	`conf`	Formal verification of complex robotic systems on resource-constrained platforms. FormaliSE@ICSE Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
2018	J	`jnl`	MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
2018	—	`conf`	Petri Net Reductions for Counting Markings. SPIN Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
2018	J	`jnl`	Petri Net Reductions for Counting Markings. CoRR Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
2016	C	`conf`	Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. ICFEM Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet
2016	J	`jnl`	Symmetry reduction for time Petri net state classes. Sci. Comput. Program. Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat
2015	—	`conf`	Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus. TTCS Silvano Dal-Zilio, Bernard Berthomieu
2015	J	`jnl`	Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus. CoRR Silvano Dal-Zilio, Bernard Berthomieu
2015	J	`jnl`	Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina. CoRR Silvano Dal-Zilio, Bernard Berthomieu, Didier Le Botlan
2015	J	`jnl`	Real-Time Model Checking Support for AADL. CoRR Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat
2015	Misc	`conf`	Symmetry reduced state classes for time petri nets. SAC Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat
2014	—	`conf`	Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre. ABZ (Case Study) Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc
2014	—	`conf`	Model-Checking Real-Time Properties of an Auto Flight Control System Function. ISSRE Workshops Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn
2014	—	`conf`	Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. FORMATS Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc, François Vernadat
2014	J	`jnl`	Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. CoRR Silvano Dal-Zilio, Lukasz Fronc, Bernard Berthomieu, François Vernadat
2013	J	`jnl`	An Experiment on Parallel Model Checking of a CTL Fragment CoRR Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
2012	B	`conf`	An Experiment on Parallel Model Checking of a CTL Fragment. ATVA Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
2011	C	`conf`	Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction. ISPDC Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
2011	J	`jnl`	On the composition of time Petri nets. Discret. Event Dyn. Syst. Florent Peres, Bernard Berthomieu, François Vernadat
2009	Misc	`conf`	Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat
2008	C	`conf`	Abstract State Spaces for Time Petri Nets Analysis. ISORC Bernard Berthomieu, Florent Peres, François Vernadat
2008	—	`conf`	Ladder Metamodeling and PLC Program Validation through Time Petri Nets. ECMDA-FA Darlam Fabio Bender, Benoît Combemale, Xavier Crégut, Jean-Marie Farines, Bernard Berthomieu, François Vernadat
2008	J	`jnl`	Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. ERCIM News Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat
2007	B	`conf`	Model Checking Bounded Prioritized Time Petri Nets. ATVA Bernard Berthomieu, Florent Peres, François Vernadat
2007	J	`jnl`	Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discret. Event Dyn. Syst. Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat
2007	—	`ch.`	State Space Abstractions for Time Petri Nets. Handbook of Real-Time and Embedded Systems François Vernadat, Bernard Berthomieu
2006	—	`conf`	Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. FORMATS Bernard Berthomieu, Florent Peres, François Vernadat
2006	—	`conf`	Time Petri Nets Analysis with TINA. QEST Bernard Berthomieu, François Vernadat
2003	A	`conf`	State Class Constructions for Branching Analysis of Time Petri Nets. TACAS Bernard Berthomieu, François Vernadat
2003	C	`conf`	Towards the verification of real-time systems in avionics: the Cotre approach. FMICS Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert
2002	C	`conf`	On Combining the Persistent Sets Method with the Covering Steps Graph Method. FORTE Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu
1995	—	`conf`	Process Calculi at Work - An Account of the LCS Project. PSLS Bernard Berthomieu
1994	—	`conf`	Balancing Load under Large and Fast Load Changes in Distributed Computing Systems - A Case Study. CONPAR Thierry Le Sergent, Bernard Berthomieu
1994	A	`conf`	Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS. ESOP Bernard Berthomieu, Thierry Le Sergent
1992	—	`conf`	Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures. IWMM Thierry Le Sergent, Bernard Berthomieu
1991	J	`jnl`	Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. Software Eng. Bernard Berthomieu, Michel Diaz
1983	—	`conf`	An Enumerative Approach for Analyzing Time Petri Nets. IFIP Congress Bernard Berthomieu, Miguel Menasche
1983	—	`conf`	Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. Protocol Specification, Testing, and Verification Miguel Menasche, Bernard Berthomieu
1980	—	`conf`	The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers. IFIP Congress Pierre Azéma, Bernard Berthomieu, Paul Decitre
1978	A*	`conf`	Design and Verification of Communication Procedures: A Bottom-Up Approach. ICSE Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu