Axel Legay

	2012
84		Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans: State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375
83		Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58
82		Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis: Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach IWIGP 2012: 1-14
81		Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer: Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR 2012: 168-182
80		Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen: Checking and Distributing Statistical Model Checking. NASA Formal Methods 2012: 449-463
79		Cyrille Jégourel, Axel Legay, Sean Sedwards: A Platform for High Performance Statistical Model Checking - PLASMA. TACAS 2012: 498-503
78		Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Managing evolution in software product lines: a model-checking perspective. VaMoS 2012: 183-191
77		Cyrille Jégourel, Axel Legay, Sean Sedwards: Cross-entropy optimisation of importance sampling parameters for statistical model checking CoRR abs/1201.5229: (2012)
76		Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat: Tree Regular Model Checking for Lattice-Based Automata CoRR abs/1203.1495: (2012)
75		Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Consistency and refinement for Interval Markov Chains. J. Log. Algebr. Program. 81(3): 209-226 (2012)
74		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay: Statistical abstraction and model-checking of large heterogeneous systems. STTT 14(1): 53-72 (2012)
73		Axel Legay: Extrapolating (omega-)regular model checking. STTT 14(2): 119-143 (2012)
	2011
72		Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: New Results on Abstract Probabilistic Automata. ACSD 2011: 118-127
71		Sebastian S. Bauer, Philip Mayer, Axel Legay: MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA 2011: 418-421
70		Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang: Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355
69		James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens: Distributed Event Clock Automata - Extended Abstract. CIAA 2011: 250-263
68		Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski: Robust Specification of Real Time Components. FORMATS 2011: 129-144
67		Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang: Statistical Model Checking for Networks of Priced Timed Automata. FORMATS 2011: 80-96
66		Uli Fahrenberg, Axel Legay, Claus R. Thrane: The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS 2011: 103-114
65		Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay: Symbolic model checking of software product lines. ICSE 2011: 321-330
64		Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Decision Problems for Interval Markov Chains. LATA 2011: 274-285
63		Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129
62		Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Quantitative Refinement for Weighted Modal Transition Systems. MFCS 2011: 60-71
61		Uli Fahrenberg, Axel Legay, Andrzej Wasowski: Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500
60		Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods 2011: 453-458
59		Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay: Distributed Parametric and Statistical Model Checking PDMC 2011: 30-42
58		Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST 2011: 151-152
57		Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan: A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. Software Composition 2011: 116-132
56		Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: Abstract Probabilistic Automata. VMCAI 2011: 324-339
55		Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang: Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata CoRR abs/1106.3961: (2011)
54		Benoît Delahaye, Benoît Caillaud, Axel Legay: Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods in System Design 38(1): 1-32 (2011)
53		Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: A Modal Interface Theory for Component-based Design. Fundam. Inform. 108(1-2): 119-149 (2011)
52		Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011)
51		Laura Bozzelli, Axel Legay, Sophie Pinchinat: Hardness of preorder checking for basic formalisms. Theor. Comput. Sci. 412(49): 6795-6808 (2011)
	2010
50		Axel Legay, Benoît Caillaud: Proceedings Foundations for Interface Technologies FIT 2010
49		Benoît Delahaye, Benoît Caillaud, Axel Legay: Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD 2010: 223-232
48		Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic: Robustness of Sequential Circuits. ACSD 2010: 77-84
47		Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA 2010: 365-370
46		Axel Legay, Andrzej Wasowski: A Few Considerations on Structural and Logical Composition in Specification Theories FIT 2010: 49-54
45		Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental component-based construction and verification using invariants. FMCAD 2010: 257-256
44		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay: Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE 2010: 32-46
43		James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens: Memory Event Clocks. FORMATS 2010: 198-212
42		Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100
41		Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin: Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) 2010: 335-344
40		Laura Bozzelli, Axel Legay, Sophie Pinchinat: Hardness of Preorder Checking for Basic Formalisms. LPAR (Dakar) 2010: 119-135
39		Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Compositional Design Methodology with Constraint Markov Chains. QEST 2010: 123-132
38		Axel Legay, Benoît Delahaye, Saddek Bensalem: Statistical Model Checking: An Overview. RV 2010: 122-135
37		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis: Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV 2010: 330-344
36		Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental Invariant Generation for Compositional Design. TASE 2010: 157-167
35		Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan: Complexity Bounds for the Verification of Real-Time Software. VMCAI 2010: 95-111
34		Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski: New Results on Timed Specifications. WADT 2010: 175-192
33		Axel Legay, Pierre Wolper: On (Omega-)regular model checking. ACM Trans. Comput. Log. 12(1): 2 (2010)
32		Axel Legay, Benoît Delahaye: Statistical Model Checking : An Overview CoRR abs/1005.1327: (2010)
31		Edmund M. Clarke, Alexandre Donzé, Axel Legay: On simulation-based probabilistic model checking of mixed-analog circuits. Formal Methods in System Design 36(2): 97-113 (2010)
	2009
