Raymond R. Devillers
According to our database^{1},
Raymond R. Devillers
authored at least 92 papers
between 1973 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at ulb.ac.be
On csauthors.net:
Bibliography
2020
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020
2019
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach.
Trans. Petri Nets Other Model. Concurr., 2019
Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods.
Fundam. Inform., 2019
CoRR, 2019
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond.
CoRR, 2019
VerifCar: a framework for modeling and model checking communicating autonomous vehicles.
Auton. Agents Multi Agent Syst., 2019
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, 2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
Sci. Comput. Program., 2018
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets.
Fundam. Inform., 2018
Sci. Ann. Comp. Sci., 2018
Acta Informatica, 2018
Acta Informatica, 2018
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018
2017
Inf. Comput., 2017
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017
Proceedings of the Distributed Computing and Artificial Intelligence, 2017
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017
2016
Fundam. Inform., 2016
Exp. Math., 2016
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016
2015
Fundam. Inform., 2015
Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015
Acta Informatica, 2015
Acta Informatica, 2015
Proceedings of the ManMachine Interactions 4, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
2014
Proceedings of the Language and Automata Theory and Applications, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
2013
Fundam. Inform., 2013
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013
2010
Proceedings of the Proceedings 12th International Workshop on Verification of InfiniteState Systems, 2010
2009
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters.
Proceedings of the Joint Proceedings of the 8th, 2009
2008
Formal Asp. Comput., 2008
Proceedings of the IEEE International Conference on Sensor Networks, 2008
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008
2007
J. Integr. Bioinform., 2007
BMC Bioinform., 2007
Proceedings of the Grid Service Engineering and Management: The 4th International Conference on Grid Service Engineering and Management, 2007
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007
2006
J. Embed. Comput., 2006
Inf. Process. Lett., 2006
Fundam. Inform., 2006
Proceedings of the Theoretical Aspects of Computing, 2006
2005
Synchronous and Asynchronous Communications in Composable Parameterized HighLevel Petri Nets.
Fundam. Inform., 2005
Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005
2004
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004
2003
Theor. Comput. Sci., 2003
Fundam. Inform., 2003
2002
Inf. Comput., 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Acta Informatica, 2001
Proceedings of the Handbook of Process Algebra, 2001
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 9783662044575, 2001
2000
J. Autom. Lang. Comb., 2000
Inf. Process. Lett., 2000
1999
General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks.
Fundam. Inform., 1999
Proceedings of the 6th International Workshop on RealTime Computing and Applications Symposium (RTCSA '99), 1999
Proceedings of the Application and Theory of Petri Nets 1999, 1999
1998
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
1997
The NonOptimality of the Monotonic Priority Assignments for Hard RealTime Offset Free Systems.
RealTime Systems, 1997
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997
1996
Proceedings of the CONCUR '96, 1996
Proceedings of the Lectures on Petri Nets II: Applications, 1996
1995
Acta Informatica, 1995
Proceedings of the International Workshop on Structures in Concurrency Theory, 1995
Proceedings of the International Workshop on Structures in Concurrency Theory, 1995
1993
Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions.
Formal Asp. Comput., 1993
Proceedings of the STACS 93, 1993
Proceedings of the Application and Theory of Petri Nets 1993, 1993
1992
Theor. Comput. Sci., 1992
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992
1991
Acta Informatica, 1991
1988
Proceedings of the Advances in Petri Nets 1989, 1988
1987
Theor. Comput. Sci., 1987
Interleaving and partial orders in concurrency: a formal comparison.
Proceedings of the Formal Description of Programming Concepts  III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987
1986
Theor. Comput. Sci., 1986
1984
Proceedings of the Seminar on Concurrency, 1984
1982
Comput. J., 1982
1980
Proceedings of the International Symposium on Programming, 1980
1978
Inf. Process. Lett., 1978
1977
Commun. ACM, 1977
Using Auxiliary Variables in Parallel Programs Verification.
Proceedings of the International Computing Symposium 1977, 1977
1976
Comput. J., 1976
1973
Inf. Process. Lett., 1973