Recent Publications -- selection from 2008 to 2017 -- (complete list here )

2017
R S. Akshay, L. Hélouët, R. Phawade Combining Free Choice and Time in Petri Nets (Extended Version). In Submitted, 2017. [PDF]

2016
J B. Bérard, L. Hélouet, J. Mullins Non-interference in Partial Order Models. In ACM Transactions on Embedded Computing Systems (TECS), Volume 16 Issue 2, (Special issue for ACSD 2015), ,December 2016. [PDF]

J S.Akshay, L. Hélouët, C.Jard,P.A. Reynier, Robustness of Time Petri Nets under Guard Enlargement . In Fundamenta Informaticae no143, pp 1-27, 2016. [PDF]
J E.Badouel, L. Hélouet, C.Morvan, Petri nets with semi-structured data. In Fundamemnta Informaticae no 146, pp 35-85, 2016. [PDF]
C L. Hélouet, K. Kecir Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. In Petri Nets 2016, LNCS 9698, pp 155-175, 2016. [PDF]

C S. Akshay, B. Genest, L. Hélouët Decidable Classes of Unbounded Petri Nets with Time and Urgency. In Petri Nets 2016, LNCS 9698, pp 301-322, 2016. [PDF]

C S. Akshay, L. Hélouët, R. Phawade Combining Free Choice and Time in Petri Nets. In Time' 2016, 23rd International Symposium on Temporal Representation and Reasoning, 2016. [PDF]

C E. Fabre, E. Lefaucheux, L. Hélouët, H. Marchand Diagnosability of repairable faults. In Workshop on Discrete Events and Dynamic Systems, pp 230-236, 2016. [PDF]

2015
J Rouwaida Abdallah, Loïc Hélouët, Claude Jard. Distributed Implementation of Message Sequence Charts. Software and Systems Modeling, vol 14, issue 2, pp 1029-1048, 2015. [PDF]
C B. Bérard, L. Hélouet, J. Mullins Non-interference in Partial Order Models. In ACSD'15, International Conferenceon Application of Concurrency to System Design, Bruxelles, June 2015. [PDF](Draft version)

C E. Badouel, R. Fondze Jr, L.Hélouët, G.E. Kouamou, C. Morvan, Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars. In ACM Sigapp Applied Computing Review, vol 13, issue 3, 2015, Bruxelles, June 2015. [PDF]

C E.Badouel, L. Hélouet, C.Morvan, Petri nets with semi-structured data. In Petri Nets'15, Bruxelles, June 2015. [PDF]

C E.Badouel, L. Hélouet, C.Morvan, A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. In SAC'15, Salamanca, april 2015. [PDF]

C Rouwaida Abdallah, Loïc Hélouët, Claude Jard Realistic Implementation of Message Sequence Charts. In Software and Systems Modeling, 2015. [PDF]
2014
C S. Akshay, L. Hélouet, M.MukundSessions with an unbounded number of Agents. In ACSD'14, Tunis, june 2014. [PDF]
C N. Bertrand, E, Fabre, S. Haar, S. Haddad, L. Hélouet, Active Diagnosis for Probabilistic Systems. In 17th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS'14, Grenoble, France, April 2014. [PDF]
C S Akshay, N. Bertrand, Haddad S, L. Hélouet, The steady-state control problem for Markov decision processes. In 10th International Conference on Quantitative Evaluation of SysTems (QEST'13), LNCS, Volume 8054, Pages 390-304, Buenos Aires, Argentina, August 2013. [PDF]
2013
C B. Bollig, A. Cyriac, L. Hélouet, A. Kara, T. Schwentick, Dynamic Communicating Automata and Branching High-Level MSCs. In LATA 2013, Adrian Horia Dediu, Carlos Mart\'\in-Vide, Bianca Truthe (eds.), LNCS, Volume 7810, Pages 177-189, bilbao, Spain, April 2013. [PDF]
C R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard, Scenario Realizability with Constraint Optimization. In Fundamental Approaches to Software Engineering, LNCS, Volume 7793, Pages 194-209, March 2013. [PDF]
2012
C S. Akshay, B. Genest, L. Hélouet, S. Yang, Regular set of representatives for time-constrained MSC graphs. Information Processing Letters, 2012. [PDF]
C S. Akshay, B. Genest, L. Hélouet, S. Yang, Symbolically Bounding the Drift in Time-Constrained MSC Graphs. In Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Abhik Roychoudhury, Meenakshi D'Souza (eds.), Lecture Notes in Computer Science, Volume 7521, Pages 1-15, 2012. [PDF]
C S. Akshay, L. Hélouet, C. Jard, D. Lime, O. H. Roux, Robustness of Time Petri Nets under Architectural Constraints. In FORMATS, Lecture Notes in Computer Science, Volume 7595, Pages 11-26, 2012. [PDF]
C S. Akshay, L. Hélouet, C. Jard, PA. Reynier, Robustness of Time Petri Nets under Guard Enlargement. In RP, Lecture Notes in Computer Science, Volume 7550, Pages 92-106, 2012. [PDF]
2009
J B. Genest, L. Hélouet, P.S. Thiagarajan, S. Yang, Causal Message Sequence Charts. In Theoretical Computer Science, 410(41), Pages 4094-4110, 2009. [PDF]
2008
C P. Darondeau, B. Genest, L. Hélouët,Products of Message Sequence Charts. . In 11th International Conference on Foundations of Software Science And Computation Structures (FOSSACS'08),Volume LNCS 4962, Pages 459-474, Budapest, Hungary, April 2008. [PDF]