default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarlo Montangero
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c37]Roberto Di Cosmo, Carlo Montangero, Guido Scatena, Laura Bussi:
Preserving landmark legacy software with the Software Heritage Acquisition Process. iPRES 2021
2010 – 2019
- 2011
- [c36]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 - [c35]Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini:
Managing Adaptivity in Parallel Systems. FMCO 2011: 199-217 - [p3]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 - [p2]Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini:
Model-Driven Development of Adaptable Service-Oriented Business Processes. Results of the SENSORIA Project 2011: 115-132
2000 – 2009
- 2009
- [c34]Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini:
Detecting policy conflicts by model checking UML state machines. ICFI 2009: 59-74 - 2008
- [j12]Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini:
Logic-based Conflict Detection for Distributed Policies. Fundam. Informaticae 89(4): 511-538 (2008) - [c33]Carlo Ghezzi, Paola Inverardi, Carlo Montangero:
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models 2008: 330-353 - 2007
- [c32]Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini:
Logic-Based Detection of Conflicts in AppelPolicies. FSEN 2007: 257-271 - [c31]Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini:
StPowla: SOA, Policies and Workflows. ICSOC Workshops 2007: 351-362 - [c30]Carlo Montangero, Laura Semini:
Barbed Model-Driven Software Development: A Case Study. TTSS 2007: 171-186 - 2006
- [c29]Carlo Montangero, Laura Semini:
A Logical View of Choreography. COORDINATION 2006: 179-193 - 2005
- [c28]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
- [c27]Carlo Montangero, Laura Semini, Simone Semprini:
Logic Based Coordination for Event-Driven Self-healing Distributed Systems. COORDINATION 2004: 248-263 - [c26]Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini:
For-LySa: UML for Authentication Analysis. Global Computing 2004: 93-106 - 2003
- [i1]Carlo Montangero, Laura Semini:
Distributed States Temporal Logic. CoRR cs.LO/0304046 (2003) - 2002
- [j11]Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini:
Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. 9(2): 137-150 (2002) - [c25]Amjad Hudaib, Carlo Montangero:
A UML Profile to Support the Formal Presentation of Software Architecture. COMPSAC 2002: 217-223 - [c24]Carlo Montangero, Laura Semini:
istributed States Logic. TIME 2002: 55-57 - 2000
- [c23]Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini:
Mobile Agents Coordination in Mobadtl. COORDINATION 2000: 232-248
1990 – 1999
- 1999
- [j10]Laura Semini, Carlo Montangero:
A Refinement Calculus for Tuple Spaces. Sci. Comput. Program. 34(2): 79-140 (1999) - [j9]Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Stefano Antonelli, Stephen Armitage, Richard Stevens:
Managing Standards Compliance. IEEE Trans. Software Eng. 25(6): 826-851 (1999) - [c22]Carlo Montangero, Laura Semini:
Composing Specifications for Coordination. COORDINATION 1999: 118-133 - [c21]Carlo Montangero, Jean-Claude Derniame, Badara Ali Kaba, Brian Warboys:
The Software Process: Modelling and Technology. Software Process: Principles, Methodology, Technology 1999: 1-14 - [c20]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 - [c19]David Graham Wastell, Selma Arbaoui, Jacques Lonchamp, Carlo Montangero:
The Human Dimension of the Software Process. Software Process: Principles, Methodology, Technology 1999: 165-200 - 1997
- [j8]Carlo Montangero:
Report on the fifth European workshop on software process technology. ACM SIGSOFT Softw. Eng. Notes 22(1): 24-27 (1997) - 1996
- [j7]Carlo Montangero:
Report on the Fifth European Workshop on Software Process Technology. Softw. Process. Improv. Pract. 2(4): 307-311 (1996) - [c18]Carlo Montangero, Laura Semini:
Refining by architectural styles or architecting by refinements. ISAW/Viewpoints@FSE 1996: 76-79 - [e1]Carlo Montangero:
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 [contents] - 1995
- [j6]X. J. Chen, Carlo Montangero:
Compositional Refinements in Multiple Blackboard Systems. Acta Informatica 32(5): 415-458 (1995) - [c17]Xiaojun Chen, Paola Inverardi, Carlo Montangero:
ESP-MC: An Experiment in the Use of Verification Tools. ASIAN 1995: 396-410 - [c16]Carlo Montangero:
Open Issues in the Design of PM Languages. EWSPT 1995: 93 - [c15]Carlo Montangero:
In Favour of a Coherent Process Coding Language. EWSPT 1995: 94-97 - 1994
- [j5]Carlo Montangero, Franco Scarselli:
Software Process Monitoring Mechanisms in Oikos. Int. J. Softw. Eng. Knowl. Eng. 4(4): 481-499 (1994) - [c14]Vincenzo Ambriola, Giovanni A. Cignoni, Carlo Montangero:
The Oikos Services for Object Management in the Software Process. EWSPT 1994: 2-14 - [c13]Carlo Montangero:
The "process in the tool syndrome": is it becoming worse? ISPW 1994: 53-56 - 1993
- [p1]Vincenzo Ambriola, Carlo Montangero:
Modeling the Software Development Process. Advances in Software Engineering and Knowledge Engineering 1993: 41-72 - 1992
- [c12]X. J. Chen, Carlo Montangero:
Compositional Refinements in Multiple Blackboard Systems. ESOP 1992: 93-109 - [c11]Vincenzo Ambriola, Carlo Montangero:
OIKOS at the Age of Three. EWSPT 1992: 84-93 - 1991
- [c10]Vincenzo Ambriola, Carlo Montangero:
Hierarchical specification of software processes in Oikos. ISPW 1991: 34-36 - 1990
- [c9]Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero:
Software processes as a hierarchy. ISPW 1990: 57-60 - [c8]Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero:
The Logic Language ESP and its Programming Environment. LPE 1990: 12-15 - [c7]Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero:
Software process enactment in Oikos. SDE 1990: 183-192
1980 – 1989
- 1989
- [c6]Paola Inverardi, Simone Martini, Carlo Montangero:
Is Type Checking Practical for System Configuration? TAPSOFT, Vol.2 1989: 257-271 - 1985
- [j4]Vincenzo Ambriola, Carlo Montangero:
Automatic generation of execution tools in a GANDALF environment. J. Syst. Softw. 5(2): 155-171 (1985) - [c5]Paola Inverardi, Franco Mazzanti, Carlo Montangero:
The use of Ada in the design of distributed systems. SIGAda 1985: 85-96
1970 – 1979
- 1978
- [j3]Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini:
Information Management in Context Trees. Acta Informatica 10: 85-94 (1978) - 1977
- [j2]Carlo Montangero, Giuliano Pacini, Franco Turini:
Two-Level Control Structure for Nondeterministic Programming. Commun. ACM 20(10): 725-730 (1977) - 1976
- [c4]Giuseppe Attardi, Carlo Montangero, Gianfranco Prini:
A High Level Machine for Artificial Intelligence. AISB (ECAI) 1976: 26-37 - 1975
- [c3]Carlo Montangero, Giuliano Pacini, Franco Turini:
MAGMA-LISP: A "Machine Language" For Artificial Intelligence. IJCAI 1975: 556-561 - 1974
- [j1]Carlo Montangero:
An Approach to the Optimal Specification of Read-Only Memories in Microprogrammed Digital Computers. IEEE Trans. Computers 23(4): 375-389 (1974) - [c2]Giuliano Pacini, Carlo Montangero, Franco Turini:
Graph Representation and Computation Rules for Typeless Recursive Languages. ICALP 1974: 157-169 - [c1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
