Pedro R. D'Argenio

发表

Raul E. Monti, Pedro R. D'Argenio, Carlos E. Budde, 2019, LPAR.
Pedro R. D'Argenio, Carlos E. Budde, Raúl E. Monti, 2017, VALUETOOLS.
Joost-Pieter Katoen, Pedro R. D'Argenio, P. D’Argenio, 2002, European Educational Forum: School on Formal Methods and Performance Analysis.
Pedro R. D'Argenio, Arnd Hartmanns, Juan A. Fraire, 2020, NFM.
Pedro R. D'Argenio, Raúl E. Monti, P. D’Argenio, 2018, ICTAC.
Pedro R. D'Argenio, Carlos E. Budde, Raúl E. Monti, 2019, TACAS.
Frits W. Vaandrager, Pedro R. D'Argenio, Jan Springintveld, 1997, Theor. Comput. Sci..
Matias David Lee, Pedro R. D'Argenio, Daniel Gebler, 2015, EXPRESS/SOS.
Pedro R. D'Argenio, Luis María Ferrer Fioriti, Sergio Giro, 2014, Theor. Comput. Sci..
Matias David Lee, Nicolás Wolovick, Pedro R. D'Argenio, 2017, ModelEd, TestEd, TrustEd.
Pedro R. D'Argenio, Peter Niebert, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Holger Hermanns, Pedro R. D'Argenio, Carlos E. Budde, 2015, EPEW.
Pedro R. D'Argenio, Ed Brinksma, 1996, FTRTFT.
Holger Hermanns, Pedro R. D'Argenio, Sebastian Biewer, 2019, QEST.
Nicolás Wolovick, Pedro R. D'Argenio, Pedro Sánchez Terraf, 2011, Mathematical Structures in Computer Science.
Theo C. Ruys, Joost-Pieter Katoen, Pedro R. D'Argenio, 1997, TACAS.
Joost-Pieter Katoen, Pedro R. D'Argenio, Ed Brinksma, 2000 .
Matias David Lee, Pedro R. D'Argenio, Daniel Gebler, 2014, FoSSaCS.
Pedro R. D'Argenio, Tamara Rezk, Gilles Barthe, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Erik P. de Vink, Jos C. M. Baeten, Pedro R. D'Argenio, 2012, Formal Aspects of Computing.
Matias David Lee, Pedro R. D'Argenio, Daniel Gebler, 2016, Inf. Comput..
Pedro R. D'Argenio, Pablo F. Castro, Ramiro Demasi, 2019, TACAS.
Jos C. M. Baeten, Pedro R. D'Argenio, 2003, J. Log. Algebraic Methods Program..
Pedro R. D'Argenio, Peter van Rossum, Miguel E. Andrés, 2008, Haifa Verification Conference.
Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2014, International Journal on Software Tools for Technology Transfer.
Nicolás Wolovick, Pedro R. D'Argenio, Pedro Sánchez Terraf, 2010, ArXiv.
Joost-Pieter Katoen, Holger Hermanns, Pedro R. D'Argenio, 2001, PAPM-PROBMIV.
Pedro R. D'Argenio, Carlos E. Budde, Arnd Hartmanns, 2019, Sci. Comput. Program..
Pedro R. D'Argenio, Luis María Ferrer Fioriti, Sergio Giro, 2009, CONCUR.
Pedro R. D'Argenio, Juan A. Fraire, Pablo G. Madoery, 2018, 2018 6th IEEE International Conference on Wireless for Space and Extreme Environments (WiSEE).
Matias David Lee, Pedro R. D'Argenio, Daniel Gebler, 2012, EXPRESS/SOS.
Pedro R. D'Argenio, Carlos E. Budde, Arnd Hartmanns, 2017, SETTA.
Bernd Finkbeiner, Holger Hermanns, Pedro R. D'Argenio, 2017, ESOP.
Pedro R. D'Argenio, Hernán C. Melgratti, 2013 .
Joost-Pieter Katoen, Pedro R. D'Argenio, Ed Brinksma, 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).
Nicolás Wolovick, Pedro R. D'Argenio, Carlos E. Budde, 2012, ROCKS.
Holger Hermanns, Pedro R. D'Argenio, Sebastian Biewer, 2018, 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS).
Kim Guldstrand Larsen, Pedro R. D'Argenio, Henrik Ejersbo Jensen, 2001 .
Joost-Pieter Katoen, Pedro R. D'Argenio, Ed Brinksma, 1998, PROCOMET.
Sean Sedwards, Pedro R. D'Argenio, Arnd Hartmanns, 2017, FoSSaCS.
Pedro R. D'Argenio, Luis R. Sierra Abbate, Juan V. Echagüe, 2000, LATIN.
Markus Siegle, Pedro R. D'Argenio, Mariëlle Stoelinga, 2013 .
Pedro R. D'Argenio, Sjouke Mauw, 1995, CONCUR.
Joost-Pieter Katoen, Holger Hermanns, Pedro R. D'Argenio, 2001 .
Nicolás Wolovick, Pedro R. D'Argenio, Pedro Sánchez Terraf, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Joost-Pieter Katoen, Pedro R. D'Argenio, Ed Brinksma, 1998 .
Joost-Pieter Katoen, Pedro R. D'Argenio, P. D’Argenio, 2005, Inf. Comput..
Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu, 2009, 2009 International Conference on Software Testing Verification and Validation.
Axel Legay, Sean Sedwards, Pedro R. D'Argenio, 2016, IFM.
Pedro R. D'Argenio, Sergio Giro, P. D’Argenio, 2007, FORMATS.
Joost-Pieter Katoen, Pedro R. D'Argenio, Hendrik Brinksma, 1998 .
Kim G. Larsen, Bertrand Jeannet, Pedro R. D'Argenio, 2002, PAPM-PROBMIV.
Christel Baier, Marcus Größer, Pedro R. D'Argenio, 2006, QAPL.
Pedro R. D'Argenio, Sergio Giro, 2009, Electron. Notes Theor. Comput. Sci..
Holger Hermanns, Joost-Pieter Katoen, Pedro R. D'Argenio, 2006, IEEE Transactions on Software Engineering.
Matias David Lee, Pedro R. D'Argenio, Raúl E. Monti, 2016, FORMATS.
Pedro R. D'Argenio, Lijun Zhang, Ernst Moritz Hahn, 2010, SPIN.
Pedro R. D'Argenio, 1997, ARTS.
Sean Sedwards, Pedro R. D'Argenio, Arnd Hartmanns, 2017, 2017 Winter Simulation Conference (WSC).
Bernd Finkbeiner, Gilles Barthe, Holger Hermanns, 2016, ISoLA.
Sean Sedwards, Pedro R. D'Argenio, Carlos E. Budde, 2018, TACAS.
Joost-Pieter Katoen, Holger Hermanns, Pedro R. D'Argenio, 1998, PROBMIV.
Matias David Lee, Pedro R. D'Argenio, M. Lee, 2010, FESCA@ETAPS.
Sean Sedwards, Pedro R. D'Argenio, Arnd Hartmanns, 2018, ISoLA.
Pedro R. D'Argenio, Tamara Rezk, Gilles Barthe, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Pedro R. D'Argenio, Hernán Melgratti, Hernán C. Melgratti, 2013, Lecture Notes in Computer Science.
Mario Bravetti, Pedro R. D'Argenio, M. Bravetti, 2004, Validation of Stochastic Systems.
Joost-Pieter Katoen, Joost-Pieter Katoen, Pedro R. D'Argenio, 1997 .
Holger Hermanns, Markus Lohrey, Pedro R. D'Argenio, 2002, ICALP.
Pedro R. D'Argenio, P. D’Argenio, 1999 .
Matias David Lee, Pedro R. D'Argenio, M. Lee, 2010, 2010 XXIX International Conference of the Chilean Computer Science Society.
Holger Hermanns, Pedro R. D'Argenio, Maximilian A. Köhl, 2018, LPAR.
Wang Yi, Kim G. Larsen, Bertrand Jeannet, 2000, MOVEP.
Matias David Lee, Pedro R. D'Argenio, M. Lee, 2011, CLEI Electron. J..
Joost-Pieter Katoen, Pedro R. D'Argenio, P. D’Argenio, 2005, Inf. Comput..
Pedro R. D'Argenio, Pablo F. Castro, Ramiro Demasi, 2021, ArXiv.
Pedro R. D'Argenio, Juan A. Fraire, Pablo G. Madoery, 2021, Ad Hoc Networks.
Joost-Pieter Katoen, Holger Hermanns, Pedro R. D'Argenio, 1999 .