Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(94)
Benoit Delahaye (Benoît Delahaye)
13
Pierre Wolper
11
Andrzej Wasowski
9
Kim Guldstrand Larsen
9
Saddek Bensalem
9
Conferences
(26)
QEST
5
CAV
4
ICSE
3
ACSD
3
TACAS
3
Journals
(14)
CORR
5
ENTCS
3
Electronic Proceedings in Theoretical Computer Science
3
STTT
2
FMSD
2
Keywords
(217)
Embed
Subscribe
Academic
Authors
Axel Legay
Axel Legay,Université de Liège,Software Engineering,Algorithms & Theory,Scientific Computing
Edit
Axel Legay
Université de Liège
Publications:
87
|
Citations:
381
Fields:
Software Engineering
,
Algorithms & Theory
,
Scientific Computing
View FAQ about top research areas and Fields of study
Collaborated with
94 co-authors
from 2003 to 2012
|
Cited by
404 authors
Cumulative
Annual
Sort by:
Publications
(87)
BibTeX
|
RIS
|
RefWorks
Download
Simulation-based abstractions for software product-line model checking
Maxime Cordy
,
Andreas Classen
,
Gilles Perrouin
,
Pierre-Yves Schobbens
,
Patrick Heymans
,
Axel Legay
Conference:
International Conference on Software Engineering - ICSE
, pp. 672-682, 2012
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
Marius Bozga
,
Alexandre David
,
Arnd Hartmanns
,
Holger Hermanns
,
Kim G. Larsen
,
Axel Legay
,
Jan Tretmans
Published in 2012.
Managing evolution in software product lines: a model-checking perspective
Maxime Cordy
,
Andreas Classen
,
Pierre-Yves Schobbens
,
Patrick Heymans
,
Axel Legay
Published in 2012.
Behavioural modelling and verification of real-time software product lines
Maxime Cordy
,
Pierre-Yves Schobbens
,
Patrick Heymans
,
Axel Legay
Published in 2012.
Towards an incremental automata-based approach for software product-line model checking
Maxime Cordy
,
Pierre-Yves Schobbens
,
Patrick Heymans
,
Axel Legay
Published in 2012.
Sort by:
Citations
(381 times by 252 publications)
A Space-Time Meshless Method That Removes Numerical Oscillations When Solving PDEs with High Discontinuities
Tonino Sophy
,
Arthur Da Silva
,
Ali Kribèche
Journal:
Numerical Heat Transfer Part B-fundamentals - NUMER HEAT TRANSFER PT B-FUND
, vol. 62, no. 1, pp. 50-70, 2012
Quantitative Multi-objective Verification for Probabilistic Systems
(
Citations: 5
)
Vojtech Forejt
,
Marta Z. Kwiatkowska
,
Gethin Norman
,
David Parker
,
Hongyang Qu
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 112-127, 2011
Abstract Probabilistic Automata
(
Citations: 3
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wasowski
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 324-339, 2011
New Results on Abstract Probabilistic Automata
(
Citations: 2
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wþasowski
Conference:
Int. Conf. on Application of Concurrency to System Design - ACSD
, pp. 118-127, 2011
The earlier the better: a theory of timed actor interfaces
(
Citations: 2
)
Marc Geilen
,
Stavros Tripakis
,
Maarten Wiggers
Journal:
International Journal of Computer Vision - IJCV
, pp. 23-32, 2011
Comments