Concepedia

Fabrizio Montesi

FM

24

Publications

1.1K

Citations

20

H-Index

2007

Active since

Affiliations

University of Southern Denmark(Current)

University of Bologna

IT University of Copenhagen

Department of Physics, Mathematics and Informatics

Imperial College London

Fabrizio Montesi is an author at University of Southern Denmark specializing in engineering, computer science, and software design.

Top concepts

EngineeringComputer ScienceSoftware DesignFormal MethodsSystem SoftwareSoftware EngineeringProgram AnalysisSoftware AnalysisFormal VerificationAutomated Reasoning

Publications per year

2007–2023

24

Publications

24

Deadlock-freedom-by-design

Marco Carbone, Fabrizio Montesi · 2013 · 142 citations

Engineering, Verification, Software Engineering +16

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti et al. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2016 · 104 citations · Full text

Bridging the Gap between Interaction- and Process-Oriented Choreographies

Ivan Lanese, Claudio Guidi, Fabrizio Montesi et al. · 2008 · 93 citations

Initial Interaction-oriented Choreography, Engineering, Interaction Model +20

Composing Services with JOLIE

Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro · 2007 · 75 citations

Web Service Specification, Service Composition, Engineering +15

JOLIE: a Java Orchestration Language Interpreter Engine

Fabrizio Montesi, Claudio Guidi, Roberto Lucchi et al. · Electronic Notes in Theoretical Computer Science · 2007 · 64 citations · Full text

Rows per page

1–5 of 24