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
(84)
Elsa L. Gunter
10
Anca Muscholl
10
Rajeev Alur
10
Hongyang Qu
10
Saddek Bensalem
9
Conferences
(39)
CAV
14
TACAS
12
FORTE
7
ICALP
5
Dagstuhl Seminars
4
Journals
(21)
TCS
8
FMSD
7
IJFCS
3
ENTCS
3
TSE
2
Keywords
(192)
Embed
Subscribe
Academic
Authors
Doron A. Peled
Edit
Doron A. Peled
University of Warwick
Publications: 159
|
Citations: 3913
|
G-Index: 60
|
H-Index: 32
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
84 co-authors
from 1987 to 2011
; Cited by
2488 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(159)
BibTeX
|
RIS
|
RefWorks
Download
Efficient deadlock detection for concurrent systems
Saddek Bensalem
,
Andreas Griesmayer
,
Axel Legay
,
Thanh-Hung Nguyen
,
Doron Peled
Conference:
International Conference on Formal Methods and Models for Co-Design - MEMOCODE
, 2011
Achieving Distributed Control through Model Checking
(
Citations: 7
)
Susanne Graf
,
Doron Peled
,
Sophie Quinton
Conference:
Computer Aided Verification - CAV
, pp. 396-409, 2010
Code Mutation in Verification and Automatic Code Correction
(
Citations: 3
)
Gal Katz
,
Doron Peled
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 435-450, 2010
Methods for Knowledge Based Controlling of Distributed Systems
(
Citations: 2
)
Saddek Bensalem
,
Marius Bozga
,
Susanne Graf
,
Doron Peled
,
Sophie Quinton
Conference:
Automated Technology for Verification and Analysis - ATVA
, pp. 52-66, 2010
Time for Verification, Essays in Memory of Amir Pnueli
Zohar Manna
,
Doron Peled
Conference:
Birthday ...
, 2010
Order by:
Citations
(3913 times by 2408 publications)
Model Construction and Priority Synthesis for Simple Interaction Systems
(
Citations: 1
)
Chih-Hong Cheng
,
Saddek Bensalem
,
Barbara Jobstmann
,
Rongjie Yan
,
Alois Knoll
,
Harald Ruess
Published in 2011.
CoReL: Policy-Based and Model-Driven Regulatory Compliance Management
(
Citations: 1
)
Marwane El Kharbili
,
Qin Ma
,
Pierre Kelsen
,
Elke Pulvermueller
Conference:
Enterprise Distributed Object Computing Conference - EDOS
, pp. 247-256, 2011
Boosting Lazy Abstraction for SystemC with Partial Order Reduction
(
Citations: 2
)
Alessandro Cimatti
,
Iman Narasamdya
,
Marco Roveri
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 341-356, 2011
Information gain of black-box testing
(
Citations: 1
)
Linmin Yang
,
Zhe Dang
,
Thomas R. Fischer
Published in 2011.
Forward Analysis and Model Checking for Trace Bounded WSTS
(
Citations: 2
)
Pierre Chambart
,
Alain Finkel
,
Sylvain Schmitz
Conference:
Application and Theory of Petri Nets - APN
, 2011
Comments