The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bruno Dutertre: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Carman, Daniel Coffin, Bruno Dutertre, Vipin Swarup, Ronald J. Watro
    Forum Session: Security for Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    ACSAC, 2003, pp:106-109 [Conf]
  2. Steven Cheung, Bruno Dutertre, Ulf Lindqvist
    Detecting Disruptive Routers in Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    ADHOC-NOW, 2006, pp:19-31 [Conf]
  3. Bruno Dutertre, Leonardo Mendonça de Moura
    A Fast Linear-Arithmetic Solver for DPLL(T). [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:81-94 [Conf]
  4. Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
    Dependable Intrusion Tolerance: Technology Demo. [Citation Graph (0, 0)][DBLP]
    DISCEX (2), 2003, pp:128-130 [Conf]
  5. Bruno Dutertre, Hassen Saïdi, Victoria Stavridou
    Intrusion-Tolerant Group Management in Enclaves. [Citation Graph (0, 0)][DBLP]
    DSN, 2001, pp:203-214 [Conf]
  6. John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou
    A Formalization of Software Architecture. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:116-133 [Conf]
  7. Bruno Dutertre, Maria Sorea
    Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:199-214 [Conf]
  8. Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre
    Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:304-313 [Conf]
  9. Bruno Dutertre
    Complete Proof Systems for First Order Interval Temporal Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:36-43 [Conf]
  10. Bruno Dutertre
    Dynamic Scan Scheduling. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 2002, pp:327-0 [Conf]
  11. Bruno Dutertre, Valentin Crettaz, Victoria Stavridou
    Intrusion-Tolerant Enclaves. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 2002, pp:216-0 [Conf]
  12. Hassen Saïdi, Victoria Stavridou, Bruno Dutertre
    Protocol Codesign. [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 2003, pp:106-113 [Conf]
  13. Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
    An Architecture for an Adaptive Intrusion-Tolerant Server. [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 2002, pp:158-178 [Conf]
  14. Bruno Dutertre
    Elements of Mathematical Analysis in PVS. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1996, pp:141-156 [Conf]
  15. Bruno Dutertre, Steve Schneider
    Using a PVS Embedding of CSP to Verify Authentication Protocols. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:121-136 [Conf]
  16. Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre
    Using Model Checking to Assess the Dependability of Agent-Based Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2004, v:19, n:5, pp:62-70 [Journal]
  17. Shaoying Liu, Victoria Stavridou, Bruno Dutertre
    The practice of formal methods in safety-critical systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1995, v:28, n:1, pp:77-87 [Journal]
  18. Bruno Dutertre, Victoria Stavridou
    Formal Requirements Analysis of an Avionics Control System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:5, pp:267-278 [Journal]
  19. Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar
    A Tutorial on Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:20-36 [Conf]

  20. Modeling and Verification of Time-Triggered Communication Protocols. [Citation Graph (, )][DBLP]


  21. Formal Analysis of the Priority Ceiling Protocol. [Citation Graph (, )][DBLP]


  22. SMT-Based Formal Verification of a TTEthernet Synchronization Function. [Citation Graph (, )][DBLP]


  23. Formal Modeling and Analysis of the Modbus Protocol. [Citation Graph (, )][DBLP]


Search in 0.056secs, Finished in 0.057secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002