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
(21)
Axel Legay
13
Benoit Caillaud (Benoît Caillaud)
7
Kim Guldstrand Larsen
6
Mikkel Lykke Pedersen
6
Andrzej Wasowski
4
Conferences
(5)
ACSD
2
QEST
2
VMCAI
1
FORTE
1
RV
1
Journals
(5)
CORR
2
FMSD
1
TCS
1
J AEROSOL SCI
1
SURF INTERFACE ANAL
1
Keywords
(49)
Embed
Subscribe
Academic
Authors
Benoit Delahaye
Edit
Benoit Delahaye (Benoît Delahaye)
Institut de Recherche en Informatique et Systèmes Aléatoires
Publications: 16
|
Citations: 32
|
G-Index: 5
|
H-Index: 3
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
,
Distributed & Parallel Computing
View FAQ about top research area and research interests
Collaborated with
21 co-authors
from 1994 to 2011
; Cited by
33 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(16)
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
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
APAC: A Tool for Reasoning about Abstract Probabilistic Automata
Benoît Delahaye
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Andrzej Wasowski
Conference:
Quantitative Evaluation of Systems - QEST
, 2011
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
Benoît Delahaye
,
Benoît Caillaud
,
Axel Legay
Journal:
Formal Methods in System Design - FMSD
, vol. 38, no. 1, pp. 1-32, 2011
Order by:
Citations
(32 times by 21 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
Rigorous system level modeling and analysis of mixed HW/SW systems
P. Bourgos
,
A. Basu
,
M. Bozga
,
S. Bensalem
,
J. Sifakis
,
K. Huang
Conference:
International Conference on Formal Methods and Models for Co-Design - MEMOCODE
, 2011
APAC: A Tool for Reasoning about Abstract Probabilistic Automata
Benoît Delahaye
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Andrzej Wasowski
Conference:
Quantitative Evaluation of Systems - QEST
, 2011
Comments