Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Baptiste Alcalde" ( http://dblp.L3S.de/Authors/Baptiste_Alcalde )

  Author page on DBLP  Author page in RDF  Community of Baptiste Alcalde in ASPL-2

Publication years (Num. hits)
2004-2011 (7)
Publication types (Num. hits)
inproceedings(7)
Venues (Conferences, Journals, ...)
AAMAS(1) ATVA(1) Formal Aspects in Security and...(1) FORTE(1) ICN/ICONS/MCL(1) STM(1) TestCom(1)
Authors
Baptiste Alcalde(7) Ana R. Cavalli(4) Sjouke Mauw(2) Behrouz Tork Ladani(1) Chattrakul Sombattheera(1) Chenyi Zhang(1) David Lee(1) Davy Khuu(1) Dongluo Chen(1) Jean-Marie Orset(1) Jun Pang(1) Leendert van der Torre(1) Patrice Caire(1) Yanjie Sun(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Patrice Caire, Baptiste Alcalde, Leendert van der Torre, Chattrakul Sombattheera Conviviality measures. Search on Bibsonomy AAMAS The full citation details ... 2011 DBLP  BibTeX  RDF
1Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw A Trust-Augmented Voting Scheme for Collaborative Privacy Management. Search on Bibsonomy STM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Baptiste Alcalde, Sjouke Mauw An Algebra for Trust Dilution and Trust Fusion. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Baptiste Alcalde, Ana R. Cavalli Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach. Search on Bibsonomy ICN/ICONS/MCL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli An EFSM-Based Intrusion Detection System for Ad Hoc Networks. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli Passive Testing - A Constrained Invariant Checking Approach. Search on Bibsonomy TestCom The full citation details ... 2005 DBLP  DOI  BibTeX  RDF invariant checking, SCP, invariants, constraint solving, passive testing
1Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.