Pedro R. D'Argenio

Filters: Author is Holger Hermanns [Clear All Filters]

2021

S. Biewer, D'Argenio, P. R., and Hermanns, H., “Doping Tests for Cyber-Physical Systems”, ACM Trans. Model. Comput. Simul., vol. 31, no. 3, p. Article 16, 2021.

paper-364.pdf (1.02 MB)

2020

C. Baier, D'Argenio, P. R., and Hermanns, H., “On the probabilistic bisimulation spectrum with silent moves”, Acta Informatica, vol. 57, pp. 465–512, 2020.

paper-350.pdf (867.02 KB)

2019

S. Biewer, D'Argenio, P. R., and Hermanns, H., “Doping Tests for Cyber-Physical Systems”, in Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings, vol. 11785, D. Parker and Wolf, V., Eds. Springer, 2019, pp. 313–331.

paper-344.pdf (724.55 KB)

2018

S. Biewer, D'Argenio, P. R., and Hermanns, H., “Cyber-Physical Doping Tests”, in 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018, IEEE, 2018, pp. 18–19.

paper-342.pdf (104.92 KB)

H. Hermanns, Biewer, S., D'Argenio, P. R., and Köhl, M. A., “Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions”, in LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, vol. 57, G. Barthe, Sutcliffe, G., and Veanes, M., Eds. EasyChair, 2018, pp. 1–17.

paper-338.pdf (3.06 MB)

2017

P. R. D'Argenio, Barthe, G., Biewer, S., Finkbeiner, B., and Hermanns, H., “Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs”, in Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, vol. 10201, H. Yang, Ed. Springer, 2017, pp. 83–110.

paper-312.pdf (429.13 KB)

2016

G. Barthe, D'Argenio, P. R., Finkbeiner, B., and Hermanns, H., “Facets of Software Doping”, in Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, (ISoLA 2016), Part II, vol. 9953, T. Margaria and Steffen, B., Eds. Springer, 2016, pp. 601–608.

paper-305.pdf (416.75 KB)

2015

C. E. Budde, D'Argenio, P. R., and Hermanns, H., “Rare Event Simulation with Fully Automated Importance Splitting”, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, vol. 9272, M. Beltrán, Knottenbelt, W. J., and Bradley, J. T., Eds. Springer, 2015, pp. 275–290.

paper-273.pdf (309.05 KB)

2006

H. C. Bohnenkamp, D'Argenio, P. R., Hermanns, H., and Katoen, J. - P., “MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems”, IEEE Trans. Software Eng., vol. 32, no. 10, pp. 812-830, 2006.

paper-22.pdf (1.78 MB)

2005

M. Lohrey, D'Argenio, P. R., and Hermanns, H., “Axiomatising divergence”, Inf. Comput., vol. 203, no. 2, pp. 115-144, 2005.

paper-5.pdf (373.54 KB)

2002

M. Lohrey, D'Argenio, P. R., and Hermanns, H., “Axiomatising Divergence”, in Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, 2002, vol. 2380, pp. 585-596.

paper-195.pdf (202.29 KB)

P. R. D'Argenio, Jeannet, B., Jensen, H. E., and Larsen, K. G., “Reduction and Refinement Strategies for Probabilistic Analysis”, in Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings, 2002, vol. 2399, pp. 57-76.

paper-198.pdf (384.84 KB)

2001

J. - P. Katoen and D'Argenio, P. R., “General Distributions in Process Algebra”, in Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures, vol. 2090, E. Brinksma, Hermanns, H., and Katoen, J. - P., Eds. Springer, 2001, pp. 375-430.

paper-202.pdf (951.38 KB)

P. R. D'Argenio, Hermanns, H., Katoen, J. - P., and Klaren, R., “MoDeST - A Modelling and Description Language for Stochastic Timed Systems”, in Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, 2001, vol. 2165, pp. 87-104.

paper-201.pdf (284.8 KB)

1999

P. R. D'Argenio, Hermanns, H., and Katoen, J. - P., “On Generative Parallel Composition”, Electr. Notes Theor. Comput. Sci., vol. 22, pp. 30-54, 1999.

paper-206.pdf (1.51 MB)