30		Axel Legay: Proceedings International Workshop on Verification of Infinite-State Systems INFINITY 2009
29		Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani: A Bayesian Approach to Model Checking Biological Systems. CMSB 2009: 218-234
28		Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96
27		Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO 2009: 290-310
26		Laura Bozzelli, Axel Legay, Sophie Pinchinat: On Timed Alternating Simulation for Concurrent Timed Games. FSTTCS 2009: 85-96
25		Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: A Compositional Approach on Modal Specifications for Timed Systems. ICFEM 2009: 679-697
24		Axel Legay, Mahesh Viswanathan: Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. QEST 2009: 3
23		Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead: Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. RECOMB 2009: 155-169
22		Ahmed Bouajjani, Axel Legay, Pierre Wolper: A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking CoRR abs/0901.4080: (2009)
21		Axel Legay, Marco Faella: Some Models and Tools for Open Systems CoRR abs/0911.3299: (2009)
20		François Cantin, Axel Legay, Pierre Wolper: Computing Convex Hulls by Automata Iteration. Int. J. Found. Comput. Sci. 20(4): 647-667 (2009)
19		Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems Logical Methods in Computer Science 5(2): (2009)
	2008
18		Axel Legay: T(O)RMC: A Tool for (omega)-Regular Model Checking. CAV 2008: 548-551
17		François Cantin, Axel Legay, Pierre Wolper: Computing Convex Hulls by Automata Iteration. CIAA 2008: 112-121
16		Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay: Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. CMSB 2008: 231-250
15		Edmund M. Clarke, Alexandre Donzé, Axel Legay: Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. Haifa Verification Conference 2008: 149-163
14		Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre: µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348
13		Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell: On Automated Verification of Probabilistic Programs. TACAS 2008: 173-187
12		Axel Legay, Pierre Wolper: On (Omega-)Regular Model Checking CoRR abs/0809.2214: (2008)
11		Marco Faella, Axel Legay, Mariëlle Stoelinga: Model Checking Quantitative Linear Time Logic. Electr. Notes Theor. Comput. Sci. 220(3): 61-77 (2008)
	2007
10		Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248
	2006
9		B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy: Ticc: A Tool for Interface Compatibility and Composition. CAV 2006: 59-62
8		Axel Legay, Luca de Alfaro, Marco Faella: An Introduction to the Tool Ticc. Trustworthy Software 2006
7		Axel Legay, Pierre Wolper: On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. Electr. Notes Theor. Comput. Sci. 150(1): 3-8 (2006)
6		Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine: Tree regular model checking: A simulation-based approach. J. Log. Algebr. Program. 69(1-2): 93-121 (2006)
	2005
5		Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea: Sociable Interfaces. FroCos 2005: 81-105
4		Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine: Simulation-Based Iteration of Tree Transducers. TACAS 2005: 30-44
3		Ahmed Bouajjani, Axel Legay, Pierre Wolper: Handling Liveness Properties in (omega-)Regular Model Checking. Electr. Notes Theor. Comput. Sci. 138(3): 101-115 (2005)
	2004
2		Bernard Boigelot, Axel Legay, Pierre Wolper: Omega-Regular Model Checking. TACAS 2004: 561-575
	2003
1		Bernard Boigelot, Axel Legay, Pierre Wolper: Iterating Transducers in the Large (Extended Abstract). CAV 2003: 223-235

Coauthor Index

