Artigos com autorizações de acesso público - Pedro R. D'ArgenioSaiba mais
2 artigos não disponíveis publicamente
Input/Output Stochastic Automata: Compositionality and Determinism
PR D’Argenio, MD Lee, RE Monti
International Conference on Formal Modeling and Analysis of Timed Systems, 53-68, 2016
Autorizações: Government of Argentina
Modest Models and Tools for Real Stochastic Timed Systems
CE Budde, PR D’Argenio, JA Fraire, A Hartmanns, Z Zhang
Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024
Autorizações: Netherlands Organisation for Scientific Research, European Commission
30 artigos disponíveis publicamente
MODEST: A compositional modeling formalism for hard and softly timed systems
H Bohnenkamp, PR d'Argenio, H Hermanns, JP Katoen
Software Engineering, IEEE Transactions on 32 (10), 812-830, 2006
Autorizações: German Research Foundation
Partial order reduction for probabilistic branching time
C Baier, P d'Argenio, M Groesser
Electronic Notes in Theoretical Computer Science 153 (2), 97-116, 2006
Autorizações: German Research Foundation
A statistical model checker for nondeterminism and rare events
CE Budde, PR D’Argenio, A Hartmanns, S Sedwards
International Conference on Tools and Algorithms for the Construction and …, 2018
Autorizações: Netherlands Organisation for Scientific Research, European Commission …
An efficient statistical model checker for nondeterminism and rare events
CE Budde, PR D’Argenio, A Hartmanns, S Sedwards
International Journal on Software Tools for Technology Transfer 22 (6), 759-780, 2020
Autorizações: Netherlands Organisation for Scientific Research, European Commission …
Is Your Software on Dope? Formal analysis of surreptitiously "enhanced" programs
PR D’Argenio, G Barthe, S Biewer, B Finkbeiner, H Hermanns
European Symposium on Programming, 83-110, 2017
Autorizações: Government of Argentina
Routing in delay-tolerant networks under uncertain contact plans
FD Raverta, JA Fraire, PG Madoery, RA Demasi, JM Finochietto, ...
Ad Hoc Networks 123, 102663, 2021
Autorizações: German Research Foundation, European Commission, Government of Argentina
Lightweight statistical model checking in nondeterministic continuous time
PR D’Argenio, A Hartmanns, S Sedwards
International Symposium on Leveraging Applications of Formal Methods, 336-353, 2018
Autorizações: European Commission, Government of Argentina
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
PR D’Argenio, D Gebler, MD Lee
International Conference on Foundations of Software Science and Computation …, 2014
Autorizações: Government of Argentina
Better automated importance splitting for transient rare events
CE Budde, PR D’Argenio, A Hartmanns
Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017
Autorizações: Netherlands Organisation for Scientific Research, European Commission …
Facets of software doping
G Barthe, PR D’Argenio, B Finkbeiner, H Hermanns
International Symposium on Leveraging Applications of Formal Methods, 601-608, 2016
Autorizações: Government of Argentina
Automated compositional importance splitting
CE Budde, PR D'Argenio, A Hartmanns
Science of Computer Programming 174, 90-108, 2019
Autorizações: Netherlands Organisation for Scientific Research, European Commission …
Rare event simulation with fully automated importance splitting
CE Budde, PR D’Argenio, H Hermanns
European Workshop on Performance Engineering, 275-290, 2015
Autorizações: Chinese Academy of Sciences, German Research Foundation, Government of Argentina
Efficient simulation-based verification of probabilistic timed automata
A Hartmanns, S Sedwards, PR D'Argenio
2017 Winter Simulation Conference (WSC), 1419-1430, 2017
Autorizações: European Commission, Government of Argentina
Sampling distributed schedulers for resilient space communication
PR D’Argenio, JA Fraire, A Hartmanns
NASA Formal Methods Symposium, 291-310, 2020
Autorizações: Netherlands Organisation for Scientific Research, European Commission …
A general SOS theory for the specification of probabilistic transition systems
PR D'Argenio, D Gebler, MD Lee
Information and Computation 249, 76-109, 2016
Autorizações: Government of Argentina
Doping tests for cyber-physical systems
S Biewer, P D’Argenio, H Hermanns
International Conference on Quantitative Evaluation of Systems, 313-331, 2019
Autorizações: National Natural Science Foundation of China, German Research Foundation …
Input/output stochastic automata with urgency: confluence and weak determinism
PR D’Argenio, RE Monti
International Colloquium on Theoretical Aspects of Computing, 132-152, 2018
Autorizações: European Commission, Government of Argentina
Distributed probabilistic input/output automata: Expressiveness,(un) decidability and algorithms
S Giro, PR D'Argenio, LMF Fioriti
Theoretical Computer Science 538, 84-102, 2014
Autorizações: German Research Foundation, Government of Argentina
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador