Carlo Montangero

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