2009 |
César Andrés, Stephane Maag, Ana Cavalli, Mercedes G. Merayo, Manuel Nunez, "Analysis of the OLSR Protocol by using formal passive testing", APSEC 2009, December 2009, Penang, Malaysia. |
Wissam Mallouli, Amel Mammar, Ana Cavalli, A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification, APSEC 2009, December 2009, Penang, Malaysia. |
Mercedes Merayo, Iksoon Hwang, Manuel Nunez and Ana Cavalli, A statistical approach to test stochastic and probabilistic systems, ICFEM 2009, December 2009, Brazil. |
Felipe Lalanne, Stephane Maag, Edgardo Montes de Oca, Ana Cavalli, Wissam Mallouli and Arnaud Gonguet , An Automated Passive Testing Approach for the IMS PoC Service, 24th ACM/IEEE International Conference on Automated Software Engineering, November 2009, Auckland, New Zealand. |
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall and Ana Cavalli, Observability and Controllability Issues in Conformance Testing of Web Service Compositions, TESTCOM 2009, November 2009, Eindhoven, The Netherlands.  |
I. Hwang, M. Lallali, A. Cavalli and D. Verchere. Modeling, Validation and Verification of PCEP Using the IF Language. Formal Techniques for Distributed Systems, pages 122–136, 2009. |
F. Bessayah, A. Cavalli and E. Martins, A Formal Approach for Specification and Verification of Fault Injection Process, ACM ICCIT 2009, Seoul, Korea, November 2009. |
Wissam Mallouli, Amel Mammar, Ana Cavalli, Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d'un Système, CFIP 2009, Octobre 2009, Strasbourg, France. |
Anderson Morais, Eliane Martins, Ana Cavalli, Willy Jimenez, Security Protocol Testing Using Attack Trees, IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom-09), August 29-31, 2009, Vancouver, Canada. |
Eliane Martins, Ana Cavalli, Jean Arlat, Regina Moraes, Taisy Weber, "RobustWeb: Development and Validation of SOA Applications based on Web Services", Colloquium of Computation: Brazil / INRIA, Cooperations, Advances and Challenges, 22-23 juillet 2009, Bento Gonçalves (Rio Grande do Sul, Brésil). |
Ana Rosa Cavalli, Azzedine Benameur, Wissam Mallouli, Keqin Li, A Passive Testing Approach for Security Checking and its Practical Usage for Web Services Monitoring, invited paper, NOTERE 2009, 29-June 3-July, 2009, Montréal, Canada. |
Willy Jimenez , Amel Mammar, Ana R. Cavalli, Software Vulnerabilities, Prevention and Detection Methods: A Review, SEC-MDA workshop, 24-June 2009, Enschede, The Netherlands. |
Mazen El Maarabani, Asma Adala, Iksoon Hwang and Ana Cavalli, Interoperability testing of presence service on IMS platform, Open NGN and IMS Testbeds Workshop 2009, April 2009, Washington D.C., USA. |
F. Zaïdi, A. Cavalli and E. Bayse. Network Protocol Interoperability Testing based on Contextual Signatures and Passive Testing. In 24th Annual ACM Symposium on Applied Computing, pages 2-7, Hawaii, USA, March 2009. ACM. |
A. Cavalli, S. Maag, E. Montes de Oca and F. Zaïdi. A Formal Passive Testing Approach to test a MANET Routing Protocol. In 7th IEEE International Conference on Pervasive Computing and Communications Percom 2009/PWN, pages 1-6, Texas, USA, March 2009. IEEE, IEEE CS. |
Fatiha Zaidi, Ana Cavalli and Emmanuel Bayse, NetworkProtocol Interoperability Testing based on Contextual Signatures, The 24th Annual ACM Symposium on Applied Computing SAC'09, March 9-12 2009, Hawaii, USA. |
Ana Cavalli, Stephane Maag and Edgardo Montes de Oca, A Passive Conformance Testing Approach for a Manet Routing Protocol, The 24th Annual ACM Symposium on Applied Computing SAC'09, March 9-12 2009, Hawaii, USA. |
2008 |
Wissam Mallouli, Mounir Lallali, Gerardo Morales and Ana Cavalli, Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study, The Fourth ACM/IEEE International Conference on Signal Image Technology and Internet Based Systems SITIS '08, pages 128-136, Nov. 30 2008 - Dec. 3 2008, Bali, Indonesia. |
Mounir Lallali, Fatiha Zaidi and Ana Cavalli, Transforming BPEL into Intermediate Format Language for Web Services Composition Testing, The 4th IEEE International Conference on Next Generation Web Services Practices (NWeSP'08), October 2008, Seoul, South Korea. |
Mounir Lallali, Fatiha Zaidi, Ana Cavalli and Iksoon Hwang, Automatic Timed Test Case Generation for Web Services Composition, The 6th IEEE European Conference on Web Services (ECOWS'08), November 2008, Dublin, Ireland.  |
Anderson Morais, Eliane martins and Ana Cavalli, Generating Attack Scenarios for the Validation of Security Protocol Implementations, The 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES 2008 -SAST), October 2008, Brazil. |
Wissam Mallouli, Amel Mammar, Ana R. Cavalli, Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines, The 12-th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2008), October 27-29, Vancouver, Canada. |
Ana R. Cavalli, Edgardo Montes De Oca, Wissam Mallouli, Mounir Lallali, Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints, The 12-th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2008), October 27-29, Vancouver, Canada.  |
Wissam Mallouli, Fayçal Bessayah, Ana R. Cavalli, Azzedine Benameur, Security Rules Specification and Analysis Based on Passive Testing, The IEEE Global Communications Conference (GLOBECOM 2008), November 30 - December 04, New Orleans, USA.  |
Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli, Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking, The 7th International Conference on AD-HOC Networks & Wireless (ADHOC-Now 2008), September 10-12, Sophia Antipolis, France.  |
Bachar Wehbi, Anis Laouiti, Ana R. Cavalli, Efficient Time Synchronization Mechanism for Wireless Multi Hop Networks, The 19th annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2008), September 15-18, Cannes, France.  |
Stéphane Maag, Cyril Grepet, Ana R. Cavalli, A Formal Validation Methodology for MANET Routing Protocols Based on Nodes' Self Similarity, Computer Communications Journal 31(4): 827-841.  |
Céline Coma, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli, Context Ontology for Secure Interoperability, Third IEEE International Conference on Availability, Reliability and Security ARES 2008, March 4-7, Barcelona, Spain. |
A. Cavalli, E. Martins, A. Morais et B.C. Moreira, Une approche de test de robustesse basée sur l'injection de fautes et le monitorage, CFIP 2008, 25-28 Mars 2008, Les Arcs, France. |
B. Wehbi, A. Laouiti and A. Cavalli, A Reactive Wireless Mesh Network Architecture, Med-Hoc-Net, June 23-27, Palma de Mallorca, Spain. |
A. Cavalli, Eliane Martins and Anderson Morais, Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations, A-MOST, April 9-11, Lillehammer, Norway. |
W. Mallouli, G. Morales and A. Cavalli, Testing Security Policies for Web Applications , SECTEST, April 09, Lillehammer, Norway.  |
2007 |
Wissam Mallouli and Ana Cavalli, Testing Security Rules with Decomposable Activities, 10th IEEE HASE 2007, November 14-16 2007, Dallas, Texas. |
Mounir Lallali, Fatiha Zaidi, Ana Cavalli, Timed Modeling of Web Services Composition for Automatic Testing, 3rd ACM / IEEE International Conference on Signal-Image Technology and Internet-Based Systems (SITIS'07), December 2007, Shangai, China. |
Ana Cavalli, Stephane Maag and Gerardo Morales, Regression and Performance Testing of an e-learning Web application: dotLRN , 3rd ACM / IEEE International Conference on Signal-Image Technology and Internet-Based Systems (SITIS'07), Shangai, China, December 2007. |
CARRIOCAS project: An experimental high bit rate optical network tailored for computing and data intensive distributed applications, Audouin O, Cavalli A , Chiosi A , Leclerc O, Mouton C , Oksman J , Pasin M , Rodrigues D , Thual L , Conference on Optical Transmission, Switching and Subsystems, V Wuhan, CHINA, NOV 02-05, 2007. |
E. Rodrigues Vieira and A. Cavalli. Towards an Automated Test Generation with Delayed Transitions for Timed Systems, the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07), Korea, August, 2007. |
W. Mallouli, J-M. Orset, A. Cavalli, N. Cuppens and F. Cuppens, A Formal Approach for Testing Security Rules, the 12th ACM symposium on access control models and technologies (SACMAT'07), SAP Labs, Sophia Antipolis, France, June 20-22, 2007.  |
B. Wehbi, A. Laouiti, W. Mallouli and A. Cavalli, Mécanisme de Synchronisation pour les Réseaux Sans Fil Multi-Sauts, 7ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition (NOTERE'07), Marrakech, Maroc, Juin 4-8, 2007.  |
Bachar Zouari, Myriam Kallel and Ana Cavalli, An Incremental Authentication Study using SIM-IP Cards for IEEE 802.11 Wireless LANs, 4th International Conference: Sciences of Electronic, Technologies of Information and Telecommunications, SETIT 2007, March, TUNISIA. |
S. S. Batth, E. R. Vieira, A. Cavalli and M. U. Uyar, Specification of Timed EFSM Fault Models in SDL, FORTE 2007, June, Tallinn, Estonia. |
E. Rodrigues Vieira and A. Cavalli, Automatic Test Generation applied to a Vocal Service, 2nd International Conference on Systems IEEE ICONS07, Martinique, April 22 - 28, 2007. |
J.M. Orset, B. Alcalde and A. Cavalli. A formal approach for detecting attacks in ad hoc networks. International Journal of Network Security, 2(2: 141-149, 2007. |
2006 |
A. Cavalli and D. Vieira, Vérification et analyse de Performance d'un Protocole de Gestion de Session, Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Tozeur, Tunisie, Octobre 2006. |
A. Cavalli, T. G. Griffin and D. Vieira, MSP: A Novel Session Maintenance Protocol, 14th IEEE International Conference on Networks (ICON2006), Singapore, September 14-15, 2006. |
A. Cavalli and D. Vieira, Working Around BGP: An Improvement of BGP Session Maintenance, IEEE International Conference on Networking and Services, Silicon Valley, USA, July 2006. |
B. Alcalde, A. Cavalli, Test passif de protocoles en temps-réel grâce au parallélisme, NOTERE 2006, Toulouse, France, juin 06-09, 2006. |
A. Cavalli, S. Maag, W. Mallouli and Y.M. Quemener, Application of Two Test Generation Tools to an Industrial Case Study, The 18th IFIP International Conference on Testing Communicating Systems (TestCom 2006), New York, USA, May 2006. |
J. M. Orset and A. Cavalli, A Security Model for OLSR Manet Protocol, Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT), May 2006, Nara, Japan. |
B. Wehbi, W. Mallouli and A. Cavalli, Light Client Management Protocol for Wireless Mesh Networks, Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT), May 2006, Nara, Japan. |
A. Cavalli and D. Vieira, An Enhanced Passive Testing Approach for Network Protocols, IEEE International Conference on Systems (ICONS 2006), April 2006, Mauritius. |
B. Alcalde, A. Cavalli, Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach, IEEE ICN 2006, April 2006, Mauritius. |
A. Cavalli, T. G. Griffin and D. Vieira, Implementation Analysis of MSP, IEEE ICN 2006, Mauritius, April 2006. |
A. Cavalli and D. Vieira, A Reliable Approach for Transport Session Management, IEEE AICT 2006, Guadeloupe, February 2006, French Caribbean. |
2005 |
A. Cavalli and E. Rodrigues Vieira, A Formal Approach of Interoperability Test Cases Generation Applied to Real Time Domain, IEEE I2TS 05, Florianópolis, SC, Brazil, December 2005. |
A. Cavalli, T. G. Griffin and D. Vieira, Formal Verification of the Managed Session Protocol, IEEE I2TS 05, Florianópolis, SC, Brazil, December 2005. |
A. Cavalli and E. Rodrigues Vieira, Test Case Generation based on Timed Constraints, IEEE ICESS 2005, Xian, China, December 2005. |
J.-M. Orset, B. Alcalde and A. Cavalli, An EFSM-Based Intrusion Detection System for Ad Hoc Networks, ATVA 05, Taipei, Taiwan, October 2005.  |
R. Dorofeeva, K. El-Fakih, S. Maag, A. Cavalli and N. Yevtushenko, Experimental Evaluation of FSM-Based Testing Methods, SEFM 2005, Koblenz, Germany. |
A. Cavalli, S. Maag and F. Zaidi, Une approche UML pour la validation des services web, NOTERE 2005, Gatineau, Quebec, Sept. 2005. |
A. Cavalli, T. Griffin and D. Vieira, A Comparison Between Two Session Maintenance Protocols, AICT/SAPIR/ELETE 2005, July, Lisbon, Portugal. |
E. Rodrigues Vieira, A. Cavalli, Test Generation for Real-Time Systems, 11th Open European Summer School, Colmenarejo, Madrid, Spain, July 2005. |
B.T. Ladani, B. Alcalde and A. Cavalli, Passive Testing - A Constrained Invariant Checking Approach, TESTCOM 2005, May-June, Montréal, Canada. |
A. Cavalli, C. Grepet and S. Maag, A validation model for the DSR protocol, to be published in special issue on 'wireless Ad Hoc Networking' of the International Journal of Wireless and Mobile Computing (IJWMC). |
E. Bayse, A. Cavalli, M. Nunez and F. Zaidi, A Passive Testing Approach based on Invariants: Application to the WAP, to be published in Journal of Computer network. |
R. Castanet, A. Cavalli, P. Combes, P. Laurençot, M. Mackaya, A. Mederreg, W. Monin, F. Zaidi, Une plate-forme de validation multi-protocoles et multi-services. Résultats d'expérimentation, to be published in Annales des Télécommunications. |
S. Maag, C. Grepet and A. Cavalli, Un modèle de validation pour le protocole DSR, CFIP 2005, March-April, Bordeaux, France. |
2004 |
A. Cavalli, A. Mederreg and F. Zaidi, Application of a Formal Testing Methodology to Wireless Telephony Networks, Journal of the Brazilian Computer Society, Number 2, Vol. 10, pp 56-68, November 2004. |
A. Cavalli and J.-M. Orset, Secure hosts autoconfiguration in mobile ad hoc networks, Special issue of Ad hoc Networks Journal (Elsevier) on 'Data communication and topology control in ad hoc networks'. Available on line 30. November 2004. |
B. Alcalde, A. Cavalli, D. Chen, D. Khuu and D. Lee, Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach, FORTE 2004, LNCS 3235, September, Madrid, Spain.  |
A. Cavalli, S. Maag, S. Papagiannaki, G. Verigakis, F. Zaidi, A Testing Methodology for an Open Software E-Learning Platform, EDUTECH'2004, August 2004, Toulouse (France). |
A. Cavalli, S. Maag, S. Papagiannaki, G. Verigakis, From UML models to automatic generated tests for the dotLRN e-learning platform, TACOS'2004, March-April 2004, Barcelona (Spain). |
A. Cavalli and S. Maag, Automated Test Scenarios Generation for an E-barter System, ACM SAC 2004, March 2004, Nicosia (Cyprus). |
R. Castanet, A. Cavalli, P. Combes, P. Laurencot, M. MacKaya, A. Mederreg, W. Monin and F. Zaidi, A Multi-Service and Multi-Protocol Validation Platform - Experimentation Results, TESTCOM 2004, Oxford (United Kingdom). |
A. Cavalli, C. Grepet and S. Maag, A validation Model for the DSR Protocol, ICDCS'2004, March 2004, Tokyo (Japan). |
A. Cavalli, J.M. Orset, Secure Hosts Autoconfiguration in Mobile Ad Hoc Networks, ICDCS'2004, March 2004, Tokyo (Japan). |
2003 |
A. Cavalli, C. Gervy and S. Prokopenko, New Approaches for Passive Testing Using an Extended Finite State Machine Specification, Journal of Information and Software Technology, 45:837-852, 2003. |
A. Cavalli, A. Mederreg and F. Zaidi, Application of Formal Testing Methodology to Wireless Telephony Networks, IEEE I2TS'2003, October 2003, Brazil.  |
C. Besse, A. Cavalli and F. Zaidi, Deux méthodes de test d'intéropérabilité, 4ème Colloque Francophone sur la Modélisation des Systémes Réactifs, October 2003, Metz (France). |
R. Anido, A. Cavalli, L. Paula Lima, N. Yetvushenko, Test suite minimization for testing in context, Journal of Software Testing, Verification and Reliability, September 2003. |
J. Antonio Arnedo, A. Cavalli and M. Nunez, Fast Testing of Critical Properties through Passive Testing, TESTCOM 2003, May 2003, Sophia Antipolis (France). |
A. Cavalli, TestNet : let's test Together, keynote Speaker, TESTCOM 2003, May 2003, Sophia Antipolis (France). |
A. Mederreg, A. Cavalli, M. Mackaya and R. Castanet, Test de services basés sur la localisation, GRES'2003, February 2003, Fortaleza, Ceara (Brazil).  |
2002 |
A. Cavalli, D. Lee and S. Maag, A Scenario-based Approach for Feature Interaction Detection of Communication Software Systems, SEA 2002, November 2002, MIT, Cambridge (USA).  |
A. Cavalli and S. Maag, A new Algorithm for Service Interaction Detection, ICFEM 2002, October 2002, Shanghai (China). |
A. Cavalli and S. Prokopenko, Passive testing using configuration distinguishability, ICAM'02, September 2002, Tomsk (Russia). |
A. Cavalli, A. Mederreg and F. Zaidi -Best paper prize - Mobile services validation, SCI 2002, July 2002, Orlando (Floride/USA). |
R. Castanet and A. Cavalli, Méthodologies de tests, Applications aux réseaux sans fil, CFIP'2002, May 2002, Montréal (Canada). |
A. Mederreg and A. Cavalli, Description en LDS des services basés sur la localisation, JDIR 2002, March 2002, Toulouse (France). |
C. Besse, A. Cavalli, M. Kim and F. Zaidi, Two methods for interoperability testing. Application to TCP/IP protocol, TestCom'2002, March 2002, Berlin. |
A. Cavalli, S. Prokopenko and N. Yetvushenko, Fault detection within a component of a system of communicating FSMs, TestCom'2002, March 2002, Berlin. |
2001 |
C. Besse, A. Cavalli and F. Khendek, Validation of a system specification using MSC vues, IEEE APAQS'2001, Hong Kong, December 2001.
|
A. Cavalli, C. Gervy and S. Prokopenko, New approaches for passive testing using an Extended Finite State Machine specification, Concordia Prestigious Workshop on Communication Software Engineering, September 2001, Montreal.
|
A. Cavalli, B.Defude, Christian Rinderknecht and Fatiha Zaidi, A method for Component Testing and a CORBA test architecture, IEEE ISCC International Conference, July 2001, Tunis.
|
A. Cavalli, I. Hwang, A. Mederreg and C. Rinderknecht, The Platonis Project : a platform for validation and experimentation of of protocols and services, IEEE Workshop on Services & Applications in the Wireless Public Infrastructure, July 2001, Evry (France), pp251-263.
|
A. Fukada, A. Nakata, J. Kitamichi, T. Higashino and A. Cavalli, A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs, IEEE ICOIN Conference, February 2001, Japan .
|
2000 |
A.Cavalli, S.Prokopenko and N. Yetvushenko, Fault Detection for a Widely Used Test Suite for a System of Communicating FSMs, TestCom 2000, September 2000, Ottawa, Canada.
|
A. Cavalli, B.Defude, Christian Rinderknecht and Fatiha Zaidi, Test de composants de service et execution de tests sur une plate-forme CORBA, CFIP'2000, Toulouse.
|
1999 |
Guest Editor : Ana Cavalli has been the guest editor of ¡í the Special Issue of CN&ISDN Systems dedicated to Advanced Topics of the SDL language ¡í , 1999.
|
Marine Tabourier et Ana Cavalli , Passive Testing and application to the GSM-MAP Protocol, Journal of Information and Software Technology Special issue on Communications Software Engineering, December 1999.
|
Ana Cavalli, Melania Ionescu , Validation of the GSM-MAP protocol, Journal Annales des Telecom, Decembre 1999.
|
Ana Cavalli, David Lee, Christian Rinderknecht and Fatiha Zaidi , Hit-or-Jump an algorithm for Embedded Testing with applications to In services, Proceeding of IFIP International conference FORTE/PSTV'99, Beijing (Chine), 5-8 October 1999.
|
Cedric Besse, Ana Cavalli and David Lee , Optimization Techniques and Automatic Test Generation for TCP Protocols, IEEE Automated Software Engineering, Conference ASE'99, Cocoa Beach, Florida (USA), October 1999.
|
Ana Cavalli , Different Approaches to Protocol and Service Testing, Invited Paper IFIP , IWTCS'99, Budapest , September 1999.
|
Nina Yetvushenko, Ana Cavalli and Ricardo Anido , Test Suite Minimization for Embedded Nondeterministic Finite State machines, IFIP IWTCS' 99, Budapest, September 1999.
|
Teruo Higashino, Akio Nakata, Kenichi Taniguchi, et Ana Cavalli , Generating Test Cases for a Timed I/O Automaton Model, IFIP IWTCS'99, Budapest , September 1999.
|
Melania Ionescu et Ana Cavalli , Embedded Testing of the MAP-GSM Protocol using a Trace-Keeping composition Protocol, Workshop on Formal methods Telecommunications Systems, Zaragoza (Espagne), 6-10 September 1999.
|
Marine Tabourier, Ana Cavalli and Melania Ionescu , A GSM-MAP Protocol Experiment Using Passive Testing, Proceeding of FM'99 (World Congress on Formal methods in development of Computing Systems), Toulouse (France), 20-24 September 1999 .
|
Melania Ionescu, Ana Cavalli , Test imbrique du protocole MAP-GSM, Proceedings of CFIP'99 / Colloque Francophone sur L'Ingenierie des protocoles , Nancy, (France) 26-29 April 1999.
|
1998 |
L. Luiz Paula lima, A. Cavalli, Application of embedded testing methods to service validation, Proceeding of ICFEM'98, IEEE International Conference On formal Engineering Methods , Brisbane, (Australie) 9-11 December 1998.
|
N. Yevtushenko, A.R. Cavalli, L. Paula Lima , Test suite minimization for testing in context, Proceeding of IWTCS'98 The IFIP 11th International Workshop on Testing of Communicating Systems , Tomsk, (Russie) September 1998.
|
M. Tabourier and A. Cavalli , Validation of object-oriented distributed, 4 th EUNICE (European Network of Universities and Companies, in information and communication Engineering) Summer School) , Munich (Allemagne), August 1998.
|
C. Besse and A. Cavalli , Modelling and test of services for a distributed telecommunications network architecture, 4 th EUNICE (European Network of Universities and Companies, in information and communication Engineering) Summer School, Munich (Allemagne), August 1998.
|
A. Cavalli, C.Besse, L'evolution du reseau intelligent et la validation des services, Tutorial, NOTERE'98, Montreal, Canada, october 1998.
|
M. Tabourier et A. Cavalli, Validation des systemes orientes objet de type ODP, JDIR'98 , ENST Paris, april 1998.
|
1997 |
L. Paula Lima, A. Cavalli, Exécution de tests de services sur une plate-forme distribuée, Proceeding of NOTERE' 97/ Les NOuvelles Technologies de la REpartition Pau, (France) 4-6 november 1997.
|
L. Paula Lima, A. Cavalli , A pragmatic approach to generating test sequences for embedded systems, Proceeding of IWTCS'97/ 10th internationa IFIP TC6 /WG6.1 Workshop on Testing of Communication Systems Cheju Island, (Coree) 8-10 september 1997 .
|
L. Paula Lima, A. Cavalli , Test execution of telecommunications services using CORBA, Proceeding of FMOODS'97/IFIP International Conference on Formal Methods Open Object based Distributed Systems Canterbury (Grande Bretagne) 21-23 July 1997.
|
A.Cavalli, B. Lee and T. Macavei, Test Generation for SSCOP-ATM networks protocol, SDL'97 Forum, Evry, France, 1997.
|
1996 |
A.Cavalli, J.P. Favreau and M. Phalippou, Standardization of Formal Methods in Conformance Testing of Communication Protocols, Computer Networks & ISDN Systems 29 (1996)3 14. Special. Issue dedicated to conformance testing October 96 .
|
R. Anido, A. Cavalli, T. Macavei, L. Paula Lima, M. Clatin, M. Phalippou , Engendrer des tests pour un vrai protocole grâce à des techniques éprouvées de vérification, Proceeding of CFIP'96 / Cinquieme Colloque Francophone sur L'Ingénierie des Protocoles ENSIAS, Rabat, (Maroc) 14-17 october 1996.
|
A. Cavalli, B.M. Chin and K. Chon, Testing Methods for SDL Systems, Computer Networks and ISDN Systems 28 (1996) 1669- 1683 July 1996.
|
L. Paula Lima, A. Cavalli , Service Validation (An Embedded testing Approach), Proceeding of EUNICE '96 /European Network of Universities and Companies in Information and Communication Engineering) Summer School on Telecommunications services , Lausanne, (Suisse) 23-27 september 1996.
|
R. Anido, A. Cavalli, T. Macavei, L. Paula Lima, M. Clatin, M. Phalippou , Testing a real protocol with the aid of verification techniques, Invited Speaker, published by the "Hungarian Academy of Sciences Central Research Institute for Physics Budapest" . Presented at Cost 247 Conformance Testing, Darmstadt, (Allemagne) July 1996.
|
1995 |
Cavalli and B.M. Chin, Testing Methods for SDL Systems, Tutorial, Proceedings SDL Forum 95, pp 107-127, Oslo, 1995.
|
A. Cavalli and B.M. Chin, Test Generation from SDL and Input/Output Finite State Machines, 2th International Conference on Computer Communication, Seoul, Koree, 1995.
|
A. Cavalli and H. Fouchal, An Integrated Tool for LOTOS Development, 12th International Conference on Computer Communication, Seoul, Coree, 1995.
|
R. Anido and A. Cavalli, Guaranteeing full fault coverage for UIO-based testing methods, IFIP IWPTS'95, Evry, France, 1995.
|
1994 |
A. Cavalli, H. Fouchal, P. Maigron, Un environnement de programmation et de verification pour LDS et LOTOS, MCSEAI'94, Rabat, Maroc, 1994.
|
A. Cavalli and H. Fouchal, A compositional proof method for LOTOS, PODC (Principles of Distributed Computing), Position Statement ACM, Los Angeles, USA, 1994.
|
A. Cavalli and H. Fouchal, Modal verification for LOTOS, FORTE'94, Berne, Switzerland, 1994.
|
A. Cavalli, H. Fouchal and P. Maigron, Lotos Development Tool under Concerto, ISACC'94 (Second International Symposium on Applied Corporate Computing), Monterrey, Mexico, 1994.
|
A. Cavalli and M. Phalippou, Some Issues in Testing Theory and its Applications, IFIP IWPTS, Tokyo, Japan, 1994.
|
1993 |
A. Cavalli, S.U. Kim, P. Maigron, Improving Conformance Testing for LOTOS, FORTE' 93, Boston, October 1993.
|
A. Cavalli, J.P. Favreau, M. Phalippou, Formal Methods for Conformance Testing: results and perspectives, Invited Paper, IWPTS 93, Pau, September 1993.
|
A. Cavalli, S.U. Kim, Automated Protocol Conformance Test Sequence Generation and Fault Coverage Estimation, IEEE Asia -Pacific Conference on Communications, Taejon, Koree, August 1993.
|
1992 |
A. Cavalli, S.U. Kim, P. Maigron, Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications, in G. Bochmann and R. Dssouli editors, IFIP Protocol Test Systems, Lecture Notes in Computer Sciences, Springer Verlag, Montreal, Canada, 1992.
|
T. Carvalho, A. Cavalli, S. M. Martin, Defining a Verification Methodology for Distributed Algorithms, Proceedings of Tenth SBRC, Recife, Brazil, April 1992.
|
1991 |
A. Cavalli, Sung U. Kim, Protocol Conformance Test Generation using a Graph Rewriting System, Proceedings of the IFIP 4th International Workshop on Protocol Test Systems, Leidschendam Netherlands, 1991.
|
1990 |
A. Cavalli, Specification languages and verification tools, Invited paper, 8th Simposio Brasileiro de Redes de Computadores, 9-11 avril, Campinas, 1990.
|
1988 |
A. Cavalli, E. Paul, Automated protocol validation based on complementary approaches, Proceedings of the 2nd International Symposium on Interoperable Information Systems, ISIIS 88, Tokyo, Japon, 1988.
|
A. Cavalli, E. Paul, Exhaustive analysis and simulation for distributed systems, both sides of the same coin, Distributed Computing Review, Vol 2, Springer Verlag, 1988. Egalement dans Actes CGL4-AFCET, Genie Logiciel- 4eme Colloque-Exhibition, Octobre 1988, Paris.
|
1987 |
A. Cavalli, F. Horn, Proof of specifications properties by using finite state machines and temporal logic, Proceedings of IFIP VII Protocol Symposium on Protocol Specification, Testing and Verification, Zurich, North-Holland,1987.
|
A. Cavalli, Evaluation des spécifications LDS à l'aide d'automates et de la Logique Temporelle, Actes Journées AFCET-GROPLAN: Les langages de spécification, Aix-en- Provence, 1987.
|
A. Cavalli and al, The SPECS Architecture: towards an integrated specification Environment, Proceedings Third CCITT SDL Forum, The Hague, 1987.
|
1986 |
A. Cavalli, A Prolog implementation of temporal operators, Actes Colloque Logique 1986, Reunion Europeenne de l'Association for Symbolic Logic, Hull University, England, 1986.
|
1985 |
A. Cavalli, Application de la Logique temporelle à la spécification et vérification des protocoles de communication, Actes Colloque Logique 1985, Réunion Europeenne Association for Symbolic Logic, Paris, 1985.
|
A. Cavalli, Resolucion y tableaux semanticos para la logica temporal: una comparacion, Proceedings of the XI Conferencia Latinoamericana de Informatica, Porto Alegre, Brasil, 1985.
|
1984 |
A. Cavalli, D. Schwabe, Temporal logic Specification of a Virtual Ring LAN Acces Protocol, Proceedings of the IFIP, IV International Workshop on Protocol Specification, Testing and Verification, Skytop, USA, 1984.
|
A. Cavalli, A method of automatic proof for the specification and verification of protocols, Revue: Computer Communication Review, Vol 14, N° 2, 1984. Also in Proceedings of ACM SIGCOMM' 84 Symposium on Communications, Architectures and Protocols, June 1984, PA, USA.
|