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: Legay:Axel
Facilitated 2 volumes:
Contributed to:
Wrote 39 papers:
- DLT-2015-EsikFL #algebra
- *-Continuous Kleene ω-Algebras (ZÉ, 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.