1	Parosh Aziz Abdulla	[4] [6]
2	B. Thomas Adler	[9]
3	Luca de Alfaro	[5] [8] [9] [10] [19]
4	Benjamin Aminof	[14]
5	Eric Badouel	[28] [53]
6	Ananda Basu	[37] [44] [74]
7	Sebastian S. Bauer	[62] [71] [83]
8	Saddek Bensalem	[36] [37] [38] [44] [45] [57] [60] [63] [74]
9	Albert Benveniste	[28] [53]
10	Nathalie Bertrand	[25]
11	Bernard Boigelot	[1] [2]
12	Ahmed Bouajjani	[3] [22]
13	Timothy Bourke	[34]
14	Marius Bozga	[37] [44] [45] [74] [84]
15	Laura Bozzelli	[26] [40] [51]
16	Peter E. Bulychev	[59] [80] [81] [82]
17	Benoît Caillaud	[28] [39] [44] [49] [50] [52] [53] [54]
18	François Cantin	[17] [20]
19	Rohit Chadha	[35]
20	Krishnendu Chatterjee	[10] [19]
21	Edmund M. Clarke	[15] [16] [29] [31]
22	Andreas Classen	[41] [65] [78]
23	Gilles Clermont	[23]
24	Maxime Cordy	[78]
25	Alexandre David	[27] [34] [42] [47] [55] [59] [67] [70] [80] [81] [82] [83] [84]
26	Benoît Delahaye	[32] [37] [38] [39] [44] [49] [52] [54] [56] [58] [64] [72] [74] [75]
27	Alexandre Donzé	[15] [23] [31]
28	Laurent Doyen	[48]
29	James R. Faeder	[16]
30	Marco Faella	[5] [8] [9] [10] [11] [19] [21]
31	Ulrich Fahrenberg (Uli Fahrenberg)	[61] [62] [66]
32	Tristan Le Gall	[76]
33	Thomas Genet	[76]
34	Andreas Griesmayer	[57] [60] [63]
35	Leonard A. Harris	[16]
36	Arnd Hartmanns	[84]
37	Rolf Hennicker	[83]
38	Thomas A. Henzinger	[48]
39	Holger Hermanns	[84]
40	Patrick Heymans	[41] [65] [78]
41	Félix Ingrand (François Felix Ingrand)	[57]
42	Cyrille Jégourel	[77] [79]
43	Sumit Kumar Jha	[16] [29]
44	Line Juhl	[62]
45	Joost-Pieter Katoen	[56] [72]
46	Christopher James Langmead	[16] [23] [29]
47	Kim Guldstrand Larsen (Kim G. Larsen)	[27] [34] [39] [42] [47] [52] [55] [56] [58] [59] [62] [64] [67] [68] [70] [72] [75] [80] [81] [82] [83] [84]
48	Guangyuan Li	[81]
49	Didier Lime	[34]
50	Philip Mayer	[71]
51	Marius Mikucionis	[55] [59] [67] [70] [80] [82]
52	Aniello Murano	[14]
53	Valérie Murat	[76]
54	Andrzej S. Murawski	[13]
55	Thanh-Hung Nguyen	[36] [45] [60] [63]
56	Dejan Nickovic	[48]
57	Ulrik Nyman (Ulrik Larsen)	[27] [34] [42] [47] [83]
58	James Jerson Ortiz	[43] [69]
59	Joël Ouaknine	[13]
60	Roberto Passerone	[28] [53]
61	Mikkel L. Pedersen	[39] [52] [56] [58] [64] [72] [75]
62	Doron Peled	[63]
63	Sophie Pinchinat	[25] [26] [40] [51]
64	André Platzer	[29]
65	Danny Bøgsted Poulsen	[55] [67] [80] [81]
66	Pavithra Prabhakar	[35]
67	Jean-Baptiste Raclet	[25] [28] [53]
68	Vishwanath Raman	[9]
69	Jean-François Raskin	[41]
70	Ahmed Rezine	[4] [6]
71	Pritam Roy	[5] [9]
72	Pierre-Yves Schobbens	[41] [43] [65] [69] [78]
73	Sean Sedwards	[77] [79]
74	Olivier Serre	[14]
75	Falak Sher	[56] [72]
76	Emmanuel Sifakis	[37]
77	Joseph Sifakis	[36] [45] [60]
78	Lavindra de Silva	[57]
79	Leandro Dias da Silva	[5] [9]
80	Maria Sorea	[5]
81	Amélie Stainer	[81]
82	Mariëlle Stoelinga	[11]
83	Claus R. Thrane	[62] [66]
84	Louis-Marie Traonouez	[68]
85	Jan Tretmans	[84]
86	Mahesh Viswanathan	[24] [35]
87	Jonas van Vliet	[55] [67]
88	Zheng Wang	[55] [67] [70]
89	Andrzej Wasowski	[27] [34] [39] [42] [46] [47] [52] [56] [58] [61] [64] [68] [72] [75] [83]
90	Pierre Wolper	[1] [2] [3] [7] [12] [17] [20] [22] [33]
91	James Worrell	[13]
92	Rongjie Yan	[36] [45] [57] [60]
93	Paolo Zuliani	[29]
94	Julien d'Orso	[4] [6]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page