Publication | Year | ||||||||
---|---|---|---|---|---|---|---|---|---|
Authors :
Ana Cavalli
, Sudipto Ghosh
Journal : Software Testing, Verification and Reliability Volume : 23 Pages : 351-351 |
2013 | ||||||||
A Distributed and Collaborative Intrusion Detection Architecture for Wireless Mesh Networks Authors : Anderson Morais , Ana CavalliJournal : Mobile Networks and Applications Journal Reference count : 35 Volume : 19 Pages : 101-120 |
2013 | ||||||||
Testing a probabilistic FSM using interval estimation Authors : Iksoon Hwang , Ana CavalliJournal : Computer Networks Journal Reference count : 29 Volume : 54 Pages : 1108-1125 |
2010 | ||||||||
Validation of the GSM-map protocol Authors : Ana CAVALLI , Melania IonescuJournal : Annales Des Télécommunications Journal Reference count : 30 Volume : 55 Pages : 58-69 |
2000 | ||||||||
Advanced Topics on SDL and MSC Authors : Ana Rosa CavalliJournal : Computer Networks Volume : 31 Pages : 1783-1784 |
1999 | ||||||||
Authors :
Omar Rafiq
, Ana Cavalli
Journal : Computer Networks and ISDN Systems Volume : 29 Pages : 1-2 |
1996 | ||||||||
A method of automatic proof for the specification and verification of protocols Authors : Ana R. CavalliJournal : ACM SIGCOMM Computer Communication Review Journal Reference count : 17 Volume : 14 Pages : 100-106 |
1984 |