| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini |
Model-Driven Development of Adaptable Service-Oriented Business Processes. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini |
Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management. |
Euro-Par Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini |
Detecting policy conflicts by model checking UML state machines. |
ICFI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Laura Semini |
Barbed Model-Driven Software Development: A Case Study. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini |
Logic-based Conflict Detection for Distributed Policies. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carlo Ghezzi, Paola Inverardi, Carlo Montangero |
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini |
Logic-Based Detection of Conflicts in AppelPolicies. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini |
StPowla: SOA, Policies and Workflows. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Laura Semini |
A Logical View of Choreography. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero |
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. |
FM |
2005 |
DBLP DOI BibTeX RDF |
UML, performance analysis, security analysis, process calculi |
| 1 | Carlo Montangero, Laura Semini, Simone Semprini |
Logic Based Coordination for Event-Driven Self-healing Distributed Systems. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini |
For-LySa: UML for Authentication Analysis. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Laura Semini |
Distributed States Temporal Logic |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini |
Mark, a Reasoning Kit for Mobility. |
Autom. Softw. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Laura Semini |
istributed States Logic. (PDF / PS) |
TIME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Amjad Hudaib, Carlo Montangero |
A UML Profile to Support the Formal Presentation of Software Architecture. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
Software Architecture Patterns, Oikos_adtl, Software Architecture, UML Extensions, UML Diagrams |
| 1 | Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini |
Mobile Agents Coordination in Mobadtl. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Stefano Antonelli, Stephen Armitage, Richard Stevens |
Managing Standards Compliance. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
software engineering standards, Software processes, compliance, software development environments, consistency management |
| 1 | Laura Semini, Carlo Montangero |
A Refinement Calculus for Tuple Spaces. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Laura Semini |
Composing Specifications for Coordination. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Emmerich, Anthony Finkelstein, Alfonso Fuggetta, Carlo Montangero, Jean-Claude Derniame |
Software Process - Standards, Assessments and Improvement. |
Software Process: Principles, Methodology, Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David Graham Wastell, Selma Arbaoui, Jacques Lonchamp, Carlo Montangero |
The Human Dimension of the Software Process. |
Software Process: Principles, Methodology, Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Jean-Claude Derniame, Badara Ali Kaba, Brian Warboys |
The Software Process: Modelling and Technology. |
Software Process: Principles, Methodology, Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero (eds.) |
Software Process Technology, 5th European Workshop, EWSPT '96, Nancy, France, October 9-11, 1996, Proceedings |
EWSPT |
1996 |
DBLP BibTeX RDF |
|
| 1 | X. J. Chen, Carlo Montangero |
Compositional Refinements in Multiple Blackboard Systems. |
Acta Inf. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojun Chen, Paola Inverardi, Carlo Montangero |
ESP-MC: An Experiment in the Use of Verification Tools. |
ASIAN |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero |
Open Issues in the Design of PM Languages. |
EWSPT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero |
In Favour of a Coherent Process Coding Language. |
EWSPT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, F. Scarselli |
Software Process Monitoring Mechanisms in Oikos. |
International Journal of Software Engineering and Knowledge Engineering |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero |
The "process in the tool syndrome": is it becoming worse? |
ISPW |
1994 |
DBLP BibTeX RDF |
|
| 1 | Vincenzo Ambriola, Giovanni A. Cignoni, Carlo Montangero |
The Oikos Services for Object Management in the Software Process. |
EWSPT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ambriola, Carlo Montangero |
OIKOS at the Age of Three. |
EWSPT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | X. J. Chen, Carlo Montangero |
Compositional Refinements in Multiple Blackboard Systems. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ambriola, Carlo Montangero |
Hierarchical specification of software processes in Oikos. |
ISPW |
1991 |
DBLP BibTeX RDF |
|
| 1 | Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero |
The Logic Language ESP and its Programming Environment. |
LPE |
1990 |
DBLP BibTeX RDF |
|
| 1 | Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero |
Software processes as a hierarchy. |
ISPW |
1990 |
DBLP BibTeX RDF |
|
| 1 | Paola Inverardi, Simone Martini, Carlo Montangero |
Is Type Checking Practical for System Configuration? |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ambriola, Carlo Montangero |
Automatic generation of execution tools in a GANDALF environment. |
Journal of Systems and Software |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini |
Information Management in Context Trees. |
Acta Inf. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Giuliano Pacini, Franco Turini |
Two-Level Control Structure for Nondeterministic Programming. |
Commun. ACM |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Attardi, Carlo Montangero, Gianfranco Prini |
A High Level Machine for Artificial Intelligence. |
AISB (ECAI) |
1976 |
DBLP BibTeX RDF |
|
| 1 | Carlo Montangero, Giuliano Pacini, Franco Turini |
MAGMA-LISP: A "Machine Language" For Artificial Intelligence. |
IJCAI |
1975 |
DBLP BibTeX RDF |
|
| 1 | Giuliano Pacini, Carlo Montangero, Franco Turini |
Graph Representation and Computation Rules for Typeless Recursive Languages. |
ICALP |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Giuliano Pacini, Franco Turini |
A model for structured parallel processing in block-structured programming languages. |
Symposium on Programming |
1974 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")