EEMCS

De Alfaro, L. and Faella, M. and Stoelinga, M.I.A. (2009) Linear and Branching System Metrics. IEEE transactions on software engineering, 35 (2). pp. 258-273. ISSN 0098-5589 *** ISI Impact 2,216 ***

de Alfaro, L. and Majumdar, R. and Raman, V. and Stoelinga, M.I.A. (2008) Game Refinement Relations and Metrics. Logical Methods in Computer Science, 4 (3). 7. ISSN 1860-5974 *** ISI Impact 0,864 ***

de Alfaro, L. and Majumdar, R. and Raman, V. and Stoelinga, M.I.A. (2007) Game Relations and Metrics. In: Twenty-Second Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2007), 10–14 July 2007, Wroclav, Poland. pp. 99-108. IEEE Computer Society. ISBN 0-7695-2908-9

Chatterjee, K. and de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2006) Quantitative Compositional Reasoning. In: Third International Conference on the Quantitative Evaluation of Systems (QEST'06), 11-14 Sep 2006, Riverside, California. pp. 179-189. IEEE Computer Society. ISBN 0769526659

de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2005) Model Checking Discounted Temporal Properties. Theoretical computer science, 345 (1). pp. 139-170. ISSN 0304-3975 *** ISI Impact 0,838 ***

de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2004) Model Checking Discounted Temporal Properties. In: Proc. 10th Int'l Conf. on tools and algorithms for the construction and analysis of systems, March 29 - April 2, 2004, Barcelona, Spain. pp. 77-92. Lecture Notes in Computer Science 2988. Springer. ISBN 978-3-540-21299-7

de Alfaro, L. and Faella, M. and Stoelinga, M.I.A. (2004) Linear and Branching Metrics for Quantitative Transition Systems. In: Proc. 31st Int'l Colloq. on Automata, Languages and Programming (ICALP04), July 12-16, 2004, Turku, Finland. pp. 97-109. Lecture Notes in Computer Science 3142. Springer. ISBN 978-3-540-22849-3