dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Carl A. Gunter (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter: Network Event Recognition. Formal Methods in System Design 27(3): 213-251 (2005)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter: Requirements for a Practical Network Event Recognition Language. Electr. Notes Theor. Comput. Sci. 70(4): 1-20 (2002)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. 28(2): 129-145 (2002)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter: Formal verification of standards for distance vector routing protocols. J. ACM 49(4): 538-576 (2002)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic: Fault origin adjudication. FMSP 2000: 61-71
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal analysis of network simulations. ISSTA 2000: 2-13
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic: Routing Information Protocol in HOL/SPIN. TPHOLs 2000: 53-72
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave: The Village Telephone System: A Case Study in Formal Software Engineering. TPHOLs 1998: 49-66

Selection of 9 from 101 records - Carl A. Gunter has 126 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page