Carlo Montangero

According to our database1, Carlo Montangero
  • authored at least 47 papers between 1974 and 2011.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2011
Managing Adaptivity in Parallel Systems.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011

Model-Driven Development of Adaptable Service-Oriented Business Processes.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

UML Extensions for Service-Oriented Systems.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2009
Detecting policy conflicts by model checking UML state machines.
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008
Logic-based Conflict Detection for Distributed Policies.
Fundam. Inform., 2008

Barbed Model-Driven Software Development: A Case Study.
Electr. Notes Theor. Comput. Sci., 2008

Dynamically Evolvable Dependable Software: From Oxymoron to Reality.
Proceedings of the Concurrency, 2008

2007
StPowla: SOA, Policies and Workflows.
Proceedings of the Service-Oriented Computing, 2007

Logic-Based Detection of Conflicts in AppelPolicies.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006
A Logical View of Choreography.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform.
Proceedings of the FM 2005: Formal Methods, 2005

2004
For-LySa: UML for Authentication Analysis.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

Logic Based Coordination for Event-Driven Self-healing Distributed Systems.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
Distributed States Temporal Logic
CoRR, 2003

2002
Mark, a Reasoning Kit for Mobility.
Autom. Softw. Eng., 2002

istributed States Logic.
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

A UML Profile to Support the Formal Presentation of Software Architecture.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2000
Mobile Agents Coordination in Mobadtl.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999
Managing Standards Compliance.
IEEE Trans. Software Eng., 1999

A Refinement Calculus for Tuple Spaces.
Sci. Comput. Program., 1999

The Human Dimension of the Software Process.
Proceedings of the Software Process: Principles, Methodology, Technology, 1999

The Software Process: Modelling and Technology.
Proceedings of the Software Process: Principles, Methodology, Technology, 1999

Software Process - Standards, Assessments and Improvement.
Proceedings of the Software Process: Principles, Methodology, Technology, 1999

Composing Specifications for Coordination.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1995
Compositional Refinements in Multiple Blackboard Systems.
Acta Inf., 1995

In Favour of a Coherent Process Coding Language.
Proceedings of the Software Process Technology, 4th European Workshop, 1995

Open Issues in the Design of PM Languages.
Proceedings of the Software Process Technology, 4th European Workshop, 1995

ESP-MC: An Experiment in the Use of Verification Tools.
Proceedings of the Algorithms, 1995

1994
Software Process Monitoring Mechanisms in Oikos.
International Journal of Software Engineering and Knowledge Engineering, 1994

The "process in the tool syndrome": is it becoming worse?
Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994

The Oikos Services for Object Management in the Software Process.
Proceedings of the Software Process Technology, Third European Workshop, 1994

1992
OIKOS at the Age of Three.
Proceedings of the Software Process Technology, Second European Workshop, 1992

Compositional Refinements in Multiple Blackboard Systems.
Proceedings of the ESOP '92, 1992

1991
Hierarchical specification of software processes in Oikos.
Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

1990
Software process enactment in Oikos.
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

The Logic Language ESP and its Programming Environment.
Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990

Software processes as a hierarchy.
Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

1989
Is Type Checking Practical for System Configuration?
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1985
Automatic generation of execution tools in a GANDALF environment.
Journal of Systems and Software, 1985

1978
Information Management in Context Trees.
Acta Inf., 1978

1977
Two-Level Control Structure for Nondeterministic Programming.
Commun. ACM, 1977

1976
A High Level Machine for Artificial Intelligence.
AISB (ECAI), 1976

1975
MAGMA-LISP: A "Machine Language" For Artificial Intelligence.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974
An Approach to the Optimal Specification of Read-Only Memories in Microprogrammed Digital Computers.
IEEE Trans. Computers, 1974

A model for structured parallel processing in block-structured programming languages.
Proceedings of the Programming Symposium, 1974

Graph Representation and Computation Rules for Typeless Recursive Languages.
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29, 1974


  Loading...