Mario Bravetti
AuthID: R-006-QZ9
1
TITLE: A Java typestate checker supporting inheritance Full Text
AUTHORS: Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, Joao; Ravara, Antonio;
PUBLISHED: 2022, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 221
AUTHORS: Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, Joao; Ravara, Antonio;
PUBLISHED: 2022, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 221
INDEXED IN: 
WOS
WOS2
TITLE: Behavioral Types in Programming Languages
AUTHORS: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre Malo Denielou; Simon J Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
AUTHORS: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre Malo Denielou; Simon J Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
3
TITLE: Towards Global and Local Types for Adaptation
AUTHORS: Mario Bravetti; Marco Carbone; Thomas Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A Perez ; Gianluigi Zavattaro;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
AUTHORS: Mario Bravetti; Marco Carbone; Thomas Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A Perez ; Gianluigi Zavattaro;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
4
TITLE: ADAPTABLE PROCESSES Full Text
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez ; Gianluigi Zavattaro;
PUBLISHED: 2012, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 8, ISSUE: 4
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez ; Gianluigi Zavattaro;
PUBLISHED: 2012, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 8, ISSUE: 4
5
TITLE: Adaptable Processes (Extended Abstract)
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez; Gianluigi Zavattaro;
PUBLISHED: 2011, SOURCE: Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, VOLUME: 6722
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez; Gianluigi Zavattaro;
PUBLISHED: 2011, SOURCE: Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, VOLUME: 6722
INDEXED IN: WOS
WOS6
TITLE: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
AUTHORS: Mario Bravetti; Gianluigi Zavattaro;
PUBLISHED: 2009, SOURCE: CONCUR, VOLUME: 5710
AUTHORS: Mario Bravetti; Gianluigi Zavattaro;
PUBLISHED: 2009, SOURCE: CONCUR, VOLUME: 5710
INDEXED IN: 
DBLP
DBLP7
TITLE: CONCUR 2009 - Concurrency Theory
AUTHORS: Mario Bravetti; Gianluigi Zavattaro;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
AUTHORS: Mario Bravetti; Gianluigi Zavattaro;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef8
TITLE: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings
AUTHORS: Mario Bravetti; Manuel Núñez; Gianluigi Zavattaro;
PUBLISHED: 2006, SOURCE: WS-FM, VOLUME: 4184
AUTHORS: Mario Bravetti; Manuel Núñez; Gianluigi Zavattaro;
PUBLISHED: 2006, SOURCE: WS-FM, VOLUME: 4184
INDEXED IN: DBLP
DBLP