2008 | ||
---|---|---|
41 | EE | Carlo Ghezzi, Paola Inverardi, Carlo Montangero: Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models 2008: 330-353 |
40 | EE | Carlo Montangero, Laura Semini: Barbed Model-Driven Software Development: A Case Study. Electr. Notes Theor. Comput. Sci. 207: 171-186 (2008) |
39 | EE | Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini: Logic-based Conflict Detection for Distributed Policies. Fundam. Inform. 89(4): 511-538 (2008) |
2007 | ||
38 | EE | Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini: Logic-Based Detection of Conflicts in AppelPolicies. FSEN 2007: 257-271 |
37 | EE | Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini: StPowla: SOA, Policies and Workflows. ICSOC Workshops 2007: 351-362 |
2006 | ||
36 | EE | Carlo Montangero, Laura Semini: A Logical View of Choreography. COORDINATION 2006: 179-193 |
2005 | ||
35 | 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 | ||
34 | EE | Carlo Montangero, Laura Semini, Simone Semprini: Logic Based Coordination for Event-Driven Self-healing Distributed Systems. COORDINATION 2004: 248-263 |
33 | EE | Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini: For-LySa: UML for Authentication Analysis. Global Computing 2004: 93-106 |
2003 | ||
32 | EE | Carlo Montangero, Laura Semini: Distributed States Temporal Logic CoRR cs.LO/0304046: (2003) |
2002 | ||
31 | EE | Amjad Hudaib, Carlo Montangero: A UML Profile to Support the Formal Presentation of Software Architecture. COMPSAC 2002: 217-223 |
30 | EE | Carlo Montangero, Laura Semini: istributed States Logic. TIME 2002: 55-57 |
29 | Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini: Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. 9(2): 137-150 (2002) | |
2000 | ||
28 | EE | Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini: Mobile Agents Coordination in Mobadtl. COORDINATION 2000: 232-248 |
1999 | ||
27 | EE | Carlo Montangero, Laura Semini: Composing Specifications for Coordination. COORDINATION 1999: 118-133 |
26 | 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 |
25 | 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 |
24 | 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 |
23 | 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) |
22 | Laura Semini, Carlo Montangero: A Refinement Calculus for Tuple Spaces. Sci. Comput. Program. 34(2): 79-140 (1999) | |
1996 | ||
21 | Carlo Montangero: Software Process Technology, 5th European Workshop, EWSPT '96, Nancy, France, October 9-11, 1996, Proceedings Springer 1996 | |
1995 | ||
20 | Xiaojun Chen, Paola Inverardi, Carlo Montangero: ESP-MC: An Experiment in the Use of Verification Tools. ASIAN 1995: 396-410 | |
19 | Carlo Montangero: Open Issues in the Design of PM Languages. EWSPT 1995: 93 | |
18 | Carlo Montangero: In Favour of a Coherent Process Coding Language. EWSPT 1995: 94-97 | |
17 | X. J. Chen, Carlo Montangero: Compositional Refinements in Multiple Blackboard Systems Acta Inf. 32(5): 415-458 (1995) | |
1994 | ||
16 | Vincenzo Ambriola, Giovanni A. Cignoni, Carlo Montangero: The Oikos Services for Object Management in the Software Process. EWSPT 1994: 2-14 | |
15 | Carlo Montangero: The "process in the tool syndrome": is it becoming worse? ISPW 1994: 53-56 | |
14 | EE | Carlo Montangero, F. Scarselli: Software Process Monitoring Mechanisms in Oikos. International Journal of Software Engineering and Knowledge Engineering 4(4): 481-499 (1994) |
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 |