Natalia López

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Validation of Stochastic Systems Lecture Notes in Computer Science	2009-07-24	Paper
Assessing the Expressivity of Formal Specification Languages Algebraic Methodology and Software Technology	2009-04-28	Paper
A Comparative Study of STOPA and RTPA Lecture Notes in Computer Science	2009-01-27	Paper
SPAMR: Extending PAMR with Stochastic Time Formal Methods and Stochastic Models for Performance Evaluation	2008-08-28	Paper
Theoretical Aspects of Computing – ICTAC 2005 Lecture Notes in Computer Science	2006-11-01	Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce Lecture Notes in Computer Science	2006-10-24	Paper
Specification, testing and implementation relations for symbolic-probabilistic systems Theoretical Computer Science	2006-04-28	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2005-12-02	Paper
An integrated framework for the performance analysis of asynchronous communicating stochastic processes Formal Aspects of Computing	2004-10-01	Paper
scientific article; zbMATH DE number 2088914 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2088983 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2086944 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1943830 (Why is no real title available?)	2003-07-01	Paper
scientific article; zbMATH DE number 1863172 (Why is no real title available?)	2003-02-03	Paper
scientific article; zbMATH DE number 1418466 (Why is no real title available?)	2000-03-19	Paper

Research outcomes over time

This page was built for person: Natalia López