Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(82)
Benoit Delahaye (Benoît Delahaye)
13
Pierre Wolper
11
Kim Guldstrand Larsen
9
Saddek Bensalem
9
Marco Faella
9
Conferences
(26)
QEST
5
CAV
4
ACSD
3
TACAS
3
ICSE
2
Journals
(13)
CORR
5
ENTCS
3
Electronic Proceedings in Theoretical Computer Science
3
FMSD
2
TCS
2
Keywords
(197)
Embed
Subscribe
Academic
Authors
Axel Legay
Edit
Axel Legay
Université de Liège
Publications: 79
|
Citations: 371
|
G-Index: 16
|
H-Index: 12
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Scientific Computing
View FAQ about top research area and research interests
Collaborated with
82 co-authors
from 2003 to 2011
; Cited by
392 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(79)
BibTeX
|
RIS
|
RefWorks
Download
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
Symbolic model checking of software product lines
(
Citations: 2
)
Andreas Classen
,
Patrick Heymans
,
Pierre-Yves Schobbens
,
Axel Legay
Conference:
International Conference on Software Engineering - ICSE
, pp. 321-330, 2011
D-Finder 2: Towards Efficient Correctness of Incremental Design
(
Citations: 2
)
Saddek Bensalem
,
Andreas Griesmayer
,
Axel Legay
,
Thanh-Hung Nguyen
,
Joseph Sifakis
,
Rongjie Yan
Published in 2011.
Constraint Markov Chains
Benoît Caillaud
,
Benoît Delahaye
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Andrzej Wąsowski
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 34, pp. 4373-4404, 2011
Order by:
Citations
(371 times by 247 publications)
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
Published in 2011.
When to stop verification?: Statistical trade-off between expected loss and simulation cost
(
Citations: 1
)
Sumit Kumar Jha
,
Christopher James Langmead
,
Swarup Mohalik
,
Sethu Ramesh
Published in 2011.
Comments