Fiche membre Retour à l'annuaire
Olivier Henri ROUX
ENSEIGNANT-CHERCHEUR
HDR
Publications référencées sur HAL
Revues internationales avec comité de lecture (ART_INT)
- [1] A. Bernabeu, M. Briday, S. Faucou, J. Béchennec, O. Roux. Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2023, vol. 33.https://hal.science/hal-03952467v1
- [2] T. Chatain, M. Comlan, D. Delfieu, L. Jezequel, O. Roux. Pomset bisimulation and unfolding for reset Petri nets. In Information and Computation ; éd. Elsevier, 2022, vol. 283.https://hal.science/hal-03650582v1
- [3] Ã. André, D. Lime, O. Roux. Reachability and liveness in parametric timed automata. In Logical Methods in Computer Science ; éd. Logical Methods in Computer Science Association, 2022, vol. 18, num. 1.https://hal.science/hal-03574379v1
- [4] J. Béchennec, D. Lime, O. Roux. Logical time control of concurrent DES. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2021.https://hal.science/hal-03103458v1
- [5] D. Lime, C. Seidner, O. Roux. Cost Problems for Parametric Time Petri Nets. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2021.https://hal.science/hal-03561426v1
- [6] J. Béchennec, M. Brun, S. Faucou, L. Givel, O. Roux. Testing real-time systems with runtime enforcement. In IEEE Design & Test ; éd. IEEE, 2018.https://hal.science/hal-01713193v1
- [7] A. Jovanović, D. Lime, O. Roux. A game approach to the parametric control of real-time systems. In International Journal of Control ; éd. Taylor & Francis, 2018.https://hal.science/hal-02010912v1
- [8] N. Beldiceanu, B. Dumas Feris, P. Gravey, M. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. Moulinard, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. Towards energy-proportional Clouds partially powered by renewable energy. In Computing ; éd. Springer Verlag, 2017, vol. 99, num. 1.https://inria.hal.science/hal-01340318v1
- [9] K. Tigori, J. Béchennec, S. Faucou, O. Roux. Formal Model-Based Synthesis of Application-Specific Static RTOS. In ACM Transactions on Embedded Computing Systems (TECS) ; éd. ACM, 2017, vol. 16, num. 4.https://hal.science/hal-01713063v1
- [10] J. Girault, J. Loiseau, O. Roux. On-line compositional controller synthesis for AGV. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2016, vol. 26, num. 4.https://hal.science/hal-01699902v1
- [11] A. Jovanovic, D. Lime, O. Roux. Integer Parameter Synthesis for Real-Time Systems. In IEEE Transactions on Software Engineering ; éd. Institute of Electrical and Electronics Engineers, 2015, vol. 41, num. 5.https://hal.science/hal-02939617v1
- [12] C. Jard, D. Lime, O. Roux. Blending Timed Formal Models with Clock Transition Systems. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2014, vol. 129, num. 1-2.https://hal.science/hal-00940970v1
- [13] C. Lelionnais, J. Delatour, M. Brun, O. Roux, C. Seidner. Formal Synthesis of Real-Time System Models in a MDE Approach. In IARIA Journals, vol. 7, num. 1&2. 30-06-2014https://hal.science/hal-01093769v1
- [14] B. Berard, F. Cassez, S. Haddad, D. Lime, O. Roux. The Expressive Power of Time Petri Nets. In Theoretical Computer Science ; éd. Elsevier, 2013, vol. 474.https://hal.science/hal-00925765v1
- [15] C. Jard, D. Lime, O. Roux, L. Traonouez. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In Formal Methods in System Design ; éd. Springer Verlag, 2013, vol. 43, num. 3.https://hal.science/hal-00840368v1
- [16] D. Lime, C. Martinez, O. Roux. Shrinking of time Petri nets. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2013, vol. 23, num. 4.https://hal.science/hal-00940944v1
- [17] G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas. Channel Synthesis for Finite Transducers. In International Journal of Foundations of Computer Science ; éd. World Scientific Publishing, 2012, vol. 23, num. 6.https://hal.science/hal-01161869v1
- [18] H. Boucheneb, G. Gardey, O. Roux. TCTL model checking of Time Petri Nets. In Journal of Logic and Computation ; éd. Oxford University Press (OUP), 2009, vol. 19, num. 6.https://hal.science/hal-00489070v1
- [19] L. Traonouez, D. Lime, O. Roux. Parametric Model-Checking of Stopwatch Petri Nets. In Journal of Universal Computer Science ; éd. Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2009, vol. 15, num. 17.https://hal.science/hal-00489033v1
- [20] M. Magnin, P. Molinaro, O. Roux. Expressiveness of Petri Nets with Stopwatches. Discrete-time part. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2009, vol. 97, num. 1-2.https://hal.science/hal-00523936v1
- [21] M. Magnin, P. Molinaro, O. Roux. Expressiveness of Petri nets with stopwatches. Dense-time part. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2009, vol. 97, num. 1-2.https://hal.science/hal-00523933v1
- [22] D. Lime, O. Roux. Formal Verification of Real-time Systems with Preemptive Scheduling. In Real-Time Systems ; éd. Springer Verlag, 2009, vol. 2, num. 41.https://hal.science/hal-00453476v1
- [23] B. Bérard, F. Cassez, S. Haddad, D. Lime, O. Roux. When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?. In Theoretical Computer Science ; éd. Elsevier, 2008, vol. 403, num. 2--3.https://inria.hal.science/inria-00363024v1
- [24] C. Seidner, O. Roux. Formal Methods for Systems Engineering Behavior Models. In IEEE Transactions on Industrial Informatics ; éd. Institute of Electrical and Electronics Engineers, 2008, vol. 4, num. 4.https://hal.science/hal-00489291v1
- [25] M. Boyer, O. Roux. On the compared expressiveness of arc, place and transition time Petri nets. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2008, vol. 88, num. 3.https://hal.science/hal-00489072v1
- [26] B. Berthomieu, D. Lime, O. Roux, F. Vernadat. Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2007, vol. 17, num. 2.https://hal.science/hal-00489016v1
- [27] F. Cassez, O. Roux. Structural translation from time petri nets to timed automata. In Electronic Notes in Theoretical Informatics and Computer Science ; éd. Inria, 2006, vol. 128, num. 6.https://hal.science/hal-00139236v1
- [28] G. Gardey, O. Roux, O. Roux. State Space Computation and Analysis of Time Petri Nets. In Theory and Practice of Logic Programming ; éd. Cambridge University Press (CUP), 2006, vol. 6, num. 3.https://hal.science/hal-00489232v1
- [29] D. Lime, O. Roux. Model checking of Time Petri Nets using the State Class Timed Automaton. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2006, vol. 16, num. 2.https://hal.science/hal-00488957v1
- [30] O. Roux, A. Déplanche. A T-time Petri net extension for real time-task scheduling modeling. In European Journal of Automation ; éd. Hermés Science, 2002, vol. 36, num. 7.https://hal.science/hal-00489238v1
- [31] J. Komenda, S. Lahaye, R. Parrot, O. Roux. Weakly Strong Semantics of Time Petri Nets for Performance Evaluations. In 17th Workshop on Discrete Event Systems (WODES 2024), avril 2024, Rio de janeiro, Brésil.https://univ-angers.hal.science/hal-04620546v1
- [32] L. Leclercq, D. Lime, O. Roux. A State Class Based Controller Synthesis Approach for Time Petri Nets. In 44th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2023), juin 2023, Caparica, Lisbon, Portugal.https://hal.science/hal-04312254v1
- [33] A. Spriet, D. Lime, O. Roux. Timed Non-interference Under Partial Observability and Bounded Memory. In 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023), septembre 2023, Antwerp, Belgique.https://hal.science/hal-04312271v1
- [34] A. Spriet, D. Lime, O. Roux. Non-interference temporisée avec observation partielle et mémoire bornée. In Modélisation des Systèmes Réactifs (MSR'23), novembre 2023, Toulouse, France.https://hal.science/hal-04465311v1
- [35] L. Leclercq, D. Lime, R. Olivier H.. Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états. In Modélisation des Systèmes Réactifs (MSR'23), novembre 2023, Toulouse, France.https://hal.science/hal-04465232v1
- [36] S. Haddad, D. Lime, O. Roux. A Turn-Based Approach for Qualitative Time Concurrent Games. In PETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, juin 2021, Paris, France.https://hal.science/hal-03561748v1
- [37] J. Lagha, J. Béchennec, S. Faucou, O. Roux. Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems Validation. In VALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, octobre 2020, Lisbon, Portugal.https://cnrs.hal.science/hal-03006791v1
- [38] D. Lime, O. Roux, C. Seidner. Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. In 40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019), juin 2019, Aachen, Allemagne.https://hal.science/hal-02565091v1
- [39] J. Béchennec, D. Lime, O. Roux. Control of DES with Urgency, Avoidability and Ineluctability. In 19th International Conference on Application of Concurrency to System Design (ACSD 2019), juin 2019, Aachen, Allemagne.https://hal.science/hal-02415301v1
- [40] J. Béchennec, D. Lime, O. Roux. Contrôle des SED avec urgence,évitabilité et inéluctabilité. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.https://hal.science/hal-02432148v2
- [41] H. Boucheneb, D. Lime, O. Roux, C. Seidner. Optimal-Cost Reachability Analysis Based on Time Petri Nets. In 18th International Conference on Application of Concurrency to System Design (ACSD 2018), juin 2018, Bratislava, Slovaquie.https://hal.science/hal-01957173v1
- [42] L. Jezequel, T. Chatain, M. Comlan, D. Delfieu, O. Roux. Pomsets and Unfolding of Reset Petri Nets. In LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, avril 2018, Ramat Gan, Israël.In Shmuel Tomi Klein (éds.), . Springer, 2018.https://hal.science/hal-01766530v1
- [43] Y. Emzivat, J. Ibanez-Guzman, P. Martinet, O. Roux. Dynamic Driving Task Fallback for an Automated Driving System whose Ability to Monitor the Driving Environment has been Compromised. In IEEE Intelligent Vehicles Symposium, juin 2017, Redondo Beach, états-Unis.https://hal.science/hal-01724931v1
- [44] H. Boucheneb, D. Lime, B. Parquier, C. Seidner, O. Roux. Optimal Reachability in Cost Time Petri Nets. In 15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017), septembre 2017, Berlin, Allemagne.https://hal.science/hal-01724290v1
- [45] N. David, C. Jard, D. Lime, O. Roux. Coverability Synthesis in Parametric Petri Nets. In 28th International Conference on Concurrency Theory (CONCUR 2017), septembre 2017, Berlin, Allemagne.https://hal.science/hal-01724302v1
- [46] Y. Emzivat, J. Ibanez-Guzman, P. Martinet, O. Roux. Adaptability of Automated Driving Systems to the Hazardous Nature of Road Networks. In IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), octobre 2017, Yokohama, Japon.https://hal.science/hal-01724933v1
- [47] L. Givel, J. Béchennec, M. Brun, S. Faucou, O. Roux. Testing real-time embedded software using runtime enforcement. In 11th IEEE International Symposium on Industrial Embedded Systems, IEEE SIES 2016, mai 2016, Krakow, Pologne.https://hal.science/hal-01399909v1
- [48] Y. Emzivat, B. Delahaye, D. Lime, O. Roux. Probabilistic Time Petri Nets. In 37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, juin 2016, Torun, Pologne.https://hal.science/hal-01590900v1
- [49] Ã. André, D. Lime, O. Roux. On the Expressiveness of Parametric Timed Automata. In 14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2016), août 2016, Québec, Canada.https://hal.science/hal-02538061v1
- [50] B. Parquier, L. Rioux, R. Henia, R. Soulat, O. Roux, D. Lime, Ã. André. Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems. In 5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), novembre 2016, Tokyo, Japon.https://hal.science/hal-02538041v1
- [51] Ã. André, D. Lime, O. Roux. Decision Problems for Parametric Timed Automata. In 18th International Conference on Formal Engineering Methods (ICFEM 2016), novembre 2016, Tokyo, Japon.https://hal.science/hal-02538055v1
- [52] N. Beldiceanu, B. Dumas Feris, P. Gravey, M. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. Moulinard, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. The EPOC project: Energy Proportional and Opportunistic Computing system. In International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), mai 2015, Lisbonne, Portugal.https://hal.science/hal-01131602v1
- [53] K. Tigori, J. Béchennec, O. Roux. Formal Synthesis of Optimal RTOS. In 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems., août 2015, New York, états-Unis.https://hal.science/hal-01413492v1
- [54] L. Givel, M. Brun, C. Constant, S. Faucou, O. Roux. Use of runtime enforcement for the test of real-time systems. In 12th IEEE International Conference on Embedded Software and Systems, IEEE ICESS 2015, août 2015, New York, états-Unis.https://hal.science/hal-01179648v1
- [55] Ã. André, D. Lime, O. Roux. Integer-Complete Synthesis for Bounded Parametric Timed Automata. In 9th International Conference on Reachability Problems (RP 2015), septembre 2015, Warsaw, Pologne.https://hal.science/hal-02939637v1
- [56] N. David, C. Jard, D. Lime, O. Roux. Discrete Parameters in Petri Nets. In Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, juin 2015, Bruxelles, Belgique.In Raymond Devillers (éds.), . Springer International Publishing, 2015.https://hal.science/hal-01222021v1
- [57] K. Tigori, J. Béchennec, S. Faucou, O. Roux. Using formal methods for the development of safe application-specific RTOS for automotive systems. In CARS 2015 - Critical Automotive applications: Robustness & Safety, septembre 2015, Paris, France.In Matthieu Roy (éds.), . , 2015.https://hal.science/hal-01193023v1
- [58] K. Gautier Tigori, J. Béchennec, O. Roux. Approche formelle pour la spécialisation de systèmes d'exploitation temps réel. In Modélisation des Systèmes Réactifs (MSR 2015), novembre 2015, Nancy, France.In Stephan Merz and Jean-François Pétin (éds.), . , 2015.https://inria.hal.science/hal-01224465v1
- [59] J. Tanguy, J. Béchennec, M. Briday, O. Roux. Reactive Embedded Device Driver Synthesis using Logical Timed Models. In 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), août 2014, Vienne, Autriche.https://hal.science/hal-01142411v1
- [60] J. Tanguy, J. Béchennec, M. Briday, S. Dubé, O. Roux. Device driver synthesis for embedded systems. In 18th IEEE International Conference on Emerging Technologies & Factory Automation, septembre 2013, Cagliari, Italie.https://hal.science/hal-00942323v1
- [61] C. Lelionnais, M. Brun, J. Delatour, O. Roux, C. Seidner. Formal composition based on roles within a model driven engineering approach. In The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), novembre 2013, Venice, Italie.https://hal.science/hal-00941024v1
- [62] S. Akshay, L. Helouet, C. Jard, D. Lime, O. Roux. Robustness of Time Petri Nets under architectural constraints. In Formal Modeling and Analysis of Timed Systems, septembre 2013, Warwik, Royaume-Uni.In Marcin Jurdzinski and Dejan Nickovic (éds.), . Springer, 2013.https://inria.hal.science/hal-00879818v1
- [63] A. Jovanovic, D. Lime, O. Roux. Integer Parameter Synthesis for Timed Automata. In 19th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, mars 2013, Rome, Italie.In Lecture Notes in Computer Science ; éd. Springer, 2013, vol. 7795.https://hal.science/hal-00941007v1
- [64] H. Boucheneb, D. Lime, O. Roux. On Multi-enabledness in Time Petri Nets. In 34th International Conference on Application and Theory of Petri Nets and Concurrency - , PETRI NETS 2013, juin 2013, Milan, Italie.In Lecture Notes in Computer Science ; éd. Springer, 2013, vol. 7927.https://hal.science/hal-00940994v1
- [65] A. Jovanovic, D. Lime, O. Roux. Synthesis of bounded integer parameters for parametric timed reachability games. In Symposium on Automated Technology for Verification and Analysis (ATVA 2013), octobre 2013, Hanoi, Viêt Nam.In Lecture Notes in Computer Science ; éd. Springer, 2013, vol. 8172.https://hal.science/hal-00940988v1
- [66] C. Lelionnais, M. Brun, J. Delatour, O. Roux, C. Seidner. Formal Behavioral Modeling of Real-Time Operating Systems. In The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), juin 2012, Wroclaw, Pologne.https://hal.science/hal-01093794v1
- [67] A. Jovanovic, S. Faucou, D. Lime, O. Roux. Real-Time Control with Parametric Timed Reachability Games. In 11th International Workshop on Discrete Event Systems, octobre 2012, Guadalajara, Mexique.https://hal.science/hal-00753689v1
- [68] Y. Thierry-Mieg, B. Bérard, F. Kordon, D. Lime, O. Roux. {Compositional Analysis of Discrete Time Petri nets}. In 1st workshop on Petri Nets Compositions (CompoNet 2011), juin 2011, Newcastle, Royaume-Uni.https://hal.science/hal-01282489v1
- [69] G. Benattar, B. Berard, D. Lime, J. Mullins, O. Roux, M. Sassolas. Channel Synthesis for Finite Transducers. In AFL 2011 - 13th International Conference on Automata and Formal Languages, août 2011, Debrecen, Hongrie.In Pál Dömösi and Szabolcs Iván (éds.), . , 2011.https://hal.science/hal-01223260v1
- [70] B. Grabiec, L. Traonouez, C. Jard, D. Lime, O. Roux. Diagnosis using unfoldings of parametric time Petri nets. In 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), septembre 2010, Vienna, Autriche.https://hal.science/hal-00523597v1
- [71] L. Traonouez, B. Grabiec, C. Jard, D. Lime, O. Roux. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), septembre 2010, Singapore, Singapour.https://hal.science/hal-00523593v1
- [72] G. Benattar, F. Cassez, D. Lime, O. Roux. Synthesis of Non-Interferent Timed Systems. In Proc. of the 7th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'09), avril 2009, Budapest, Hungary, Hongrie.https://inria.hal.science/inria-00493636v1
- [73] G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas. Covert Channels with Transducers. In The LICS Workshop on Foundations of Computer Security (FCS'09), juillet 2009, Los Angeles, California, états-Unis.https://hal.science/hal-01298270v1
- [74] C. Seidner, J. Lerat, O. Roux. Behavior Diagrams Model-Checking: Formal Methods Applied to {S}ystems {E}ngineering and Design. In $6^{th}$ Annual Conference on Systems Engineering Research, 2008, Los Angeles, états-Unis.https://hal.science/hal-00523611v1
- [75] C. Seidner, J. Lerat, O. Roux. Usability and Usefulness of Formal Verification in a System Design Process. In $18^{th}$ International Symposium of the INCOSE, 2008, Utrecht, Pays-Bas.https://hal.science/hal-00523610v1
- [76] L. Traonouez, D. Lime, O. Roux. Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph. In 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008), 2008, Saint Malo, France.https://hal.science/hal-00523613v1
- [77] M. Magnin, D. Lime, O. Roux. Symbolic state space of Stopwatch {Petri} nets with discrete-time semantics. In The 29th International Conference on Application and Theory of {Petri} Nets and other models of concurrency (ICATPN 2008), 2008, Xi'an, Chine.https://hal.science/hal-00523612v1
- [78] D. Bertrand, A. Déplanche, S. Faucou, O. Roux. A study of the AADL mode change protocol. In 3rd International UML & AADL Workshop, avril 2008, Belfast, Irlande.https://hal.science/hal-00490817v1
- [79] C. Seidner, J. Lerat, O. Roux. Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues. In 17$^{th}$ International Symposium of the International Council on Systems Engineering (IS2007), 2007, San Diego, états-Unis.https://hal.science/hal-00523605v1
- [80] M. Boyer, O. Roux. Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets. In 28th International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN'07), 2007, Siedlce, Pologne.https://hal.science/hal-00523609v1
- [81] F. Cassez, J. Mullins, O. Roux. Synthesis of Non-Interferent Systems. In 4th Int. Conf. on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS'07), septembre 2007, Saint Petersburg, Russie.https://inria.hal.science/inria-00363029v1
- [82] G. Gardey, O. Roux, O. Roux. Safety Control Synthesis for Time Petri Nets. In 8th International Workshop on Discrete Event Systems (WODES'06), 2006, Ann Arbor, états-Unis.https://hal.science/hal-00523604v1
- [83] M. Magnin, P. Molinaro, O. Roux. Decidability, expressivity and state-space computation of Stopwatch {Petri} nets with discrete-time semantics. In 8th International Workshop on Discrete Event Systems (WODES'06), 2006, Ann Arbor, états-Unis.https://hal.science/hal-00523601v1
- [84] G. Gardey, D. Lime, M. Magnin, O. Roux. Romeo: A Tool for Analyzing time Petri nets. In 17th International Conference on Computer Aided Verification (CAV'05), 2005, Edinburgh, Royaume-Uni.https://hal.science/hal-00523596v1
- [85] G. Gardey, J. Mullins, O. Roux. Non-interference control synthesis for security timed automata. In 3rd International Workshop on Security Issues in Concurrency (SecCo'05), 2005, San Francisco, états-Unis.https://hal.science/hal-00523598v1
- [86] M. Magnin, D. Lime, O. Roux. An efficient method for computing exact state space of Petri nets with stopwatches. In third International Workshop on Software Model-Checking (SoftMC'05), 2005, Edinburgh, Royaume-Uni.https://hal.science/hal-00523595v1
- [87] M. Jamali, O. Roux, D. Aït-Kadi, E. Chatelet. Integrating simulation and optimization to analyze maintenance policies performances for complex systems. In International Conference on Industrial Engineering ans Systems Management - IESM'05, mai 2005, Marrakech, Maroc.https://utt.hal.science/hal-02563170v1
- [88] B. Berard, F. Cassez, S. Haddad, D. Lime, O. Roux. Comparison of the Expressiveness of Timed Automata and Time Petri Nets. In FORMATS 2005 - 3rd International Conference on Formal Modeling and Analysis of Timed Systems, septembre 2005, Uppsala, Suède.https://inria.hal.science/inria-00368577v1
- [89] B. Berard, F. Cassez, S. Haddad, D. Lime, O. Roux. Comparison of Different Semantics for Time Petri Nets. In 3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), octobre 2005, Taiwan, Taïwan.https://inria.hal.science/inria-00368580v1
- [90] B. Berard, F. Cassez, S. Haddad, D. Lime, O. Roux. When are Timed Automata weakly timed bisimilar to Time Petri Nets ?. In 25th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), décembre 2005, Chennai, Inde.https://inria.hal.science/inria-00368578v1
- [91] D. Lime, O. Roux. A translation based method for the timed analysis of scheduling extended time Petri nets. In The 25th IEEE International Real-Time Systems Symposium, (RTSS'04), 2004, Lisbon, Portugal.https://hal.science/hal-00523591v1
- [92] F. Cassez, O. Roux. Structural Translation of Time Petri Nets into Timed Automata. In Proceedings of the Workshop on Automated Verification of Critical Systems (AVoCS'04), septembre 2004, London, Royaume-Uni.https://inria.hal.science/inria-00368582v1
- [93] O. Roux, D. Lime. Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. In The 25th International Conference on Application and Theory of Petri Nets, (ICATPN'04), 2004, Bologna, Italie.In Springer (éds.), The 25th International Conference on Application and Theory of Petri Nets, (ICATPN'04). , 2004.https://hal.science/hal-00523590v1
- [94] D. Lime, O. Roux. Expressiveness and analysis of scheduling extended time Petri nets. In 5th IFAC International Conference on Fieldbus Systems and their Applications, (FET'03), 2003, Aveiro, Portugal.https://hal.science/hal-00523586v1
- [95] D. Lime, O. Roux. State class Timed Automaton of a Time Petri Net. In The 10th International Workshop on Petri Nets and Performance Models, (PNPM'03), 2003, Urbana, états-Unis.https://hal.science/hal-00523588v1
- [96] F. Herbreteau, F. Cassez, A. Finkel, R. Olivier, G. Sutre. Verification of Embedded Reactive Fiffo Systems. In LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, avril 2002, Cancun, Mexique.In Sergio Rajsbaum (éds.), Proceedings LATIN2002. Springer, 2002.https://hal.science/hal-00477233v1
- [97] A. Bernabeu, J. Béchennec, M. Briday, S. Faucou, O. Roux. MORTEM: a new runtime for intermittent computing. In Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS), juillet 2023, Annecy, France.https://hal.science/hal-04354069v1
- [98] L. Traonouez, D. Delfieu, O. Roux. Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés. In 6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), octobre 2007, Lyon, France.https://hal.science/hal-01112533v1
- [99] A. Prigent, P. Dhaussy, R. Olivier. Systèmes Informatiques de Confince, Objectifs Zéro-Défaut. In Systèmes Informatiques de Confince, Objectifs Zéro-Défaut, 2002, , France.https://hal.science/hal-00540746v1
- [100] C. Jard, O. Roux. Communicating Embedded Systems - Software and Design. 2009 https://hal.science/hal-00523940v1
- [101] O. Roux, D. Lime. Modélisation des Systèmes Réactifs -- Special Issue in French of the European Journal of Automation (JESA), 43(7-8-9). 11-2009 https://hal.science/hal-00523944v1
- [102] O. Roux, C. Jard. Approches formelles des systèmes embarqués communicants. 2008 https://hal.science/hal-00523945v1
- [103] D. Lime, O. Roux, C. Jard. Clock Transition Systems. Rapport technique, 2012 ; .https://hal.science/hal-00725792v1
- [104] G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas. Covert Channel Synthesis for Transducers. https://hal.science/hal-00463574v1