| 2007 |
|---|
| 36 | EE | Carlo Montangero,
Stephan Reiff-Marganiec,
Laura Semini:
Logic-Based Detection of Conflicts in AppelPolicies.
FSEN 2007: 257-271 |
| 2006 |
|---|
| 35 | EE | Carlo Montangero,
Laura Semini:
A Logical View of Choreography.
COORDINATION 2006: 179-193 |
| 2005 |
|---|
| 34 | EE | 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 |
| 2004 |
|---|
| 33 | EE | Carlo Montangero,
Laura Semini,
Simone Semprini:
Logic Based Coordination for Event-Driven Self-healing Distributed Systems.
COORDINATION 2004: 248-263 |
| 32 | EE | Mikael Buchholtz,
Carlo Montangero,
Lara Perrone,
Simone Semprini:
For-LySa: UML for Authentication Analysis.
Global Computing 2004: 93-106 |
| 2003 |
|---|
| 31 | EE | Carlo Montangero,
Laura Semini:
Distributed States Temporal Logic
CoRR cs.LO/0304046: (2003) |
| 2002 |
|---|
| 30 | EE | Amjad Hudaib,
Carlo Montangero:
A UML Profile to Support the Formal Presentation of Software Architecture.
COMPSAC 2002: 217-223 |
| 29 | EE | Carlo Montangero,
Laura Semini:
istributed States Logic.
TIME 2002: 55-57 |
| 28 | | Gian Luigi Ferrari,
Carlo Montangero,
Laura Semini,
Simone Semprini:
Mark, a Reasoning Kit for Mobility.
Autom. Softw. Eng. 9(2): 137-150 (2002) |
| 2000 |
|---|
| 27 | EE | Gian Luigi Ferrari,
Carlo Montangero,
Laura Semini,
Simone Semprini:
Mobile Agents Coordination in Mobadtl.
COORDINATION 2000: 232-248 |
| 1999 |
|---|
| 26 | EE | Carlo Montangero,
Laura Semini:
Composing Specifications for Coordination.
COORDINATION 1999: 118-133 |
| 25 | EE | Carlo Montangero,
Jean-Claude Derniame,
Badara Ali Kaba,
Brian Warboys:
The Software Process: Modelling and Technology.
Software Process: Principles, Methodology, Technology 1999: 1-14 |
| 24 | EE | 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 |
| 23 | EE | David Graham Wastell,
Selma Arbaoui,
Jacques Lonchamp,
Carlo Montangero:
The Human Dimension of the Software Process.
Software Process: Principles, Methodology, Technology 1999: 165-200 |
| 22 | EE | Wolfgang Emmerich,
Anthony Finkelstein,
Carlo Montangero,
Stefano Antonelli,
Stephen Armitage,
Richard Stevens:
Managing Standards Compliance.
IEEE Trans. Software Eng. 25(6): 826-851 (1999) |
| 21 | | Laura Semini,
Carlo Montangero:
A Refinement Calculus for Tuple Spaces.
Sci. Comput. Program. 34(2): 79-140 (1999) |
| 1996 |
|---|
| 20 | | Carlo Montangero:
Software Process Technology, 5th European Workshop, EWSPT '96, Nancy, France, October 9-11, 1996, Proceedings
Springer 1996 |
| 1995 |
|---|
| 19 | | Xiaojun Chen,
Paola Inverardi,
Carlo Montangero:
ESP-MC: An Experiment in the Use of Verification Tools.
ASIAN 1995: 396-410 |
| 18 | | Carlo Montangero:
Open Issues in the Design of PM Languages.
EWSPT 1995: 93 |
| 17 | | Carlo Montangero:
In Favour of a Coherent Process Coding Language.
EWSPT 1995: 94-97 |
| 16 | | X. J. Chen,
Carlo Montangero:
Compositional Refinements in Multiple Blackboard Systems
Acta Inf. 32(5): 415-458 (1995) |
| 1994 |
|---|
| 15 | | Vincenzo Ambriola,
Giovanni A. Cignoni,
Carlo Montangero:
The Oikos Services for Object Management in the Software Process.
EWSPT 1994: 2-14 |
| 14 | | Carlo Montangero:
The "process in the tool syndrome": is it becoming worse?
ISPW 1994: 53-56 |
| 1992 |
|---|
| 13 | | X. J. Chen,
Carlo Montangero:
Compositional Refinements in Multiple Blackboard Systems.
ESOP 1992: 93-109 |
| 12 | | Vincenzo Ambriola,
Carlo Montangero:
OIKOS at the Age of Three.
EWSPT 1992: 84-93 |
| 1991 |
|---|
| 11 | | Vincenzo Ambriola,
Carlo Montangero:
Hierarchical specification of software processes in Oikos.
ISPW 1991: 34-36 |
| 1990 |
|---|
| 10 | | Vincenzo Ambriola,
Paolo Ciancarini,
Carlo Montangero:
Software processes as a hierarchy.
ISPW 1990: 57-60 |
| 9 | | Vincenzo Ambriola,
Paolo Ciancarini,
Carlo Montangero:
The Logic Language ESP and its Programming Environment.
LPE 1990: 12-15 |
| 1989 |
|---|
| 8 | | Paola Inverardi,
Simone Martini,
Carlo Montangero:
Is Type Checking Practical for System Configuration?
TAPSOFT, Vol.2 1989: 257-271 |
| 1985 |
|---|
| 7 | EE | Vincenzo Ambriola,
Carlo Montangero:
Automatic generation of execution tools in a GANDALF environment.
Journal of Systems and Software 5(2): 155-171 (1985) |
| 1978 |
|---|
| 6 | | Carlo Montangero,
Giuliano Pacini,
Maria Simi,
Franco Turini:
Information Management in Context Trees.
Acta Inf. 10: 85-94 (1978) |
| 1977 |
|---|
| 5 | | Carlo Montangero,
Giuliano Pacini,
Franco Turini:
Two-Level Control Structure for Nondeterministic Programming.
Commun. ACM 20(10): 725-730 (1977) |
| 1976 |
|---|
| 4 | | Giuseppe Attardi,
Carlo Montangero,
Gianfranco Prini:
A High Level Machine for Artificial Intelligence.
AISB (ECAI) 1976: 26-37 |
| 1975 |
|---|
| 3 | | Carlo Montangero,
Giuliano Pacini,
Franco Turini:
MAGMA-LISP: A "Machine Language" For Artificial Intelligence.
IJCAI 1975: 556-561 |
| 1974 |
|---|
| 2 | | Giuliano Pacini,
Carlo Montangero,
Franco Turini:
Graph Representation and Computation Rules for Typeless Recursive Languages.
ICALP 1974: 157-169 |
| 1 | | Carlo Montangero,
Giuliano Pacini,
Franco Turini:
A model for structured parallel processing in block-structured programming languages.
Symposium on Programming 1974: 350-361 |
