Raymond Devillers

120 papers A 3B 20C 4Misc 2Journal 57Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Persistent Permutability in Choice Petri Nets. CoRR Eike Best, Raymond Devillers
2026	J	`jnl`	Well-Formed Free-Choice Petri Nets Revisited. CoRR Petr Jancar, Eike Best, Raymond Devillers, Matej Ostadal
2025	B	`conf`	Coverability in Well-Formed Free-Choice Nets. Petri Nets Eike Best, Raymond Devillers, Petr Jancar
2025	B	`conf`	Persistent Permutations, Fairness, Asymmetric Choice Petri Nets, and Ochmański's Conjecture. Petri Nets Eike Best, Raymond Devillers
2024	—	`conf`	Coverability in Well-Formed Free-Choice Petri Nets. Taming the Infinities of Concurrency Eike Best, Raymond Devillers
2024	—	`book`	Petri Net Primer - A Compendium on the Core Model, Analysis, and Synthesis Eike Best, Raymond Devillers
2024	B	`conf`	Petri Net Synthesis from a Reachability Set. Petri Nets Eike Best, Raymond Devillers
2023	J	`jnl`	An Efficient State Space Construction for a Class of Timed Automata. Trans. Petri Nets Other Model. Concurr. Johan Arcile, Raymond Devillers, Hanna Klaudel
2023	C	`conf`	Factorization of the State Space Construction for Cyclic Systems with Data. VECoS Johan Arcile, Raymond Devillers, Hanna Klaudel
2023	B	`conf`	On the Reversibility of Circular Conservative Petri Nets. Petri Nets Raymond Devillers
2022	Misc	`conf`	Complexity of Distributed Petri Net Synthesis. TASE Raymond Devillers, Ronny Tredup
2022	J	`jnl`	On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets. CoRR Raymond Devillers, Ronny Tredup
2022	J	`jnl`	On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets. Fundam. Informaticae Raymond Devillers, Ronny Tredup
2022	J	`jnl`	Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues. Fundam. Informaticae Raymond Devillers, Ronny Tredup
2022	B	`conf`	Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues. Petri Nets Raymond Devillers, Ronny Tredup
2022	J	`jnl`	Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues. Fundam. Informaticae Raymond Devillers, Ronny Tredup
2021	J	`jnl`	Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis. CoRR Raymond Devillers
2021	J	`jnl`	Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis. Fundam. Informaticae Raymond Devillers
2021	J	`jnl`	Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. Trans. Petri Nets Other Model. Concurr. Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2021	J	`jnl`	Some Basic Techniques allowing Petri Net Synthesis: Complexity and Algorithmic Issues. CoRR Raymond Devillers, Ronny Tredup
2021	B	`conf`	Synthesis of (Choice-Free) Reset Nets. Petri Nets Raymond Devillers
2021	J	`jnl`	Synthesis of Pure and Impure Petri nets With Restricted Place-environments: Complexity Issues. CoRR Raymond Devillers, Ronny Tredup
2020	B	`conf`	A New Property of Choice-Free Petri Net Systems. Petri Nets Eike Best, Raymond Devillers, Evgeny Erofeev
2020	J	`jnl`	Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks. Fundam. Informaticae Johan Arcile, Raymond Devillers, Hanna Klaudel
2020	—	`conf`	Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles. PNSE@Petri Nets Johan Arcile, Raymond Devillers, Hanna Klaudel
2020	J	`jnl`	Target-oriented Petri Net Synthesis. Fundam. Informaticae Eike Best, Raymond Devillers, Evgeny Erofeev, Harro Wimmel
2020	A	`conf`	VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles. AAMAS Johan Arcile, Raymond Devillers, Hanna Klaudel
2019	J	`jnl`	Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods. Fundam. Informaticae Raymond Devillers, Thomas Hujsa
2019	B	`conf`	Articulation of Transition Systems and Its Application to Petri Net Synthesis. Petri Nets Raymond Devillers
2019	J	`jnl`	Dynamic exploration of multi-agent systems with timed periodic tasks. CoRR Johan Arcile, Raymond Devillers, Hanna Klaudel
2019	J	`jnl`	Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. CoRR Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2019	—	`conf`	Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems. ATAED@Petri Nets/ACSD Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2019	J	`jnl`	Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach. CoRR Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2019	J	`jnl`	Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach. Trans. Petri Nets Other Model. Concurr. Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2019	J	`jnl`	VerifCar: a framework for modeling and model checking communicating autonomous vehicles. Auton. Agents Multi Agent Syst. Johan Arcile, Raymond Devillers, Hanna Klaudel
2018	B	`conf`	Analysis and Synthesis of Weighted Marked Graph Petri Nets. Petri Nets Raymond Devillers, Thomas Hujsa
2018	J	`jnl`	Bounded choice-free Petri net synthesis: algorithmic issues. Acta Informatica Eike Best, Raymond Devillers, Uli Schlachter
2018	B	`conf`	Factorisation of Petri Net Solvable Transition Systems. Petri Nets Raymond Devillers, Uli Schlachter
2018	J	`jnl`	Factorisation of transition systems. Acta Informatica Raymond Devillers
2018	J	`jnl`	On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets. Fundam. Informaticae Thomas Hujsa, Raymond Devillers
2018	J	`jnl`	Pre-synthesis of Petri nets based on prime cycles and distance paths. Sci. Comput. Program. Eike Best, Raymond Devillers
2018	J	`jnl`	Simultaneous Petri Net Synthesis. Sci. Ann. Comput. Sci. Eike Best, Raymond Devillers, Uli Schlachter, Harro Wimmel
2018	—	`conf`	Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems. ATAED@Petri Nets/ACSD Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
2017	B	`conf`	A Graph-Theoretical Characterisation of State Separation. SOFSEM Eike Best, Raymond Devillers, Uli Schlachter
2017	J	`jnl`	Characterisation of the state spaces of marked graph Petri nets. Inf. Comput. Eike Best, Raymond Devillers
2017	Misc	`conf`	Modeling and checking robustness of communicating autonomous vehicles. DCAI Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak
2017	B	`conf`	On Liveness and Deadlockability in Subclasses of Weighted Petri Nets. Petri Nets Thomas Hujsa, Raymond Devillers
2016	—	`conf`	Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. FORMATS Raymond Devillers, Hanna Klaudel
2016	J	`jnl`	Minimal Elements for the Prime Numbers. Exp. Math. Curtis Bright, Raymond Devillers, Jeffrey O. Shallit
2016	J	`jnl`	Preface. Fundam. Informaticae Raymond Devillers, Antti Valmari, Wojciech Penczek
2016	—	`conf`	Products of Transition Systems and Additions of Petri Nets. ACSD Raymond Devillers
2016	B	`conf`	The Power of Prime Cycles. Petri Nets Eike Best, Raymond Devillers
2015	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings Petri Nets Raymond Devillers, Antti Valmari
2015	—	`conf`	Indefinite waitings in MIRELA systems. ESSS Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond Devillers, Artur Rataj
2015	—	`conf`	Modelling and Analysing Mixed Reality Applications. ICMMI Johan Arcile, Tadeusz Czachórski, Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Artur Rataj
2015	J	`jnl`	State space axioms for T-systems. Acta Informatica Eike Best, Raymond Devillers
2015	J	`jnl`	Synthesis and reengineering of persistent systems. Acta Informatica Eike Best, Raymond Devillers
2015	B	`conf`	Synthesis of Bounded Choice-Free Petri Nets. CONCUR Eike Best, Raymond Devillers
2015	J	`jnl`	Synthesis of Live and Bounded Persistent Systems. Fundam. Informaticae Eike Best, Raymond Devillers
2014	C	`conf`	Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets. LATA Eike Best, Raymond Devillers
2014	A	`conf`	Deadlock and Temporal Properties Analysis in Mixed Reality Applications. ISSRE Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile
2014	B	`conf`	Synthesis of Persistent Systems. Petri Nets Eike Best, Raymond Devillers
2013	J	`jnl`	A Petri Net Interpretation of Open Reconfigurable Systems. Fundam. Informaticae Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
2013	—	`conf`	Implementing Timed Automata Specifications: The "Sandwich" Approach. ACSD Raymond Devillers, Jean-Yves Didier, Hanna Klaudel
2011	B	`conf`	A Petri Net Interpretation of Open Reconfigurable Systems. Petri Nets Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
2010	—	`conf`	A Decidable Characterization of a Graphical Pi-calculus with Iterators INFINITY Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
2009	—	`conf`	Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. INFINITY Franck Pommereau, Raymond Devillers, Hanna Klaudel
2008	J	`jnl`	A compositional Petri net translation of general Formal Aspects Comput. Raymond Devillers, Hanna Klaudel, Maciej Koutny
2008	B	`conf`	Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau
2008	—	`conf`	Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms. SUTC Vincent Nélis, Joël Goossens, Raymond Devillers, Dragomir Milojevic, Nicolas Navet
2007	—	`conf`	FIFO Queuing of Constant Length Fully Synchronous Jobs. GSEM Vandy Berten, Raymond Devillers, Guy Louchard
2007	J	`jnl`	From MIN model to ordinary differential equations. J. Integr. Bioinform. Anastasia Yartseva, Raymond Devillers, Hanna Klaudel, François Képès
2007	J	`jnl`	Incremental and unifying modelling formalism for biological interaction networks. BMC Bioinform. Anastasia Yartseva, Hanna Klaudel, Raymond Devillers, François Képès
2007	—	`conf`	Modelling Mobility in High-level Petri Nets. ACSD Raymond Devillers, Hanna Klaudel, Maciej Koutny
2007	J	`jnl`	Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms CoRR Vincent Nélis, Joël Goossens, Nicolas Navet, Raymond Devillers, Dragomir Milojevic
2006	C	`conf`	A Petri Net Translation of ICTAC Raymond Devillers, Hanna Klaudel, Maciej Koutny
2006	J	`jnl`	Boundedness undecidability for synchronized nets. Inf. Process. Lett. Raymond Devillers, Laurent Van Begin
2006	J	`jnl`	Joint garbage collection and hard real-time scheduling. J. Embed. Comput. Maxime Van Assche, Joël Goossens, Raymond Devillers
2006	J	`jnl`	Petri Net Semantics of the Finite pi-calculus Terms. Fundam. Informaticae Raymond Devillers, Hanna Klaudel, Maciej Koutny
2005	—	`conf`	A Petri Net Semantics of a Simple Process Algebra for Mobility. EXPRESS Raymond Devillers, Hanna Klaudel, Maciej Koutny
2005	J	`jnl`	Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets. Fundam. Informaticae Raymond Devillers, Hanna Klaudel
2004	—	`conf`	Context-based Process Algebras for Mobility. ACSD Raymond Devillers, Hanna Klaudel, Maciej Koutny
2004	C	`conf`	Petri Net Semantics of the Finite pi-Calculus. FORTE Raymond Devillers, Hanna Klaudel, Maciej Koutny
2003	J	`jnl`	Asynchronous Box Calculus. Fundam. Informaticae Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
2003	J	`jnl`	General parameterised refinement and recursion for the M-net calculus. Theor. Comput. Sci. Raymond Devillers, Hanna Klaudel, Robert-C. Riemann
2002	—	`conf`	An Algebra of Non-safe Petri Boxes. AMAST Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
2002	J	`jnl`	The Box Algebra = Petri Nets + Process Expressions. Inf. Comput. Eike Best, Raymond Devillers, Maciej Koutny
2001	—	`ch.`	A Unified Model for Nets and Process Algebras. Handbook of Process Algebra Eike Best, Raymond Devillers, Maciej Koutny
2001	—	`book`	Petri net algebra. Eike Best, Raymond Devillers, Maciej Koutny
2001	J	`jnl`	Recursion and Petri nets. Acta Informatica Eike Best, Raymond Devillers, Maciej Koutny
2000	J	`jnl`	An Algebraic Box Calculus. J. Autom. Lang. Comb. Raymond Devillers, Hanna Klaudel, Elisabeth Pelz
2000	J	`jnl`	Liu and Layland's schedulability test revisited. Inf. Process. Lett. Raymond Devillers, Joël Goossens
1999	B	`conf`	Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines. RTCSA Joël Goossens, Raymond Devillers
1999	J	`jnl`	General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks. Fundam. Informaticae Raymond Devillers, Joël Goossens
1999	—	`conf`	The Box Algebra - A Model of Nets and Process Expressions. ICATPN Eike Best, Raymond Devillers, Maciej Koutny
1998	—	`conf`	Recursive Nets in the Box Algebra. ACSD Raymond Devillers, Maciej Koutny
1997	—	`conf`	General Refinement for High Level Petri Nets. FSTTCS Raymond Devillers, Hanna Klaudel, Robert-C. Riemann
1997	J	`jnl`	The Non-Optimality of the Monotonic Priority Assignments for Hard Real-Time Offset Free Systems. Real Time Syst. Joël Goossens, Raymond Devillers
1996	B	`conf`	Petri Boxes and Finite Precedence. CONCUR Raymond Devillers
1996	—	`conf`	Petri Nets, Process Algebras and Concurrent Programming Languages. Petri Nets (2) Eike Best, Raymond Devillers, Maciej Koutny
1995	—	`conf`	CALIBAN - Esprit Basic Research WG 6067. STRICT Eike Best, Raymond Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel
1995	—	`conf`	Refinement and Recursion in a High Level Petri Box Calculus. STRICT Raymond Devillers, Hanna Klaudel
1995	J	`jnl`	S-Invariant Analysis of General Recursive Petri Boxes. Acta Informatica Raymond Devillers
1993	—	`conf`	Construction of S-invariants and S-components for Refined Petri Boxes. Application and Theory of Petri Nets Raymond Devillers
1993	J	`jnl`	Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions. Formal Aspects Comput. Thierry Massart, Raymond Devillers
1993	A	`conf`	General Refinement and Recursion Operators for the Petri Box Calculus. STACS Eike Best, Raymond Devillers, Javier Esparza
1992	J	`jnl`	Maximality Preserving Bisimulation. Theor. Comput. Sci. Raymond Devillers
1992	—	`ch.`	Maximality preservation and the ST-idea for action refinements. Advances in Petri Nets: The DEMON Project Raymond Devillers
1992	—	`ch.`	The box calculus: a new causal algebra with multi-label communication. Advances in Petri Nets: The DEMON Project Eike Best, Raymond Devillers, Jon G. Hall
1991	J	`jnl`	Concurrent Bisimulations in Petri Nets. Acta Informatica Eike Best, Raymond Devillers, Astrid Kiehn, Lucia Pomello
1988	—	`conf`	The semantics of capacities in P/T nets. European Workshop on Applications and Theory in Petri Nets Raymond Devillers
1987	—	`conf`	Interleaving and partial orders in concurrency: a formal comparison. Formal Description of Programming Concepts Eike Best, Raymond Devillers
1987	J	`jnl`	Sequential and Concurrent Behaviour in Petri Net Theory. Theor. Comput. Sci. Eike Best, Raymond Devillers
1986	J	`jnl`	Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. Theor. Comput. Sci. Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond Devillers
1984	—	`conf`	Maximally Concurrent Evolution of Non-sequential Systems. Seminar on Concurrency Ryszard Janicki, Peter E. Lauer, Raymond Devillers
1980	—	`conf`	Specification of highly parallel and distributed resource management. Symposium on Programming Peter E. Lauer, Piero R. Torrigiani, Raymond Devillers
1977	J	`jnl`	Game Interpretation of the Deadlock Avoidance Problem. Commun. ACM Raymond Devillers
1977	—	`conf`	Using Auxiliary Variables in Parallel Programs Verification. International Computing Symposium Raymond Devillers, Guy Louchard
1976	J	`jnl`	Improvement of Parallelism in a Finite Buffer Sharing Policy. Comput. J. Raymond Devillers, Guy Louchard
1973	J	`jnl`	Realization of Petri Nets Without Conditional Statements. Inf. Process. Lett. Raymond Devillers, Guy Louchard