Ana Cavalli

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
Tight bound on the length of distinguishing sequences for non-observable nondeterministic finite-state machines with a polynomial number of inputs and outputs Information Processing Letters	2012-05-04	Paper
Testing a probabilistic FSM using interval estimation Computer Networks	2010-05-11	Paper
Specification of Timed EFSM Fault Models in SDL Lecture Notes in Computer Science	2009-03-10	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-10	Paper
A passive testing approach based on invariants: application to the WAP Computer Networks	2005-08-03	Paper
TestNet: Let's test together! Lecture Notes in Computer Science	2003-12-07	Paper
Fast testing of critical properties through passive testing Lecture Notes in Computer Science	2003-12-07	Paper
A new algorithm for service interaction detection Lecture Notes in Computer Science	2003-07-15	Paper
scientific article; zbMATH DE number 1418453 (Why is no real title available?)	2001-01-17	Paper
scientific article; zbMATH DE number 3871318 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3876567 (Why is no real title available?)	1984-01-01	Paper

Research outcomes over time

This page was built for person: Ana Cavalli