Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Axel Legay
2010 – today
- 2013
[j25]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted modal transition systems. Formal Methods in System Design 42(2): 193-220 (2013)- [j24]Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi: Pushdown module checking with imperfect information. Inf. Comput. 223: 1-17 (2013)
- [j23]Saddek Bensalem, Axel Legay, Marius Bozga: Rigorous embedded design: challenges and perspectives. STTT 15(3): 149-154 (2013)
- [j22]Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin: Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39(8): 1069-1089 (2013)
- [c97]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas: Kleene Algebras and Semimodules for Energy Problems. ATVA 2013: 102-117
- [c96]Axel Legay, Louis-Marie Traonouez: PyEcdar: Towards Open Source Implementation for Timed Systems. ATVA 2013: 460-463
- [c95]Cyrille Jégourel, Axel Legay, Sean Sedwards: Importance Splitting for Statistical Model Checking Rare Properties. CAV 2013: 576-591
- [c94]Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski: QUAIL: A Quantitative Security Analyzer for Imperative Code. CAV 2013: 702-707
- [c93]Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay: Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR 2013: 76-90
- [c92]Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes: A Timed Component Algebra for Services. FMOODS/FORTE 2013: 242-257
- [c91]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE 2013: 472-481
- [c90]Patrick Heymans, Axel Legay, Maxime Cordy: Efficient quality assurance of variability-intensive systems. ICSE 2013: 1496-1498
- [c89]Uli Fahrenberg, Kim G. Larsen, Axel Legay: Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC Training School on Software Engineering 2013: 67-108
- [c88]Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski: Maximizing Entropy over Markov Processes. LATA 2013: 128-140
- [c87]Benoît Delahaye, Kim G. Larsen, Axel Legay: Stuttering for Abstract Probabilistic Automata. LFCS 2013: 149-163
- [c86]Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis: Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods 2013: 352-367
- [c85]Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay: Refinement and Difference for Probabilistic Automata. QEST 2013: 22-38
- [c84]Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards: PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. QEST 2013: 160-164
- [c83]Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay: ProVeLines: a product line of verifiers for software product lines. SPLC Workshops 2013: 141-146
- [c82]Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski: Quantifying Information Leakage of Randomized Protocols. VMCAI 2013: 68-87
- [c81]Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat: A Completion Algorithm for Lattice Tree Automata. CIAA 2013: 134-145
- [e4]Axel Legay, Saddek Bensalem (Eds.): Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings. Lecture Notes in Computer Science 8174, Springer 2013, ISBN 978-3-642-40786-4
- [i14]Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay: Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR abs/1306.0741 (2013)
- [i13]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas: Kleene Algebras and Semimodules for Energy Problems. CoRR abs/1307.0635 (2013)
- [i12]Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay: Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR abs/1308.2122 (2013)
- [i11]Paulo Borba, Myra B. Cohen, Axel Legay, Andrzej Wasowski: Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). Dagstuhl Reports 3(2): 144-170 (2013)
- 2012
- [j21]Laura Bozzelli, Axel Legay, Sophie Pinchinat: On timed alternating simulation for concurrent timed games. Acta Inf. 49(4): 249-279 (2012)
- [j20]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)
- [j19]Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba: Extending modal transition systems with structured labels. Mathematical Structures in Computer Science 22(4): 581-617 (2012)
- [j18]Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: New results for Constraint Markov Chains. Perform. Eval. 69(7-8): 379-401 (2012)
- [j17]Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: Modal event-clock specifications for timed component-based design. Sci. Comput. Program. 77(12): 1212-1234 (2012)
- [j16]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)
- [j15]
- [j14]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens: Model checking software product lines with SNIP. STTT 14(5): 589-612 (2012)
- [j13]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski: Compositional verification of real-time systems using Ecdar. STTT 14(6): 703-720 (2012)
- [c80]Cyrille Jégourel, Axel Legay, Sean Sedwards: Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. CAV 2012: 327-342
- [c79]Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane: General Quantitative Specification Theories with Modalities. CSR 2012: 18-30
- [c78]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
- [c77]Sebastian S. Bauer, Rolf Hennicker, Axel Legay: Component Interfaces with Contracts on Ports. FACS 2012: 19-35
- [c76]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
- [c75]Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic: Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE 2012: 203-218
- [c74]Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha: TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE 2012: 219-234
- [c73]Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay: Equational Abstraction Refinement for Certified Tree Regular Model Checking. ICFEM 2012: 299-315
- [c72]Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Simulation-based abstractions for software product-line model checking. ICSE 2012: 672-682
- [c71]Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry: A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) 2012: 208-222
- [c70]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis: Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) 2012: 293-307
- [c69]Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri: Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) 2012: 327-341
- [c68]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards: Runtime Verification of Biological Systems. ISoLA (1) 2012: 388-404
- [c67]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
- [c66]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
- [c65]Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen: Rewrite-Based Statistical Model Checking of WMTL. RV 2012: 260-275
- [c64]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75
- [c63]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Towards an incremental automata-based approach for software product-line model checking. SPLC (2) 2012: 74-81
- [c62]Cyrille Jégourel, Axel Legay, Sean Sedwards: A Platform for High Performance Statistical Model Checking - PLASMA. TACAS 2012: 498-503
- [c61]Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay: A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE 2012: 77-84
- [c60]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
- [c59]
- [c58]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
- [c57]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang: UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. QAPL 2012: 1-16
- [c56]Uli Fahrenberg, Axel Legay: A Robust Specification Theory for Modal Event-Clock Automata. FIT 2012: 5-16
- [c55]Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards: Statistical Model Checking for Stochastic Hybrid Systems. HSB 2012: 122-136
- [e3]Uli Fahrenberg, Axel Legay, Claus R. Thrane (Eds.): Proceedings Quantities in Formal Methods. EPTCS 103, 2012
- [i10]Cyrille Jégourel, Axel Legay, Sean Sedwards: Cross-entropy optimisation of importance sampling parameters for statistical model checking. CoRR abs/1201.5229 (2012)
- [i9]Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat: Tree Regular Model Checking for Lattice-Based Automata. CoRR abs/1203.1495 (2012)
- [i8]Uli Fahrenberg, Axel Legay: History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. CoRR abs/1209.4927 (2012)
- [i7]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted Modal Transition Systems. CoRR abs/1210.5659 (2012)
- [i6]Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay: Refinement and Difference for Probabilistic Automata. CoRR abs/1212.4288 (2012)
- 2011
- [j12]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)
- [j11]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)
- [j10]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)
- [j9]Laura Bozzelli, Axel Legay, Sophie Pinchinat: Hardness of preorder checking for basic formalisms. Theor. Comput. Sci. 412(49): 6795-6808 (2011)
- [c54]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
- [c53]Sebastian S. Bauer, Philip Mayer, Axel Legay: MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA 2011: 418-421
- [c52]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang: Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355
- [c51]Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: A Modal Specification Theory for Components with Data. FACS 2011: 61-78
- [c50]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
- [c49]Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski: Robust Specification of Real Time Components. FORMATS 2011: 129-144
- [c48]Uli Fahrenberg, Axel Legay, Claus R. Thrane: The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS 2011: 103-114
- [c47]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay: Symbolic model checking of software product lines. ICSE 2011: 321-330
- [c46]Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Decision Problems for Interval Markov Chains. LATA 2011: 274-285
- [c45]Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129
- [c44]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
- [c43]Uli Fahrenberg, Axel Legay, Andrzej Wasowski: Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500
- [c42]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
- [c41]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
- [c40]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
- [c39]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
- [c38]James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens: Distributed Event Clock Automata - Extended Abstract. CIAA 2011: 250-263
- [c37]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay: Distributed Parametric and Statistical Model Checking. PDMC 2011: 30-42
- [i5]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)
- 2010
- [j8]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)
- [j7]Axel Legay, Pierre Wolper: On (Omega-)regular model checking. ACM Trans. Comput. Log. 12(1): 2 (2010)
- [c36]Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic: Robustness of Sequential Circuits. ACSD 2010: 77-84
- [c35]Benoît Delahaye, Benoît Caillaud, Axel Legay: Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD 2010: 223-232
- [c34]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
- [c33]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
- [c32]
- [c31]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
- [c30]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
- [c29]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
- [c28]Laura Bozzelli, Axel Legay, Sophie Pinchinat: Hardness of Preorder Checking for Basic Formalisms. LPAR (Dakar) 2010: 119-135
- [c27]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
- [c26]Axel Legay, Benoît Delahaye, Saddek Bensalem: Statistical Model Checking: An Overview. RV 2010: 122-135
- [c25]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
- [c24]Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental Invariant Generation for Compositional Design. TASE 2010: 157-167
- [c23]Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan: Complexity Bounds for the Verification of Real-Time Software. VMCAI 2010: 95-111
- [c22]Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski: New Results on Timed Specifications. WADT 2010: 175-192
- [c21]Axel Legay, Andrzej Wasowski: A Few Considerations on Structural and Logical Composition in Specification Theories. FIT 2010: 49-54
- [e2]Axel Legay, Benoît Caillaud (Eds.): Proceedings Foundations for Interface Technologies. EPTCS 46, 2010
- [i4]
2000 – 2009
- 2009
- [j6]Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. Logical Methods in Computer Science 5(2) (2009)
- [j5]François Cantin, Axel Legay, Pierre Wolper: Computing Convex Hulls by Automata Iteration. Int. J. Found. Comput. Sci. 20(4): 647-667 (2009)
- [c20]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
- [c19]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
- [c18]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
- [c17]Laura Bozzelli, Axel Legay, Sophie Pinchinat: On Timed Alternating Simulation for Concurrent Timed Games. FSTTCS 2009: 85-96
- [c16]Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: A Compositional Approach on Modal Specifications for Timed Systems. ICFEM 2009: 679-697
- [c15]Axel Legay, Mahesh Viswanathan: Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. QEST 2009: 3
- [c14]Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead: Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. RECOMB 2009: 155-169
- [e1]
- [i3]Ahmed Bouajjani, Axel Legay, Pierre Wolper: A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking. CoRR abs/0901.4080 (2009)
- [i2]
- 2008
- [j4]Marco Faella, Axel Legay, Mariëlle Stoelinga: Model Checking Quantitative Linear Time Logic. Electr. Notes Theor. Comput. Sci. 220(3): 61-77 (2008)
- [c13]
- [c12]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
- [c11]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
- [c10]Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre: µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348
- [c9]Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell: On Automated Verification of Probabilistic Programs. TACAS 2008: 173-187
- [c8]François Cantin, Axel Legay, Pierre Wolper: Computing Convex Hulls by Automata Iteration. CIAA 2008: 112-121
- [i1]
- 2007
- [c7]Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248
- 2006
- [j3]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)
- [j2]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)
- [c6]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
- [c5]Axel Legay, Luca de Alfaro, Marco Faella: An Introduction to the Tool Ticc. Trustworthy Software 2006
- 2005
- [j1]Ahmed Bouajjani, Axel Legay, Pierre Wolper: Handling Liveness Properties in (omega-)Regular Model Checking. Electr. Notes Theor. Comput. Sci. 138(3): 101-115 (2005)
- [c4]Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea: Sociable Interfaces. FroCoS 2005: 81-105
- [c3]Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine: Simulation-Based Iteration of Tree Transducers. TACAS 2005: 30-44
- 2004
- [c2]
- 2003
- [c1]Bernard Boigelot, Axel Legay, Pierre Wolper: Iterating Transducers in the Large (Extended Abstract). CAV 2003: 223-235
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:22 CEST by the dblp team