BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Canada
1 × China
1 × Germany
1 × Hungary
1 × Italy
1 × New Zealand
1 × Russia
1 × South Africa
1 × Switzerland
10 × USA
2 × France
2 × United Kingdom
3 × Estonia
4 × Spain
Collaborated with:
A.Wasowski P.Schobbens P.Heymans M.Cordy P.Wolper C.Jégourel S.Sedwards U.Fahrenberg F.Biondi K.G.Larsen F.Cantin B.Boigelot A.David A.Claßen M.Faella L.Traonouez M.Mikucionis Z.Wang B.Delahaye M.L.Pedersen Z.Ésik G.Perrouin J.J.Ortiz M.Stoelinga A.S.Dimovski V.C.Ngo V.Joloboff K.G.Larsen M.H.t.Beek A.Lluch-Lafuente A.Vandin M.Acher T.Genet T.L.Gall V.Murat B.F.Nielsen P.Malacaria R.Chadha P.Prabhakar M.Viswanathan A.S.Murawski J.Ouaknine J.Worrell P.A.Abdulla J.d'Orso A.Rezine J.Raskin B.Dawagne M.Leucker X.Devroey M.Papadakis E.Cavalcante Jean Quilbeuf F.Oquendo T.Batista M.Bozga A.Hartmanns H.Hermanns J.Tretmans S.S.Bauer R.Hennicker U.Nyman P.E.Bulychev D.B.Poulsen J.Katoen F.Sher B.T.Adler L.d.Alfaro L.D.d.Silva V.Raman P.Roy
Talks about:
model (19) check (14) statist (7) softwar (7) product (7) line (7) automata (6) time (6) abstract (5) system (5)

♂ Person: Axel Legay

DBLP DBLP: Legay:Axel

Facilitated 2 volumes:

ASE 2014ExpertReviewPa
ASE 2014PrBoard

Contributed to:

DLT 20152015
SPLC 20152015
FASE 20142014
FSE 20142014
CAV 20132013
CIAA 20132013
ICSE 20132013
LATA 20132013
VMCAI 20132013
CAV 20122012
DATE 20122012
FASE 20122012
ICSE 20122012
QAPL 20122012
SPLC 20122012
TACAS 20122012
CAV 20112011
CIAA 20112011
ICSE 20112011
LATA 20112011
MoDELS 20112011
VMCAI 20112011
ICSE 20102010
VMCAI 20102010
CAV 20082008
CIAA 20082008
CIAA 20082009
QAPL 20082008
TACAS 20082008
CAV 20062006
TACAS 20052005
TACAS 20042004
CAV 20032003
FASE 20192019
CAV (1) 20162016
ECSA 20162016

Wrote 39 papers:

