Carlo Montangero

Publication Activity (10 Years)

Years Active: 1974-2021
Publications (10 Years): 1

Top Topics

Legacy Software

Acquisition Process

Quality Metrics

Top Venues

Publications

Roberto Di Cosmo, Carlo Montangero, Guido Scatena, Laura Bussi
Preserving landmark legacy software with the Software Heritage Acquisition Process. iPRES (2021)
Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini
Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management. Euro-Par Workshops (1) (2011)
Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini
Managing Adaptivity in Parallel Systems. FMCO (2011)
Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini
Detecting policy conflicts by model checking UML state machines. ICFI (2009)
Carlo Montangero, Laura Semini
Barbed Model-Driven Software Development: A Case Study. Electron. Notes Theor. Comput. Sci. 207 (2008)
Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
Logic-based Conflict Detection for Distributed Policies. Fundam. Informaticae 89 (4) (2008)
Carlo Ghezzi, Paola Inverardi, Carlo Montangero
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models (2008)
Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
Logic-Based Detection of Conflicts in AppelPolicies. FSEN (2007)
Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
StPowla: SOA, Policies and Workflows. ICSOC Workshops (2007)
Carlo Montangero, Laura Semini
A Logical View of Choreography. COORDINATION (2006)
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. FM (2005)
Carlo Montangero, Laura Semini, Simone Semprini
Logic Based Coordination for Event-Driven Self-healing Distributed Systems. COORDINATION (2004)
Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini
For-LySa: UML for Authentication Analysis. Global Computing (2004)
Carlo Montangero, Laura Semini
Distributed States Temporal Logic CoRR (2003)
Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. 9 (2) (2002)
Amjad Hudaib, Carlo Montangero
A UML Profile to Support the Formal Presentation of Software Architecture. COMPSAC (2002)
Carlo Montangero, Laura Semini
istributed States Logic. TIME (2002)
Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
. COORDINATION (2000)
David Graham Wastell, Selma Arbaoui, Jacques Lonchamp, Carlo Montangero
The Human Dimension of the Software Process. Software Process: Principles, Methodology, Technology (1999)
Laura Semini, Carlo Montangero
A Refinement Calculus for Tuple Spaces. Sci. Comput. Program. 34 (2) (1999)
Carlo Montangero, Laura Semini
Composing Specifications for Coordination. COORDINATION (1999)
Carlo Montangero, Jean-Claude Derniame, Badara Ali Kaba, Brian Warboys
The Software Process: Modelling and Technology. Software Process: Principles, Methodology, Technology (1999)
Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Stefano Antonelli, Stephen Armitage, Richard Stevens
Managing Standards Compliance. IEEE Trans. Software Eng. 25 (6) (1999)
Wolfgang Emmerich, Anthony Finkelstein, Alfonso Fuggetta, Carlo Montangero, Jean-Claude Derniame
Software Process - Standards, Assessments and Improvement. Software Process: Principles, Methodology, Technology (1999)
Carlo Montangero
Report on the fifth European workshop on software process technology. ACM SIGSOFT Softw. Eng. Notes 22 (1) (1997)
Carlo Montangero
Report on the Fifth European Workshop on Software Process Technology. Softw. Process. Improv. Pract. 2 (4) (1996)
Carlo Montangero, Laura Semini
Refining by architectural styles or architecting by refinements. ISAW/Viewpoints@FSE (1996)
X. J. Chen, Carlo Montangero
Compositional Refinements in Multiple Blackboard Systems. Acta Informatica 32 (5) (1995)
Carlo Montangero
In Favour of a Coherent Process Coding Language. EWSPT (1995)
Xiaojun Chen, Paola Inverardi, Carlo Montangero
ESP-MC: An Experiment in the Use of Verification Tools. ASIAN (1995)
Carlo Montangero
Open Issues in the Design of PM Languages. EWSPT (1995)
Carlo Montangero, Franco Scarselli
Software Process Monitoring Mechanisms in Oikos. Int. J. Softw. Eng. Knowl. Eng. 4 (4) (1994)
Vincenzo Ambriola, Giovanni A. Cignoni, Carlo Montangero
The Oikos Services for Object Management in the Software Process. EWSPT (1994)
Carlo Montangero
The "process in the tool syndrome": is it becoming worse? ISPW (1994)
Vincenzo Ambriola, Carlo Montangero
OIKOS at the Age of Three. EWSPT (1992)
X. J. Chen, Carlo Montangero
Compositional Refinements in Multiple Blackboard Systems. ESOP (1992)
Vincenzo Ambriola, Carlo Montangero
Hierarchical specification of software processes in Oikos. ISPW (1991)
Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero
Software process enactment in Oikos. SDE (1990)
Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero
The Logic Language ESP and its Programming Environment. LPE (1990)
Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero
Software processes as a hierarchy. ISPW (1990)
Paola Inverardi, Simone Martini, Carlo Montangero
Is Type Checking Practical for System Configuration? TAPSOFT, Vol.2 (1989)
Paola Inverardi, Franco Mazzanti, Carlo Montangero
The use of Ada in the design of distributed systems. SIGAda (1985)
Vincenzo Ambriola, Carlo Montangero
Automatic generation of execution tools in a GANDALF environment. J. Syst. Softw. 5 (2) (1985)
Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini
Information Management in Context Trees. Acta Informatica 10 (1978)
Carlo Montangero, Giuliano Pacini, Franco Turini
Two-Level Control Structure for Nondeterministic Programming. Commun. ACM 20 (10) (1977)
Giuseppe Attardi, Carlo Montangero, Gianfranco Prini
A High Level Machine for Artificial Intelligence. AISB (ECAI) (1976)
Carlo Montangero, Giuliano Pacini, Franco Turini
MAGMA-LISP: A "Machine Language" For Artificial Intelligence. IJCAI (1975)
Carlo Montangero
An Approach to the Optimal Specification of Read-Only Memories in Microprogrammed Digital Computers. IEEE Trans. Computers 23 (4) (1974)
Giuliano Pacini, Carlo Montangero, Franco Turini
Graph Representation and Computation Rules for Typeless Recursive Languages. ICALP (1974)
Carlo Montangero, Giuliano Pacini, Franco Turini
A model for structured parallel processing in block-structured programming languages. Symposium on Programming (1974)