Parametric Analyses of Concurrent Systems




[ADL17] Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix: Moving from Event-B to Probabilistic Event-B. SAC-SVT 2017.
[AD16] Étienne André and Benoît Delahaye: Consistency in Parametric Interval Probabilistic Timed Automata. In TIME 2016, to appear.
[ADRS16] P. Abulla, G. Delzanno, O. Rezine, A. Sangnier, R. Traverso: Parameterized verification of time-sensitive models of ad hoc network protocols. Theoretical Computer Science 612, pages 1--22. Elsevier Science Publishers, 2016. [PDF]
[AKPP16] Étienne André, Michał Knapik, Wojciech Penczek and Laure Petrucci: Controlling Actions and Time in Parametric Timed Automata. Proceedings of the 16th International Conference on Application of Concurrency to System Design (ACSD), IEEE, to appear. [PDF]
[ALR16a] Étienne André, Didier Lime and Olivier H. Roux: Decision Problems for Parametric Timed Automata. In Kazuhiro Ogata and Mark Lawford (eds.), ICFEM’16, Springer LNCS, November 2016. To appear.
[ALR16b] Étienne André, Didier Lime and Olivier H. Roux: On the Expressiveness of Parametric Timed Automata. In Martin Fränzle and Nicolas Markey (eds.), FORMATS’16, LNCS 9884, Springer, pages 19–34, August 2016. [PDF]
[And16] Étienne André: Parametric Deadlock-Freeness Checking Timed Automata. ICTAC 2016, to appear.
[BHJL16] Béatrice Bérard, Serge Haddad, Aleksandra Jovanović and Didier Lime: Interrupt Timed Automata with Auxiliary Clocks and Parameters. Fundamenta Informaticae, IOS Press, volume 143:3–4, pages 235–239. [PDF]
[BMRSS16] P. Bouyer, N. Markey, M. Randour, A. Sangnier, D. Stan: Reachability in Networks of Register Protocols under Stochastic Schedulers. In ICALP’16, LIPIcs 55, pages 106:1-106:14 Leibniz-Zentrum für Informatik, 2016. . [PDF]
[DH16] Durand-Gasselin, Habermehl: Regular Transformations of Data Words Through Origin Information. FOSSACS. [PDF]
[DLP16] Benoît Delahaye, Didier Lime and Laure Petrucci: Parameter Synthesis for Parametric Interval Markov Chains. Proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), LNCS volume 9583, pages 372–390. [PDF]
[DSJ16] Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba: Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (SynCoP 2016). Volume 220 of EPTCS, CoRR abs/1608.00177 (2016). [PDF]
[DST16] G. Delzanno, A. Sangnier, R. Traverso: Adding Data Registers to Parameterized Networks with Broadcast. Fundamenta Informaticae 143(3-4), pages 287-316.2016. [PDF]
[PP16] Laure Petrucci and Jaco van de Pol: Parametric Interval Markov Chains: Synthesis Revisited. Proc. of the 21st International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016). [PDF]
[ACN15] Étienne André, Camille Coti and Nguyễn Hoàng Gia: Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. ICFEM’15, Springer LNCS 9407, pages 319–335. [PDF]
[ACR15] Étienne André, Thomas Chatain and César Rodríguez: Preserving Partial Order Runs in Parametric Time Petri Nets. ACSD’15, IEEE, pages 120–129. [PDF]
[AG15] Étienne André and Goran Frehse: Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015). Volume 44 of OASIcs, Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH. [PDF]
[ALNS15] Étienne André, Giuseppe Lipari, Nguyễn Hoàng Gia and Sun Youcheng: Reachability Preservation Based Parameter Synthesis for Timed Automata. NFM’15, LNCS 9058, Springer, pages 50–65. [PDF]
[ALR15] Étienne André, Didier Lime and Olivier H. Roux: Integer-Complete Synthesis for Bounded Parametric Timed Automata. RP’15, LNCS 9328, Springer, pages 7–19. [PDF]
[AM15] Étienne André and Nicolas Markey: Language Preservation Problems in Parametric Timed Automata. FORMATS’15, Springer LNCS 9268, pages 27–43. [PDF]
[And16] Étienne André: What’s decidable about parametric timed automata?. FTSCS’15, Springer CCIS 596, pages 1–17. [PDF]
[AP15] Étienne André and Laure Petrucci: Unifying Patterns for Modelling Timed Relationships in Systems and Properties. PNSE’15, CEUR-WS volume 1372, pages 25–40. [PDF]
[BFS15] N. Bertrand, P. Fournier, A. Sangnier: Distributed Local Strategies in Broadcast Networks. In CONCUR’15, LIPIcs 42, pages 44-57. Leibniz-Zentrum für Informatik, 2015. . [PDF]
[DJLR15] Nicolas David, Claude Jard, Didier Lime and Olivier H. Roux: Discrete Parameters in Petri Nets. In proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2015), Springer LNCS volume 9115, pages 137–156. [PDF]
[Del15] Benoît Delahaye: Consistency for Parametric Interval Markov Chains. In the proceedings of the 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015), volume 44 of OASIcs, pages 17–32. [PDF]
[JLR15] Aleksandra Jovanović, Didier Lime and Olivier H. Roux: Integer Parameter Synthesis for Real-Time Systems. IEEE Transactions on Software Engineering (TSE), IEEE Computer Society Press, volume 41:5, pages 445–461. [PDF]
[SAL15] Sun Youcheng, Étienne André and Giuseppe Lipari: Verification of Two Real-Time Systems Using Parametric Timed Automata. In the informal proceedings of WATERS’15. [PDF]
[ST15] Song, Touili: Model checking dynamic pushdown networks. FAC, 2015. [PDF]
[ALSD14] Étienne André, Liu Yang, Sun Jun and Dong Jin Song: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Real-Time Systems Journal 50(5–6), pages 620–679. [PDF]