2018 
R 
L. Hélouët, H. Marchand, J.Mullins,
Concurrent secrets with quantified suspicion
Submitted..
[PDF]

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

C 
L. Hélouët, H. Marchand, L.Ricker,
Note on Opacity with powerful attackers
WODES 2018..
[PDF]

2017 
J 
E. Fabre, L. Hélouët, E. Lefaucheux, H. Marchand
Diagnosability of Repairable Faults
. In
Journal of Discrete Events Systems, 2017.
[PDF]

J 
L. Hélouët, K. Kecir
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics
. In
Science of Computer Programming, 2017 (to appear).
[PDF]

C 
L. Hélouët, H. Marchand
On the cost of diagnosis with disambiguation
. In
QEST, 2017, p 140156.
[PDF]

C 
B. Adeline, A. D'ariano, P. Dersin, L. Hélouët, K. Kecir
From reactive to predictive regulation in Metros
. In
ECSO, 2017..
[pdfabstract]

C 
B. Adeline, P. Dersin, E. Fabre, L. Hélouët, K. Kecir
An efficient evaluation scheme for KPIs in
regulated urban train systems
. In
RSSRAIL, 2017..
[PDF]

2016 
J 
B. Bérard, L. Hélouët, J. Mullins
Noninterference 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 127, 2016.
[PDF]

J 
E.Badouel, L. Hélouët, C.Morvan,
Petri nets with semistructured data. In
Fundamenta Informaticae no 146, pp 3585, 2016.
[PDF]

C 
L. Hélouët, K. Kecir
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. In
Petri Nets 2016, LNCS 9698, pp 155175, 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 301322, 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 230236, 2016.
[PDF]

2015 
J 
R. Abdallah, L. Hélouët, C. Jard.
Distributed Implementation of Message Sequence Charts.
Software and Systems Modeling, vol 14, issue 2, pp 10291048, 2015.
[PDF]

C 
B. Bérard, L. Hélouët, J. Mullins
Noninterference 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élouët, C.Morvan,
Petri nets with semistructured data. In
Petri Nets'15, Bruxelles, June 2015.
[PDF]

C 
E.Badouel, L. Hélouët, C.Morvan,
A Grammatical Approach to Datacentric Case
Management in a Distributed Collaborative Environment. In
SAC'15, Salamanca, april 2015.
[PDF]

C 
R. Abdallah, L. Hélouët, C. Jard
Realistic Implementation of Message Sequence Charts. In
Software and Systems Modeling, 2015.
[PDF]

2014 
C 
S. Akshay, L. Hélouët, 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élouët, 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élouët, The steadystate control problem for Markov decision processes. In 10th International Conference on Quantitative Evaluation of SysTems (QEST'13), LNCS, Volume 8054, Pages 390304, Buenos Aires, Argentina, August 2013.
[PDF]

2013 
C 
B. Bollig, A. Cyriac, L. Hélouët, A. Kara, T. Schwentick, Dynamic Communicating Automata and Branching HighLevel MSCs. In LATA 2013, Adrian Horia Dediu, Carlos Mart\'\inVide, Bianca Truthe (eds.), LNCS, Volume 7810, Pages 177189, bilbao, Spain, April 2013. [PDF]

C 
R. Abdallah, A. Gotlieb, L. Hélouët, C. Jard, Scenario Realizability with Constraint Optimization. In Fundamental Approaches to Software Engineering, LNCS, Volume 7793, Pages 194209, March 2013.
[PDF]

2012 
C 
S. Akshay, B. Genest, L. Hélouët, S. Yang, Regular set of representatives for timeconstrained MSC graphs. Information Processing Letters, 2012.
[PDF]

C 
S. Akshay, B. Genest, L. Hélouët, S. Yang, Symbolically Bounding the Drift in TimeConstrained 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 115, 2012.
[PDF]

C 
S. Akshay, L. Hélouët, 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 1126, 2012.
[PDF]

C 
S. Akshay, L. Hélouët, C. Jard, PA. Reynier, Robustness of Time Petri Nets under Guard Enlargement. In RP, Lecture Notes in Computer Science, Volume 7550, Pages 92106, 2012.
[PDF]

2009 
J 
B. Genest, L. Hélouët, P.S. Thiagarajan, S. Yang,
Causal Message Sequence Charts. In
Theoretical Computer Science, 410(41), Pages 40944110, 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 459474, Budapest, Hungary, April 2008.
[PDF]