DLT-2015-EsikFL #algebra
*-Continuous Kleene ω-Algebras (, UF, AL), pp. 240–251.
SPLC-2015-BeekLLV #analysis #constraints #modelling #probability #product line #statistics
Statistical analysis of probabilistic models of software product lines with quantitative constraints (MHtB, AL, ALL, AV), pp. 11–15.
FASE-2014-FahrenbergALW #diagrams #difference
Sound Merging and Differencing for Class Diagrams (UF, MA, AL, AW), pp. 63–78.
FSE-2014-CordyHLSDL #abstraction #behaviour #modelling #product line #refinement
Counterexample guided abstraction refinement of product-line behavioural models (MC, PH, AL, PYS, BD, ML), pp. 190–201.
FSE-2014-DevroeyPCPLS #analysis #mutation testing #variability
A variability perspective of mutation analysis (XD, GP, MC, MP, AL, PYS), pp. 841–844.
CAV-2013-BiondiLTW #imperative #named #security
QUAIL: A Quantitative Security Analyzer for Imperative Code (FB, AL, LMT, AW), pp. 702–707.
CAV-2013-JegourelLS #model checking #statistics
Importance Splitting for Statistical Model Checking Rare Properties (CJ, AL, SS), pp. 576–591.
CIAA-2013-GenetGLM #algorithm #automaton
A Completion Algorithm for Lattice Tree Automata (TG, TLG, AL, VM), pp. 134–145.
ICSE-2013-CordySHL #model checking #multi #product line
Beyond boolean product-line model checking: dealing with feature attributes and multi-features (MC, PYS, PH, AL), pp. 472–481.
ICSE-2013-HeymansLC #assurance #performance #quality #variability
Efficient quality assurance of variability-intensive systems (PH, AL, MC), pp. 1496–1498.
LATA-2013-BiondiLNW #markov #process
Maximizing Entropy over Markov Processes (FB, AL, BFN, AW), pp. 128–140.
VMCAI-2013-BiondiLMW #information management #protocol #random
Quantifying Information Leakage of Randomized Protocols (FB, AL, PM, AW), pp. 68–87.
CAV-2012-JegourelLS #model checking #optimisation #parametricity #statistics
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking (CJ, AL, SS), pp. 327–342.
DATE-2012-BozgaDHHLLT #analysis #embedded #modelling #state of the art #tool support
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems (MB, AD, AH, HH, KGL, AL, JT), pp. 370–375.
FASE-2012-BauerDHLLNW #component #contract #design #specification
Moving from Specifications to Contracts in Component-Based Design (SSB, AD, RH, KGL, AL, UN, AW), pp. 43–58.
ICSE-2012-CordyCPSHL #abstraction #model checking #product line
Simulation-based abstractions for software product-line model checking (MC, AC, GP, PYS, PH, AL), pp. 672–682.
QAPL-2012-BulychevDLMPLW #automaton #model checking #named #statistics
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata (PEB, AD, KGL, MM, DBP, AL, ZW), pp. 1–16.
SPLC-2012-CordySHL #behaviour #modelling #product line #realtime #verification
Behavioural modelling and verification of real-time software product lines (MC, PYS, PH, AL), pp. 66–75.
TACAS-2012-JegourelLS #framework #model checking #performance #platform #statistics
A Platform for High Performance Statistical Model Checking — PLASMA (CJ, AL, SS), pp. 498–503.
CAV-2011-DavidLLMW #model checking #realtime #statistics
Time for Statistical Model Checking of Real-Time Systems (AD, KGL, AL, MM, ZW), pp. 349–355.
CIAA-2011-OrtizLS #automaton #distributed
Distributed Event Clock Automata — Extended Abstract (JJO, AL, PYS), pp. 250–263.
ICSE-2011-ClassenHSL #model checking #product line
Symbolic model checking of software product lines (AC, PH, PYS, AL), pp. 321–330.
LATA-2011-DelahayeLLPW #markov #problem
Decision Problems for Interval Markov Chains (BD, KGL, AL, MLP, AW), pp. 274–285.
MoDELS-2011-FahrenbergLW #difference #exclamation #semantics
Vision Paper: Make a Difference! (Semantically) (UF, AL, AW), pp. 490–500.
VMCAI-2011-DelahayeKLLPSW #automaton #probability
Abstract Probabilistic Automata (BD, JPK, KGL, AL, MLP, FS, AW), pp. 324–339.
ICSE-2010-ClassenHSLR #model checking #performance #product line #verification
Model checking lots of systems: efficient verification of temporal properties in software product lines (AC, PH, PYS, AL, JFR), pp. 335–344.
VMCAI-2010-ChadhaLPV #bound #complexity #realtime #verification
Complexity Bounds for the Verification of Real-Time Software (RC, AL, PP, MV), pp. 95–111.
CAV-2008-Legay #model checking
T(O)RMC: A Tool for (ω)-Regular Model Checking (AL), pp. 548–551.
CIAA-2008-CantinLW #automaton
Computing Convex Hulls by Automata Iteration (FC, AL, PW), pp. 112–121.
CIAA-J-2008-CantinLW09 #automaton
Computing Convex Hulls by Automata Iteration (FC, AL, PW), pp. 647–667.
QAPL-2008-FaellaLS #linear #logic #model checking
Model Checking Quantitative Linear Time Logic (MF, AL, MS), pp. 61–77.
TACAS-2008-LegayMOW #automation #on the #probability #source code #verification
On Automated Verification of Probabilistic Programs (AL, ASM, JO, JW), pp. 173–187.
CAV-2006-AdlerASFLRR #composition #interface #named
Ticc: A Tool for Interface Compatibility and Composition (BTA, LdA, LDdS, MF, AL, VR, PR), pp. 59–62.
TACAS-2005-AbdullaLdR #transducer
Simulation-Based Iteration of Tree Transducers (PAA, AL, Jd, AR), pp. 30–44.
TACAS-2004-BoigelotLW #model checking
ω-Regular Model Checking (BB, AL, PW), pp. 561–575.
CAV-2003-BoigelotLW #in the large #transducer
Iterating Transducers in the Large (BB, AL, PW), pp. 223–235.
FASE-2019-DimovskiLW #abstraction #game studies #model checking #refinement #variability
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL (ASD, AL, AW), pp. 192–209.
CAV-2016-NgoLJ #modelling #named #probability #runtime #verification
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models (VCN, AL, VJ), pp. 84–91.
ECSA-2016-CavalcanteQTOBL #architecture #model checking #statistics
Statistical Model Checking of Dynamic Software Architectures (EC, JQ, LMT, FO, TB, AL), pp. 185–200.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.