Recent Publications (2008 to 2022)

(complete list here )

2022
J M. L. Tessitore, M. Samà, A. D'Ariano, L. Hélouët, D. Pacciarelli, A Simulation-Optimization Framework for Traffic Disturbance Recovery in Metro Systems . In Transportation Research Part C: Emerging Technologies, Vol 136, March 2022. [PDF]

C L. Hélouët, P. Agrawal Waiting Nets . In Petri Nets 2022. [PDF]

2021
J L. Hélouët, N. Markey, R. Raha, Reachability games with relaxed energy constraints (extended version) . In Information and Computation, 2021. [PDF]

J L. Hélouët, R. Singh, Z. Miklos, Reducing the Cost of Aggregation in Crowdsourcing (extended version) . In Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIX. LNCS, vol 12920, p33-69, 2021.. [PDF]

C L. Hélouët, Z. Miklos, R. Singh Cost and Quality in Crowdsourcing Workflows . In Petri Nets & ACSD , 2021. [PDF]

C S. Akshay, B. Genest, L. Hélouët, S. Krishna, S. Roychowdhury, Resilience of Timed Systems . In FSTTCS’21, 2021. [PDF]

2020
C L. Hélouët, Z. Miklos, R. Singh Data Centric Workflows for Complex Crowdsourcing Applications . In Petri Nets & ACSD , 2020. [PDF]

C L. Hélouët, H. Marchand, L. Ricker, G. Zinck Enforcing Opacity in Modular Systems . In IFAC World Congress, 2020. [PDF]

C S. Akshay, B. Genest, L. Hélouët, S. Mittal Timed Negotiations. In FOSSACS'20, 2020 [PDF].

C R. Singh, L. Hélouët, Z. Miklos Reducing the Cost of Aggregation in Crowdsourcing . In ICWS'20, 2020 [PDF].

2019
C L. Hélouët, N. Markey, R. Raha Reachability games with relaxed energy constraints . In GANDALF'19, 17-33. [PDF]

C N. Bertrand, B. Bordais, L. Hélouët, J. Parreaux, O. Sankur Performance Evaluation of Metro Regulations Using Probabilistic Model-checking . In RSSRAIL'19, 2019 [PDF].

2018
J L. Hélouët, K. Kecir Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics . In Science of Computer Programming, 157:71-102,2018. [PDF]

J E. Fabre, L. Hélouët, E. Lefaucheux, H. Marchand Diagnosability of Repairable Faults . In Journal of Discrete Events Systems,28(2): 183-213, 2018. [PDF]

J S. Akshay, L. Hélouët, R. Phawade, Combining Free Choice and Time in Petri Nets (Extended Version). In Journal of Logical and Algebraic Methods in Programming, 2018 (to appear). [PDF]

C B. Bérard, S.Haar, L. Hélouët, Hyper Partial Order Logic FSTTCS'18, 2018.. [PDF]

C L. Hélouët, H. Marchand, J.Mullins, Concurrent secrets with quantified suspicion ACSD'18, 2018. [PDF]

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

2017
J B. Bérard, L. Hélouët, J. Mullins Non-interference in Partial Order Models. In ACM Transactions on Embedded Computing Systems (TECS)- (Special issue for ACSD 2015), Volume 16 Issue 2, 44:1-44:34, , 2017. [PDF]

C L. Hélouët, H. Marchand On the cost of diagnosis with disambiguation . In QEST, 2017, p 140-156. [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.. [pdf-abstract]

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 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élouët, C.Morvan, Petri nets with semi-structured data. In Fundamenta Informaticae no 146, pp 35-85, 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 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 R. Abdallah, L. Hélouët, C. 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élouët, 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élouët, C.Morvan, Petri nets with semi-structured data. In Petri Nets'15, Bruxelles, June 2015. [PDF]

C E.Badouel, L. Hélouët, C.Morvan, A Grammatical Approach to Data-centric 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 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élouët, 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élouët, 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élouët, S. Yang, Regular set of representatives for time-constrained MSC graphs. Information Processing Letters, 2012. [PDF]
C S. Akshay, B. Genest, L. Hélouët, 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é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 11-26, 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 92-106, 2012. [PDF]
2011
C P. Darondeau, L. Hélouët, M. Mukund, Assembling Sessions . In ATVA, Lecture Notes in Computer Science, Volume 6996, Pages 259-274, 2011. [PDF]
C B. Masson, L. Hélouët, A. Benveniste, Compatibility of Data-Centric Web Services . In WS-FM, Lecture Notes in Computer Science, Volume 7176, Pages 32-47, 2011. [PDF]
2010
J V. Rehak, P. Slovak, J. Strejcek, L. Hélouët, Decidable Race Condition and Open Coregions in HMSC. In Electronic Communication of the European Association of Software Science and Technology, 29, 2010. [PDF]
C B. Bollig, L. Hélouët, Realizability of Dynamic MSC languages . In CSR, Lecture Notes in Computer Science, Volume 6072, Pages 48-59, 2010. [PDF]
C L. Hélouët, A. Benveniste, Document based modeling of Web Services Choreographies using Active XML . In ICWS, IEEE Computer Society, Pages 291-298, 2010. [PDF]
C L. Hélouët, A. Roumy, Covert channels using Information Theory . In 8th International Workshop on Security Issues in Concurrency (SecCo)2010. [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 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]