Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Doron Peled

Using Statistical Model Checking for Measuring Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Grey-Box Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Temporal Debugging for Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Generating Path Conditions for Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Quantifying the Discord: Order Discrepancies in Message Sequence Charts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Specifying and Verifying Partial Order Properties Using Template MSCs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy