Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Baptiste
Last name:	Alcalde
DBLP:	47/149
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 4 of 4  

Select a publication
Show	Title	Venue	Rating	Date
	Baptiste Alcalde, Ana R. Cavalli. Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach.	Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius 2006	(0)	2006
	Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli. An EFSM-Based Intrusion Detection System for Ad Hoc Networks.	Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings 2005	(0)	2005
	Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli. Passive Testing - A Constrained Invariant Checking Approach.	Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings 2005	(0)	2005
	Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee. Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.	Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings 2004	(0)	2004

Your query returned 4 matches in the database.