dblp.uni-trier.dewww.uni-trier.de

Carlo Montangero Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
41EECarlo Ghezzi, Paola Inverardi, Carlo Montangero: Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models 2008: 330-353
40EECarlo Montangero, Laura Semini: Barbed Model-Driven Software Development: A Case Study. Electr. Notes Theor. Comput. Sci. 207: 171-186 (2008)
39EECarlo Montangero, Stephan Reiff-Marganiec, Laura Semini: Logic-based Conflict Detection for Distributed Policies. Fundam. Inform. 89(4): 511-538 (2008)
2007
38EECarlo Montangero, Stephan Reiff-Marganiec, Laura Semini: Logic-Based Detection of Conflicts in AppelPolicies. FSEN 2007: 257-271
37EEStephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini: StPowla: SOA, Policies and Workflows. ICSOC Workshops 2007: 351-362
2006
36EECarlo Montangero, Laura Semini: A Logical View of Choreography. COORDINATION 2006: 179-193
2005
35EEMikael 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
34EECarlo Montangero, Laura Semini, Simone Semprini: Logic Based Coordination for Event-Driven Self-healing Distributed Systems. COORDINATION 2004: 248-263
33EEMikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini: For-LySa: UML for Authentication Analysis. Global Computing 2004: 93-106
2003
32EECarlo Montangero, Laura Semini: Distributed States Temporal Logic CoRR cs.LO/0304046: (2003)
2002
31EEAmjad Hudaib, Carlo Montangero: A UML Profile to Support the Formal Presentation of Software Architecture. COMPSAC 2002: 217-223
30EECarlo 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
28EEGian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini: Mobile Agents Coordination in Mobadtl. COORDINATION 2000: 232-248
1999
27EECarlo Montangero, Laura Semini: Composing Specifications for Coordination. COORDINATION 1999: 118-133
26EECarlo Montangero, Jean-Claude Derniame, Badara Ali Kaba, Brian Warboys: The Software Process: Modelling and Technology. Software Process: Principles, Methodology, Technology 1999: 1-14
25EEWolfgang Emmerich, Anthony Finkelstein, Alfonso Fuggetta, Carlo Montangero, Jean-Claude Derniame: Software Process - Standards, Assessments and Improvement. Software Process: Principles, Methodology, Technology 1999: 15-26
24EEDavid Graham Wastell, Selma Arbaoui, Jacques Lonchamp, Carlo Montangero: The Human Dimension of the Software Process. Software Process: Principles, Methodology, Technology 1999: 165-200
23EEWolfgang 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
14EECarlo Montangero, F. Scarselli: Software Process Monitoring Mechanisms in Oikos. International Journal of Software Engineering and Knowledge Engineering 4(4): 481-499 (1994)
1992
13EEX. 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
8EEPaola Inverardi, Simone Martini, Carlo Montangero: Is Type Checking Practical for System Configuration? TAPSOFT, Vol.2 1989: 257-271
1985
7EEVincenzo 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
2EEGiuliano 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

Coauthor Index

1Vincenzo Ambriola [7] [9] [10] [11] [12] [16]
2Stefano Antonelli [23]
3Selma Arbaoui [24]
4Stephen Armitage [23]
5Giuseppe Attardi [4]
6Mikael Buchholtz [33] [35]
7X. J. Chen [13] [17]
8Xiaojun Chen [20]
9Paolo Ciancarini [9] [10]
10Giovanni A. Cignoni [16]
11Jean-Claude Derniame [25] [26]
12Wolfgang Emmerich [23] [25]
13Gian Luigi Ferrari (GianLuigi Ferrari) [28] [29]
14Anthony Finkelstein [23] [25]
15Alfonso Fuggetta [25]
16Carlo Ghezzi [41]
17Stephen Gilmore (Stephen T. Gilmore) [35]
18Stephen Gorton [37]
19Valentin Haenel [35]
20Amjad Hudaib [31]
21Paola Inverardi [8] [20] [41]
22Badara Ali Kaba [26]
23Jacques Lonchamp [24]
24Simone Martini [8]
25Giuliano Pacini [1] [2] [3] [5] [6]
26Lara Perrone [33]
27Gianfranco Prini [4]
28Stephan Reiff-Marganiec [37] [38] [39]
29F. Scarselli [14]
30Laura Semini [22] [27] [28] [29] [30] [32] [34] [36] [37] [38] [39] [40]
31Simone Semprini [28] [29] [33] [34]
32Maria Simi [6]
33Richard Stevens [23]
34Franco Turini [1] [2] [3] [5] [6]
35Brian Warboys [26]
36David Graham Wastell [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)