| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Iksoon Hwang, Nina Yevtushenko, Ana R. Cavalli |
Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs.  |
Inf. Process. Lett.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria de Fátima Mattiello-Francisco, Eliane Martins, Ana R. Cavalli, Edgar Toshiro Yano |
InRob: An approach for testing interoperability and robustness of real-time embedded software. |
Journal of Systems and Software |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Mammar, Wissam Mallouli, Ana R. Cavalli |
A systematic approach to integrate common timed security rules within a TEFSM-based system specification. |
Information & Software Technology |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson Nunes Paiva Morais, Ana R. Cavalli |
Detection of Attacks in Wireless Mesh Networks. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi |
Verification of Interoperability Security Policies by Model Checking. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca |
Using Testing Techniques for Vulnerability Detection in C Programs. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson Nunes Paiva Morais, Ana R. Cavalli |
A Quality of Experience Based Approach for Wireless Mesh Networks. |
WWIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson Nunes Paiva Morais, Ana R. Cavalli |
Route Manipulation Attack in Wireless Mesh Networks. |
AINA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxim Zhigulin, Nina Yevtushenko, Stéphane Maag, Ana R. Cavalli |
FSM-Based Test Derivation Strategies for Systems with Time-Outs. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson Nunes Paiva Morais, Ana R. Cavalli, Eliane Martins |
A model-based attack injection approach for security validation. |
SIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariem Graa, Nora Cuppens-Boulahia, Fabien Autrel, Hanieh Azkia, Frédéric Cuppens, Gouenou Coatrieux, Ana R. Cavalli, Amel Mammar |
Using Requirements Engineering in an Automatic Security Policy Derivation Process. |
DPM/SETOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín García-Alfaro, Guillermo Navarro-Arribas, Ana R. Cavalli, Jean Leneutre (eds.) |
Data Privacy Management and Autonomous Spontaneous Security - 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers |
DPM/SETOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Iksoon Hwang, Ana R. Cavalli |
Testing a probabilistic FSM using interval estimation. |
Computer Networks |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko |
FSM-based conformance testing methods: A survey annotated with experimental evaluation. |
Information & Software Technology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli |
Testing Web Service Orchestrators in Context: A Symbolic Approach. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bachar Wehbi, Anis Laouiti, Ana R. Cavalli |
Transmit and Reserve (TAR): A Coordinated Channel Access for IEEE 802.11 Networks. |
WCNC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fayçal Bessayah, Ana R. Cavalli |
A Formal Passive Testing Approach for Checking Real Time Constraints. |
QUATIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fayçal Bessayah, Ana R. Cavalli, Willian Maja, Eliane Martins, Andre Willik Valenti |
A Fault Injection Tool for Testing Web Services Composition. |
TAIC PART |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sébastien Salva, Fatiha Zaïdi |
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
Web Service, BPEL, Unit Testing, Testing framework, Test Case Generation, Test Purposes |
| 1 | Gerardo Morales, Stéphane Maag, Ana R. Cavalli, Wissam Mallouli, Edgardo Montes de Oca, Bachar Wehbi |
Timed Extended Invariants for the Passive Testing of Web Services. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
BPEL, Passive Testing |
| 1 | Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère |
Modeling, Validation, and Verification of PCEP Using the IF Language. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli |
A Statistical Approach to Test Stochastic and Probabilistic Systems. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wissam Mallouli, Amel Mammar, Ana R. Cavalli |
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. |
APSEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez |
Analysis of the OLSR Protocol by Using Formal Passive Testing. |
APSEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson Nunes Paiva Morais, Eliane Martins, Ana R. Cavalli, Willy Jimenez |
Security Protocol Testing Using Attack Trees. |
CSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Lalanne, Stéphane Maag, Edgardo Montes de Oca, Ana R. Cavalli, Wissam Mallouli, Arnaud Gonguet |
An Automated Passive Testing Approach for the IMS PoC Service. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Testing, Formal model, IMS |
| 1 | Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca |
A passive conformance testing approach for a MANET routing protocol. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
MANET, routing protocols, conformance testing |
| 1 | Fatiha Zaïdi, Emmanuel Bayse, Ana R. Cavalli |
Network protocol interoperability testing based on contextual signatures and passive testing. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
contextual signatures, communication protocols, WAP, interoperability testing, passive testing |
| 1 | Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca, Fatiha Zaïdi |
A Formal Passive Testing Approach to test a MANET Routing Protocol. |
PerCom Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli |
Observability and Controllability Issues in Conformance Testing of Web Service Compositions. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
observability and controllability, verdict testing report, Web Service composition, Conformance testing |
| 1 | Fayçal Bessayah, Ana R. Cavalli, Eliane Martins |
A formal approach for specification and verification of fault injection process. |
Int. Conf. Interaction Sciences |
2009 |
DBLP DOI BibTeX RDF |
fault specification, formal methods, fault injection, trace analysis, security testing, time specification |
| 1 | Stéphane Maag, Cyril Grepet, Ana R. Cavalli |
A formal validation methodology for MANET routing protocols based on nodes' self similarity. |
Computer Communications |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli, Iksoon Hwang |
Automatic Timed Test Case Generation for Web Services Composition. |
ECOWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli |
Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking. |
ADHOC-NOW |
2008 |
DBLP DOI BibTeX RDF |
Trace Collection and Correlation, Nomad Logic, Ad Hoc Networks, Monitoring, Conformance Testing, Security Analysis |
| 1 | Wissam Mallouli, Fayçal Bessayah, Ana R. Cavalli, Azzedine Benameur |
Security Rules Specification and Analysis Based on Passive Testing. |
GLOBECOM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Céline Coma, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli |
Context Ontology for Secure Interoperability. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
Ontology, Interoperability, Context, Security model, OrBAC |
| 1 | Bachar Wehbi, Anis Laouiti, Ana R. Cavalli |
Efficient time synchronization mechanism for wireless multi hop networks. |
PIMRC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli, Mounir Lallali |
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. |
DS-RT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wissam Mallouli, Amel Mammar, Ana R. Cavalli |
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. |
DS-RT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar |
Specification of Timed EFSM Fault Models in SDL. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
Timing Fault Models, Hit-or-Jump, SDL, Extended Finite State Machines |
| 1 | Wissam Mallouli, Ana R. Cavalli |
Testing Security Rules with Decomposable Activities. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
Verification and Testing, Test Generation, Security Policy, SDL, Extended Finite State Machine |
| 1 | Elisangela Rodrigues Vieira, Ana R. Cavalli |
Towards an Automated Test Generation with Delayed Transitions for Timed Systems. |
RTCSA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frédéric Cuppens |
A formal approach for testing security rules. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
verification and testing, test generation, security policy, SDL, EFSM, OrBAC |
| 1 | Ana R. Cavalli, Dario Vieira |
A Reliable Approach for Transport Session Management. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener |
Application of Two Test Generation Tools to an Industrial Case Study. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
telephonic service, service testing, test generation tools, formal specification, conformance testing, Case study, automatic test generation, extended finite state machine |
| 1 | Ana R. Cavalli, Dario Vieira, Timothy G. Griffin |
Implementation Analysis of MSP. |
ICN/ICONS/MCL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Baptiste Alcalde, Ana R. Cavalli |
Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach. |
ICN/ICONS/MCL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Dario Vieira |
An Enhanced Passive Testing Approach for Network Protocols. |
ICN/ICONS/MCL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bachar Wehbi, Wissam Mallouli, Ana R. Cavalli |
Light Client Management Protocol for Wireless Mesh Networks. |
MDM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marie Orset, Ana R. Cavalli |
A Security Model for OLSR MANET Protocol. |
MDM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Dario Vieira |
Working Around BGP: An Improvement of BGP Session Maintenance. |
ICNS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis |
From UML models to automatic generated tests for the dotLRN e-learning platform. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Bayse, Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi |
A passive testing approach based on invariants: application to the WAP |
Computer Networks |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Combes, Wei Monin, Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Richard Castanet, Marcien MacKaya, Patrice Laurençot |
Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation. |
Annales des Télécommunications |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Jean-Marie Orset |
Secure hosts auto-configuration in mobile ad hoc networks. |
Ad Hoc Networks |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli |
Experimental Evaluation of FSM-Based Testing Methods. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Timothy G. Griffin, Dario Vieira |
A Comparison between Two Maintenance Session Protocols. |
AICT/SAPIR/ELETE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli |
An EFSM-Based Intrusion Detection System for Ad Hoc Networks. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli |
Passive Testing - A Constrained Invariant Checking Approach. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
invariant checking, SCP, invariants, constraint solving, passive testing |
| 1 | Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi |
Application of a Formal Testing Methodology to Wireless Telephony Networks. |
J. Braz. Comp. Soc. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee |
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada |
A Validation Model for the DSR Protocol. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
routing protocol, conformance testing, SDL, Ad hoc wireless networks, DSR |
| 1 | Ana R. Cavalli, Jean-Marie Orset |
Secure Hosts Autoconfiguration in Mobile Ad Hoc Networks. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Stéphane Maag |
Automated test scenarios generation for an e-barter system. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
formal methods, e-commerce, testing tools, specification techniques |
| 1 | Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Pierre Combes, Wei Monin, Richard Castanet, Marcien MacKaya, Patrice Laurençot |
A Multi-service and Multi-protocol Validation Platform-Experimentation Results. |
TestCom |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis, Fatiha Zaïdi |
A Testing Methodology for an Open Software E-learning Platform. |
EDUTECH |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko |
Test suite minimization for testing in context. |
Softw. Test., Verif. Reliab. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Caroline Gervy, Svetlana Prokopenko |
New approaches for passive testing using an Extended Finite State Machine specification. |
Information & Software Technology |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez |
Fast Testing of Critical Properties through Passive Testing. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez |
TestNet: Let's Test Together!. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Stéphane Maag |
A New Algorithm for Service Interaction Detection. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Finite State Machine, Feature interaction, Intelligent Network, Telecommunication service |
| 1 | Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko |
Fault Detection within a Component of a System of Communicating FSMs. |
TestCom |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi |
Automated Generation of Interoperability Tests. |
TestCom |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cédric Besse, Ana R. Cavalli, Ferhat Khendek |
Partial Validation of a Design Specification with Respect to Requirements. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
MSC views, MSC traces, Specification, Validation, Requirement, SDL, MSC |
| 1 | Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli |
A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. (PDF / PS) |
ICOIN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Bruno Defude, Christian Rinderknecht, Fatiha Zaïdi |
A Service-Component Testing Method and a Suitable CORBA Architecture. |
ISCC |
2001 |
DBLP DOI BibTeX RDF |
CORBA, test generation, test architecture, Components testing |
| 1 | Ana R. Cavalli, Melania Ionescu |
Validation of the GSM-map protocol. |
Annales des Télécommunications |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko |
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. |
TestCom |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli |
Advanced Topics on SDL and MSC. |
Computer Networks |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marine Tabourier, Ana R. Cavalli |
Passive testing and application to the GSM-MAP protocol. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi |
Hit-or-Jump: An algorithm for embedded testing with applications to IN services. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Cédric Besse, Ana R. Cavalli, David Lee |
An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
SDL language, fault coverage, conformance testing, optimization techniques, TCP/IP protocol |
| 1 | Ana R. Cavalli |
Different Approaches to Protocol and Service Testing. |
IWTCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli |
Generating Test Cases for a Timed I/O Automaton Model. |
IWTCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Nina Yevtushenko, Ana R. Cavalli, Ricardo Anido |
Test Suite Minimization for Embedded Nondeterministic Finite State Machines. |
IWTCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marine Tabourier, Ana R. Cavalli, Melania Ionescu |
A GSM-MAP Protocol Experiment Using Passive Testing. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislaw Budkowski, Ana R. Cavalli, Elie Najm (eds.) |
Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France |
FORTE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Luiz A. Paula Lima Jr., Ana R. Cavalli |
Application of Embedded Testing Methods to Service Validation. (PDF / PS) |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Yevtushenko, Ana R. Cavalli, Luiz A. Paula Lima Jr. |
Test Suite Minimization for Testing in Context. |
IWTCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli, Boo-Ho Lee, Toma Macavei |
Test generation for the SSCOP-ATM networks protocol. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli, Amardeo Sarma (eds.) |
SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou |
Standardization of Formal Methods in Conformance Testing of Communication Protocols. |
Computer Networks and ISDN Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Byoung-Moon Chin, Kilnam Chon |
Testing Methods for SDL Systems. |
Computer Networks and ISDN Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hacène Fouchal, Ana R. Cavalli |
A modal based verification for LOTOS. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Hacène Fouchal, Ana R. Cavalli |
A Compositional Verification Method for LOTOS. |
PODC |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli, Sung Un Kim, Patrick Maigron |
Improving Conformance Testing for LOTOS. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou |
Formal Methods for Conformance Testing: Results and Perspectives. |
Protocol Test Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli, Patrick Maigron, Sung Un Kim |
Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli, Sung Un Kim |
Protocol Conformance Test Generation Using a Graph Rewriting System. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli, Etienne Paul |
Exhaustive Analysis and Simulation for Distributed Systems, both Sides of the Same Coin. |
Distributed Computing |
1988 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")