Pedro R. D'Argenio

Available identifiers

zbMath Open dargenio.pedro-rubenMaRDI QIDQ1391790

List of research outcomes

Publication	Date of Publication	Type
Measuring masking fault-tolerance	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5013870	2021-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4986263	2021-04-27	Paper
On the probabilistic bisimulation spectrum with silent moves	2020-05-26	Paper
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions	2019-07-04	Paper
Input/output stochastic automata with urgency: confluence and weak determinism	2018-11-23	Paper
A hierarchy of scheduler classes for stochastic automata	2018-07-17	Paper
Input/Output Stochastic Automata	2018-02-16	Paper
Is Your Software on Dope?	2017-05-19	Paper
A general SOS theory for the specification of probabilistic transition systems	2016-07-07	Paper
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata	2016-06-17	Paper
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems	2015-01-12	Paper
Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms	2014-06-06	Paper
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules	2014-04-16	Paper
Reconciling real and stochastic time: the need for probabilistic refinement	2013-03-22	Paper
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation	2012-06-22	Paper
Bisimulations for non-deterministic labelled Markov processes	2012-03-22	Paper
Secure information flow by self-composition	2011-12-08	Paper
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers	2009-10-22	Paper
Validation of Stochastic Systems	2009-07-24	Paper
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable	2008-07-03	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Axiomatising divergence	2006-01-10	Paper
A theory of stochastic systems. I: Stochastic automata	2005-12-07	Paper
A theory of stochastic systems. II: Process algebra	2005-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4813198	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4737191	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4798031	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4798036	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4547773	2002-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4532077	2002-05-28	Paper
Testing timed automata	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4508399	2001-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4255553	1999-08-17	Paper
A general conservative extension theorem in process algebras with inequalities	1998-07-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pedro R. D'Argenio