Bruno Dutertre

发表

Magnus Almgren, Tomás E. Uribe, Alfonso Valdes, 2003, Proceedings DARPA Information Survivability Conference and Exposition.
Bruno Dutertre, Hassen Saïdi, Victoria Stavridou, 2001, 2001 International Conference on Dependable Systems and Networks.
Bruno Dutertre, Leonardo Mendonça de Moura, L. D. Moura, 2006, CAV.
Jorge A. Navas, Bruno Dutertre, Dejan Jovanovic, 2018, NFM.
Ulf Lindqvist, Alfonso Valdes, Bruno Dutertre, 2006 .
Bruno Dutertre, Stéphane Lengrand, Dejan Jovanovic, 2020, IJCAR.
Bruno Dutertre, Wilfried Steiner, 2011, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing.
Bruno Dutertre, Michel Le Borgne, 1994 .
Bruno Dutertre, Clark W. Barrett, Tim King, 2013, 2013 Formal Methods in Computer-Aided Design.
Ulf Lindqvist, Steven Cheung, Bruno Dutertre, 2006, ADHOC-NOW.
Natarajan Shankar, Jack W. Davidson, Ian A. Mason, 2016, CISRC.
Natarajan Shankar, Bruno Dutertre, Leonardo Mendonça de Moura, 2007, CAV.
Bruno Dutertre, B. Dutertre, 1995, LICS 1995.
Magnus Almgren, Tomás E. Uribe, Alfonso Valdes, 2004 .
Jorge A. Navas, Bruno Dutertre, Dejan Jonanovic, 2018 .
Murali Rangarajan, Darren D. Cofer, Bruno Dutertre, 2004, Proceedings. 26th International Conference on Software Engineering.
Bruno Dutertre, B. Dutertre, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Bruno Dutertre, Hassen Saïdi, Victoria Stavridou, 2003, Security Protocols Workshop.
Bruno Dutertre, 2000, Proceedings 21st IEEE Real-Time Systems Symposium.
Bruno Dutertre, Maria Sorea, B. Dutertre, 2004 .
Bruno Dutertre, 2007, Critical Infrastructure Protection.
Bruno Dutertre, Maria Sorea, Wilfried Steiner, 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
Bruno Dutertre, Sam Owre, Nstarajan Shankar, 2012 .
Alfonso Valdes, Bruno Dutertre, Joshua Levy, 2003, SSRS '03.
Vipin Swarup, Bruno Dutertre, Ronald J. Watro, 2003, 19th Annual Computer Security Applications Conference, 2003. Proceedings..
Natarajan Shankar, Bruno Dutertre, Leonardo de Moura, 2007 .
Magnus Almgren, Tomás E. Uribe, Alfonso Valdes, 2002, Security Protocols Workshop.
Ashish Tiwari, Sharad Malik, Pramod Subramanyan, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Bruno Dutertre, B. Dutertre, 2014, CAV.
Bruno Dutertre, Leonardo de Moura, L. D. Moura, 2006 .
Bruno Dutertre, Dejan Jovanovic, B. Dutertre, 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).
Bruno Dutertre, Hassen Saïdi, Robert A. Riemenschneider, 2004, IEEE Intelligent Systems.
Steve A. Schneider, Bruno Dutertre, Steve Schneider, 2013 .
Jorge A. Navas, Ian A. Mason, Bruno Dutertre, 2020, VSTTE.
Ashish Tiwari, Sanjit A. Seshia, Patrick Lincoln, 2014, HiCoNS.
Bruno Dutertre, Wilfried Steiner, 2011, NASA Formal Methods.
Bruno Dutertre, B. Dutertre, 1996, TPHOLs.
Bruno Dutertre, Victoria Stavridou, B. Dutertre, 1997, IEEE Trans. Software Eng..
Steve A. Schneider, Bruno Dutertre, B. Dutertre, 1997, TPHOLs.
Bruno Dutertre, Wilfried Steiner, 2013, Int. J. Crit. Comput. Based Syst..
Shaoying Liu, Bruno Dutertre, Victoria Stavridou, 1995, J. Syst. Softw..
Ashish Tiwari, Bruno Dutertre, Adrià Gascón, 2015, CADE.
Ashish Tiwari, Sharad Malik, Pramod Subramanyan, 2014 .
Axel van Lamsweerde, Bruno Dutertre, V. Stavridou, 2000 .
Bruno Dutertre, 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..
Bruno Dutertre, Victoria Stavridou, Valentin Crettaz, 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.
Bruno Dutertre, Dejan Jovanovi'c, B. Dutertre, 2021, CAV.
Bruno Dutertre, Victoria Stavridou, B. Dutertre, 1998, Proceedings Computer Security, Dependability, and Assurance: From Needs to Solutions (Cat. No.98EX358).
Bruno Dutertre, Victoria Stavridou-Coleman, 2002 .