Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Olivier Henri ROUX

ENSEIGNANT-CHERCHEUR

HDR

Service : AFFAIRES DOCTORALES.Equipe : STR.

: +33 (0)2 40 37 69 76

Page pro : http://pagesperso.ls2n.fr/~roux-o/en_index.html

Adresse :

Centrale Nantes ( CN )
Petit Port
1, rue de la Noë
BP 92101
44321 NANTES Cedex 3

Batiment S, étage 5, bureau 516



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [2] 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://hal.inria.fr/hal-01340318
    • [3] 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.archives-ouvertes.fr/hal-01713063
    • [5] 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.archives-ouvertes.fr/hal-00940970
    • [6] 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.archives-ouvertes.fr/hal-00939239
    • [9] 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.archives-ouvertes.fr/hal-00840368
    • [11] 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.archives-ouvertes.fr/hal-01161869
    • [13] 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.archives-ouvertes.fr/hal-00489033
    • [14] 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.archives-ouvertes.fr/hal-00523936
    • [15] 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.archives-ouvertes.fr/hal-00523933
    • [16] D. Lime, O. Roux. Formal Verification of Real-time Systems with Preemptive Scheduling. In Real-Time Systems / Real Time Systems; The Journal of Real-Time Systems, vol. 2, num. 41. 02-2009
      https://hal.archives-ouvertes.fr/hal-00453476
    • [17] 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://hal.inria.fr/inria-00363024
    • [18] 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.archives-ouvertes.fr/hal-00489291
    • [19] 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.archives-ouvertes.fr/hal-00489072
    • [20] 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.archives-ouvertes.fr/hal-00489016
    • [21] F. Cassez, O. Roux. Structural Translation from Time Petri Nets to Timed Automata. In Journal of Systems and Software ; éd. Elsevier, 2006, vol. 79, num. 10.
      https://hal.inria.fr/inria-00363025
    • [23] 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.archives-ouvertes.fr/hal-00489232

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [26] L. Jezequel, T. Chatain, M. Comlan, D. Delfieu, O. Roux. Pomsets and Unfolding of Reset Petri Nets. In 12th International Conference on Language and Automata Theory and Applications (LATA 2018), avril 2018, Ramat Gan, Israël.In Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira (éds.), . Springer, 2018.
      https://hal.archives-ouvertes.fr/hal-01766530
    • [27] 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.archives-ouvertes.fr/hal-01724931
    • [28] 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.archives-ouvertes.fr/hal-01724290
    • [29] 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.archives-ouvertes.fr/hal-01724302
    • [30] Y. Emzivat, J. Ibanez-Guzman, P. Martinet, O. Roux. Adaptability of Automated Driving Systems to the Hazardous Nature of Road Networks. In IEEE International Conference on Intelligent Transportation Systems, octobre 2017, Yokohama, Japon.
      https://hal.archives-ouvertes.fr/hal-01724933
    • [31] 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.archives-ouvertes.fr/hal-01399909
    • [32] 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.archives-ouvertes.fr/hal-01590900
    • [33] 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.archives-ouvertes.fr/hal-01131602
    • [34] 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.archives-ouvertes.fr/hal-01413492
    • [35] 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.archives-ouvertes.fr/hal-01179648
    • [36] 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.archives-ouvertes.fr/hal-01222021
    • [37] 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.archives-ouvertes.fr/hal-01193023
    • [38] 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://hal.inria.fr/hal-01224465
    • [39] 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.archives-ouvertes.fr/hal-01142411
    • [40] 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.archives-ouvertes.fr/hal-00942323
    • [41] 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.archives-ouvertes.fr/hal-00941024
    • [42] 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://hal.inria.fr/hal-00879818
    • [43] 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.archives-ouvertes.fr/hal-00941007
    • [44] 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.archives-ouvertes.fr/hal-00940994
    • [45] 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.archives-ouvertes.fr/hal-00940988
    • [46] 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.archives-ouvertes.fr/hal-01093794
    • [47] 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.archives-ouvertes.fr/hal-00753689
    • [48] 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.archives-ouvertes.fr/hal-01282489
    • [49] 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.archives-ouvertes.fr/hal-01223260
    • [50] 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.archives-ouvertes.fr/hal-00523597
    • [51] 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.archives-ouvertes.fr/hal-00523593
    • [52] 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://hal.inria.fr/inria-00493636
    • [53] 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.archives-ouvertes.fr/hal-01298270
    • [54] 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.archives-ouvertes.fr/hal-00523611
    • [55] 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.archives-ouvertes.fr/hal-00523610
    • [56] 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.archives-ouvertes.fr/hal-00523613
    • [57] 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.archives-ouvertes.fr/hal-00523612
    • [59] 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.archives-ouvertes.fr/hal-00523605
    • [60] 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.archives-ouvertes.fr/hal-00523609
    • [61] 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://hal.inria.fr/inria-00363029
    • [63] 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.archives-ouvertes.fr/hal-00523601
    • [64] 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.archives-ouvertes.fr/hal-00523596
    • [65] 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.archives-ouvertes.fr/hal-00523598
    • [66] 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.archives-ouvertes.fr/hal-00523595
    • [67] 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://hal.inria.fr/inria-00368577
    • [68] 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://hal.inria.fr/inria-00368580
    • [69] 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://hal.inria.fr/inria-00368578
    • [70] 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.archives-ouvertes.fr/hal-00523591
    • [71] 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://hal.inria.fr/inria-00368582
    • [72] 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.archives-ouvertes.fr/hal-00523590
    • [73] 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.archives-ouvertes.fr/hal-00523586
    • [74] 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.archives-ouvertes.fr/hal-00523588

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [75] 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.archives-ouvertes.fr/hal-01112533

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales - 
 -