Carlo Montangero

Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró: UML Extensions for Service-Oriented Systems. Results of the SENSORIA Project 2011: 35-60

Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini: Model-Driven Development of Adaptable Service-Oriented Business Processes. Results of the SENSORIA Project 2011: 115-132

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: 128-138

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini: Managing Adaptivity in Parallel Systems. FMCO 2011: 199-217

Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini: Detecting policy conflicts by model checking UML state machines. ICFI 2009: 59-74

Carlo Montangero, Laura Semini: Barbed Model-Driven Software Development: A Case Study. Electr. Notes Theor. Comput. Sci. 207: 171-186 (2008)

Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini: Logic-based Conflict Detection for Distributed Policies. Fundam. Inform. 89(4): 511-538 (2008)

Carlo Ghezzi, Paola Inverardi, Carlo Montangero: Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models 2008: 330-353

Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini: Logic-Based Detection of Conflicts in AppelPolicies. FSEN 2007: 257-271

Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini: StPowla: SOA, Policies and Workflows. ICSOC Workshops 2007: 351-362

Carlo Montangero, Laura Semini: A Logical View of Choreography. COORDINATION 2006: 179-193

Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero: End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. FM 2005: 286-301

Carlo Montangero, Laura Semini, Simone Semprini: Logic Based Coordination for Event-Driven Self-healing Distributed Systems. COORDINATION 2004: 248-263

Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini: For-LySa: UML for Authentication Analysis. Global Computing 2004: 93-106

Carlo Montangero, Laura Semini: Distributed States Temporal Logic. CoRR cs.LO/0304046 (2003)

Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini: Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. 9(2): 137-150 (2002)

Amjad Hudaib, Carlo Montangero: A UML Profile to Support the Formal Presentation of Software Architecture. COMPSAC 2002: 217-223

Carlo Montangero, Laura Semini: istributed States Logic. TIME 2002: 55-57

Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini: Mobile Agents Coordination in Mob_adtl. COORDINATION 2000: 232-248

Laura Semini, Carlo Montangero: A Refinement Calculus for Tuple Spaces. Sci. Comput. Program. 34(2): 79-140 (1999)

Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Stefano Antonelli, Stephen Armitage, Richard Stevens: Managing Standards Compliance. IEEE Trans. Software Eng. 25(6): 826-851 (1999)

Carlo Montangero, Laura Semini: Composing Specifications for Coordination. COORDINATION 1999: 118-133

Carlo Montangero, Jean-Claude Derniame, Badara Ali Kaba, Brian Warboys: The Software Process: Modelling and Technology. Software Process: Principles, Methodology, Technology 1999: 1-14

Wolfgang Emmerich, Anthony Finkelstein, Alfonso Fuggetta, Carlo Montangero, Jean-Claude Derniame: Software Process - Standards, Assessments and Improvement. Software Process: Principles, Methodology, Technology 1999: 15-26

David Graham Wastell, Selma Arbaoui, Jacques Lonchamp, Carlo Montangero: The Human Dimension of the Software Process. Software Process: Principles, Methodology, Technology 1999: 165-200

Carlo Montangero (Ed.): Software Process Technology, 5th European Workshop, EWSPT '96, Nancy, France, October 9-11, 1996, Proceedings. Lecture Notes in Computer Science 1149, Springer 1996, isbn 3-540-61771-X

X. J. Chen, Carlo Montangero: Compositional Refinements in Multiple Blackboard Systems. Acta Inf. 32(5): 415-458 (1995)

Xiaojun Chen, Paola Inverardi, Carlo Montangero: ESP-MC: An Experiment in the Use of Verification Tools. ASIAN 1995: 396-410

Carlo Montangero: Open Issues in the Design of PM Languages. EWSPT 1995: 93

Carlo Montangero: In Favour of a Coherent Process Coding Language. EWSPT 1995: 94-97

Carlo Montangero, F. Scarselli: Software Process Monitoring Mechanisms in Oikos. International Journal of Software Engineering and Knowledge Engineering 4(4): 481-499 (1994)

Vincenzo Ambriola, Giovanni A. Cignoni, Carlo Montangero: The Oikos Services for Object Management in the Software Process. EWSPT 1994: 2-14

Carlo Montangero: The "process in the tool syndrome": is it becoming worse? ISPW 1994: 53-56

X. J. Chen, Carlo Montangero: Compositional Refinements in Multiple Blackboard Systems. ESOP 1992: 93-109

Vincenzo Ambriola, Carlo Montangero: OIKOS at the Age of Three. EWSPT 1992: 84-93

Vincenzo Ambriola, Carlo Montangero: Hierarchical specification of software processes in Oikos. ISPW 1991: 34-36

Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero: Software processes as a hierarchy. ISPW 1990: 57-60

Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero: The Logic Language ESP and its Programming Environment. LPE 1990: 12-15

Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero: Software process enactment in Oikos. SDE 1990: 183-192

Paola Inverardi, Simone Martini, Carlo Montangero: Is Type Checking Practical for System Configuration? TAPSOFT, Vol.2 1989: 257-271

Vincenzo Ambriola, Carlo Montangero: Automatic generation of execution tools in a GANDALF environment. Journal of Systems and Software 5(2): 155-171 (1985)

Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini: Information Management in Context Trees. Acta Inf. 10: 85-94 (1978)

Carlo Montangero, Giuliano Pacini, Franco Turini: Two-Level Control Structure for Nondeterministic Programming. Commun. ACM 20(10): 725-730 (1977)

Giuseppe Attardi, Carlo Montangero, Gianfranco Prini: A High Level Machine for Artificial Intelligence. AISB (ECAI) 1976: 26-37

Carlo Montangero, Giuliano Pacini, Franco Turini: MAGMA-LISP: A "Machine Language" For Artificial Intelligence. IJCAI 1975: 556-561

Giuliano Pacini, Carlo Montangero, Franco Turini: Graph Representation and Computation Rules for Typeless Recursive Languages. ICALP 1974: 157-169

Carlo Montangero, Giuliano Pacini, Franco Turini: A model for structured parallel processing in block-structured programming languages. Symposium on Programming 1974: 350-361