Carlo Ghezzi

According to our database1, Carlo Ghezzi authored at least 245 papers between 1975 and 2018.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 1999, "Numerous research contributions from compiler theory to real-time systems to software processes. A strong contributor to the software engineering community in Europe and worldwide.".

IEEE Fellow

IEEE Fellow 2006, "For contributions to software engineering and programming languages.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
On the Interplay Between Cyber and Physical Spaces for Adaptive Security.
IEEE Trans. Dependable Sec. Comput., 2018

Software Adaptation in Wireless Sensor Networks.
TAAS, 2018

Modeling and Verification of Evolving Cyber-Physical Spaces.
Proceedings of the Software Engineering und Software Management 2018, 2018

On early statistical requirements validation of cyber-physical space systems.
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

Property specification patterns for robotic missions.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Supporting Verification-Driven Incremental Distributed Design of Components.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

Formal Methods and Agile Development: Towards a Happy Marriage.
Proceedings of the Essence of Software Engineering, 2018

2017
Efficient Dynamic Updates of Distributed Components Through Version Consistency.
IEEE Trans. Software Eng., 2017

Of software and change.
Journal of Software: Evolution and Process, 2017

Topology-Aware Access Control of Smart Spaces.
IEEE Computer, 2017

Modeling and verification of evolving cyber-physical spaces.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

From Model Checking to a Temporal Proof for Partial Models.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

COVER: Change-based Goal Verifier and Reasoner.
Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017

Integrating Goal Model Analysis with Iterative Design.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

2016
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time.
IEEE Trans. Software Eng., 2016

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems.
IEEE Trans. Reliability, 2016

An EMOF-Compliant Abstract Syntax for Bigraphs.
Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

Architecting dynamic cyber-physical spaces.
Computing, 2016

Dependability of Adaptable and Evolvable Distributed Systems.
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Adding static and dynamic semantics to building information models.
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Efficient large-scale trace checking using mapreduce.
Proceedings of the 38th International Conference on Software Engineering, 2016

Dealing with Incompleteness in Automata-Based Model Checking.
Proceedings of the FM 2016: Formal Methods, 2016

Poster: Programming Support for Time-sensitive Software Adaptation in Cyberphysical Systems.
Proceedings of the International Conference on Embedded Wireless Systems and Networks, 2016

2015
ContextErlang: A language for distributed context-aware self-adaptive applications.
Sci. Comput. Program., 2015

Syntactic-semantic incrementality for agile verification.
Sci. Comput. Program., 2015

Engineering Future Internet applications: The Prime approach.
Journal of Systems and Software, 2015

A quality driven extension to the QVT-relations transformation language.
Computer Science - R&D, 2015

Performance-driven dynamic service selection.
Concurrency and Computation: Practice and Experience, 2015

Inferring Software Behavioral Models with MapReduce.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Automatically identifying focal methods under test in unit test cases.
Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

Enhancing reuse of constraint solutions to improve symbolic execution.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Towards Executing Dynamically Updating Finite-State Controllers on a Robot System.
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

Syntax-Driven Program Verification of Matching Logic Properties.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2014
Dependability Assessment of Web Service Orchestrations.
IEEE Trans. Reliability, 2014

On requirement verification for evolving Statecharts specifications.
Requir. Eng., 2014

SelfMotion: A declarative approach for adaptive service-oriented mobile applications.
Journal of Systems and Software, 2014

Offline Trace Checking of Quantitative Properties of Service-Based Applications.
Proceedings of the 7th IEEE International Conference on Service-Oriented Computing and Applications, 2014

Team-level programming of drone sensor networks.
Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, 2014

Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Specification Patterns from Research to Industry: A Case Study in Service-Based Applications.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Engineering topology aware adaptive security: Preventing requirements violations at runtime.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software.
Proceedings of the Software Engineering - International Summer Schools, 2014

Mining unit tests for code recommendation.
Proceedings of the 22nd International Conference on Program Comprehension, 2014

Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Topology aware adaptive security.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Mining behavior models from user-intensive web applications.
Proceedings of the 36th International Conference on Software Engineering, 2014

Towards the formalization of properties of cloud-based elastic systems.
Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014

SMT-Based Checking of SOLOIST over Sparse Traces.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Context-Oriented Programming for Adaptive Wireless Sensor Network Software.
Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2014

Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Synthesis of Infinite-State Abstractions and Their Use for Software Validation.
Proceedings of the Specification, Algebra, and Software, 2014

ubiREST: A RESTful Service-Oriented Middleware for Ubiquitous Networking.
Proceedings of the Advanced Web Services, 2014

2013
Optimizing Service Selection and Allocation in Situational Computing Applications.
IEEE Trans. Services Computing, 2013

An Analysis of Language-Level Support for Self-Adaptive Software.
TAAS, 2013

Model-based verification of quantitative non-functional properties for software product lines.
Information & Software Technology, 2013

A journey through SMScom: self-managing situational computing.
Computer Science - R&D, 2013

Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511).
Dagstuhl Reports, 2013

Editorial.
Computing, 2013

Towards spatial macroprogramming for sensing and actuating robot swarms.
Proceedings of the 11th ACM Conference on Embedded Network Sensor Systems, 2013

On requirements verification for model refinements.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Adaptive REST applications via model inference and probabilistic model checking.
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Improving Interaction with Services via Probabilistic Piggybacking.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Formalizing correctness criteria of dynamic updates derived from specification changes.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Managing non-functional uncertainty via model-driven adaptivity.
Proceedings of the 35th International Conference on Software Engineering, 2013

Towards context-oriented programming in wireless sensor networks.
Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2013

Perpetual Assurances for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013


2012
Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches.
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

Reference Case Study.
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

Introduction.
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

Context-oriented programming: A software engineering perspective.
Journal of Systems and Software, 2012

A formal approach to adaptive software: continuous assurance of non-functional requirements.
Formal Asp. Comput., 2012

DSOL: a declarative approach to self-adaptive service orchestrations.
Computing, 2012

Self-adaptive software needs quantitative verification at runtime.
Commun. ACM, 2012

Resource-Oriented Middleware Abstractions for Pervasive Computing.
Proceedings of the 2012 IEEE International Conference on Software Science, 2012

PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications.
Proceedings of the Software Composition - 11th International Conference, 2012

SelfMotion: a declarative language for adaptive service-oriented mobile apps.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Dealing with changes in service orchestrations.
Proceedings of the ACM Symposium on Applied Computing, 2012

Evolution, Adaptation, and the Quest for Incrementality.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Adaptive Service-Oriented Mobile Applications: A Declarative Approach.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Writing dynamic service orchestrations with DSOL.
Proceedings of the 34th International Conference on Software Engineering, 2012

Runtime monitoring of component changes with Spy@Runtime.
Proceedings of the 34th International Conference on Software Engineering, 2012

Behavioral validation of JFSL specifications through model synthesis.
Proceedings of the 34th International Conference on Software Engineering, 2012

Synthesizing dynamically updating controllers from changes in scenario-based specifications.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Reliability-driven dynamic binding via feedback control.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Further steps towards efficient runtime verification: handling probabilistic cost models.
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Specification patterns from research to industry: A case study in service-based applications.
Proceedings of the 34th International Conference on Software Engineering, 2012

The Tale of SOLOIST: A Specification Language for Service Compositions Interactions.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Autotuning control structures for reliability-driven dynamic binding.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

ContextErlang: introducing context-oriented programming in the actor model.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach.
Proceedings of the IEEE International Conference on Control Applications, 2012

Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification.
Proceedings of the Conquering Complexity, 2012

2011
Engineering Evolving and Self-Adaptive Systems: An Overview.
Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens.
IEEE Trans. Software Eng., 2011

Computational REST Meets Erlang.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Version-consistent dynamic reconfiguration of component-based distributed systems.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Workshop on assurances for self-adaptive systems (ASAS 2011).
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Runtime Monitoring of Functional Component Changes with Behavior Models.
Proceedings of the Models in Software Engineering, 2011

Towards Quality Driven Exploration of Model Transformation Spaces.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Teaching software engineering using globally distributed projects: the DOSE course.
Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, 2011

An evaluation of the adaptation capabilities in programming languages.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Run-time efficient probabilistic model checking.
Proceedings of the 33rd International Conference on Software Engineering, 2011

How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication.
Proceedings of the 6th IEEE International Conference on Global Software Engineering, 2011

The Fading Boundary between Development Time and Run Time.
Proceedings of the 9th IEEE European Conference on Web Services, 2011

JavaCtx: seamless toolchain integration for context-oriented programming.
Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011

Dynamic synthesis of program invariants using genetic programming.
Proceedings of the IEEE Congress on Evolutionary Computation, 2011

A compositional method for reliability analysis of workflows affected by multiple failure modes.
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

RESTful Service Architectures for Pervasive Networking Environments.
Proceedings of the REST: From Research to Practice, 2011

2010
Change-point detection for black-box services.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

The disappearing boundary between development-time and run-time.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Service Provisioning on the Cloud: Distributed Algorithms for Joint Capacity Allocation and Admission Control.
Proceedings of the Towards a Service-Based Internet - Third European Conference, 2010

Adaptive Software Needs Continuous Verification.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

QoS Driven Dynamic Binding in-the-many.
Proceedings of the Research into Practice, 2010

QVTR2: A Rational and Performance-Aware Extension to the Relations Language.
Proceedings of the Models in Software Engineering, 2010

A hybrid approach (syntactic and textual) to clone detection.
Proceedings of the Proceeding of the 4th ICSE International Workshop on Software Clones, 2010

Anquiro: enabling efficient static verification of sensor network software.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010

Programming language support to context-aware adaptation: a case-study with Erlang.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Automatic Cross Validation of Multiple Specifications: A Case Study.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

An empirical investigation into a large-scale Java open source code repository.
Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

Model-Driven Management of Services.
Proceedings of the 8th IEEE European Conference on Web Services (ECOWS 2010), 2010

Context oriented programming in highly concurrent systems.
Proceedings of the 2nd International Workshop on Context-Oriented Programming, 2010

Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Reliability Analysis of Component-Based Systems with Multiple Failure Modes.
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

Architectural Issues of Adaptive Pervasive Systems.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
The Role of Contracts in Distributed Development.
Proceedings of the Software Engineering Approaches for Offshore and Outsourced Development, 2009

Decentralized Software Development: Pitfalls and Challenges.
Proceedings of the Software Engineering Approaches for Offshore and Outsourced Development, 2009

Reasoning on Non-Functional Requirements for Integrated Services.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Predicting Performance Properties for Open Systems with KAMI.
Proceedings of the Architectures for Adaptive Software Systems, 2009

Synthesizing intensional behavior models by graph transformation.
Proceedings of the 31st International Conference on Software Engineering, 2009

Model evolution by run-time parameter adaptation.
Proceedings of the 31st International Conference on Software Engineering, 2009

Embedding continuous lifelong verification in service life cycles.
Proceedings of the International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2009

ReMan: A pro-active reputation management infrastructure for composite Web services.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Using Graph Transformation Systems to Specify and Verify Data Abstractions.
ECEASST, 2008

Determining the Impact of Software Engineering Research on Practice.
IEEE Computer, 2008

A journey to highly dynamic, self-adaptive service-based applications.
Autom. Softw. Eng., 2008

Model Driven QoS Analyses of Composed Web Services.
Proceedings of the Towards a Service-Based Internet, 2008

Choosing a Software Architecture: An Approach and a Case Study.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Quality Prediction of Service Compositions through Probabilistic Model Checking.
Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

Rethinking the Use of Models in Software Architecture.
Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

SAVVY-WS at a glance: Supporting verifiable dynamic service compositions.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

Transparent Reputation Management for Composite Web Services.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

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

2007
Towards Self-healing Composition of Services.
Proceedings of the Contributions to Ubiquitous Computing, 2007

Editorial.
ACM Trans. Softw. Eng. Methodol., 2007

A framework for the deployment of adaptable web service compositions.
Service Oriented Computing and Applications, 2007

Validation of web service compositions.
IET Software, 2007

The challenges of open-world software.
Proceedings of the 6th International Workshop on Software and Performance, 2007

Run-Time Monitoring in Service-Oriented Architectures.
Proceedings of the Test and Analysis of Web Services, 2007

A Model Checking Approach to Verify BPEL4WS Workflows.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Foreword to the doctoral symposium.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Monitoring conversational web services.
Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, 2007

Playing with time in publish-subscribe using a domain-specific model checker.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions.
Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

Efficient recovery of algebraic specifications for stateful components.
Proceedings of the 9th International Workshop on Principles of Software Evolution (IWPSE 2007), 2007

A Timed Extension of WSCoL.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Automated Dynamic Maintenance of Composite Services Based on Service Reputation.
Proceedings of the Service-Oriented Computing, 2007

On Accurate Automatic Verification of Publish-Subscribe Architectures.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006
Supporting Cooperative Software Processes in a Decentralized and Nomadic World.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2006

Toward Open-World Software: Issue and Challenges.
IEEE Computer, 2006

Towards Open-World Software: Issue and Challenges.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Software Engineering: Emerging Goals and Lasting Problems.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

Towards a Model-driven Approach to Develop Applications based on Physical Active Objects.
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005
Editorial.
ACM Trans. Softw. Eng. Methodol., 2005

Editorial.
ACM Trans. Softw. Eng. Methodol., 2005

Flexible Processes for Evolvable Products.
Proceedings of the 11th IEEE International Symposium on Software Metrics (METRICS 2005), 2005

The Challenges of Software Engineering Education.
Proceedings of the Software Engineering Education in the Modern Age, 2005

The challenges of software engineering education.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Hybrid service-oriented architectures: a case-study in the automotive domain.
Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

2004
Introduction to Special Issue on Distributed and Mobile Software Engineering.
Autom. Softw. Eng., 2004

Smart monitors for composed services.
Proceedings of the Service-Oriented Computing, 2004

Enhancing Remote Method Invocation through Type-Based Static Analysis.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

Validation of Component and Service Federations in Automotive Software Applications.
Proceedings of the Automotive Software, 2004

2003
Editorial.
ACM Trans. Softw. Eng. Methodol., 2003

Using Agents for Multi-target Search on the Web.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Fundamentals of software engineering (2. ed.).
Prentice Hall, ISBN: 978-0-13-305699-0, 2003

2002
Supporting configuration management for virtual workgroups ini a peer-to-peer setting.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Freeing Cooperation from Servers Tyranny.
Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering.
Proceedings of the Graph Transformation, First International Conference, 2002

2001
Fundamental Approaches to Software Engineering.
Sci. Comput. Program., 2001

Using symbolic execution for verifying safety-critical systems.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Using Agents in Performing Multi-site Queries.
Proceedings of the Cooperative Information Agents V, 5th International Workshop, 2001

1999
Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development.
IEEE Trans. Software Eng., 1999

ICSE 2000 opportunity.
ACM SIGSOFT Software Engineering Notes, 1999

Design and Implementation of PROSYT: A Distributed Process Support System.
Proceedings of the 8th Workshop on Enabling Technologies (WETICE '99), 1999

Complexity in Human Centered Systems: The Case of Software Processes.
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

1998
Software processes: a retrospective and a path to the future.
Software Process: Improvement and Practice, 1998

Programming language concepts (3. ed.).
Wiley, ISBN: 978-0-471-10426-1, 1998

1997
Specification of Realtime Systems Using ASTRAL.
IEEE Trans. Software Eng., 1997

Software Engineering Issues for Network Computing.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

CJava: Introducing Concurrent Objects in Java.
OOIS, 1997

Mobile Code Paradigms and Technologies: A Case Study.
Proceedings of the Mobile Agents, First International Workshop, 1997

Software Engineering Issues for Network Computing.
Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

Software Qualities and Principles.
Proceedings of the Computer Science and Engineering Handbook, 1997

1996
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems.
ACM Trans. Softw. Eng. Methodol., 1996

Analyzing Mobile Code Languages.
Proceedings of the Mobile Object Systems, 1996

Program families: some requirements issues for the process languages.
Proceedings of the 10th International Software Process Workshop (ISPW '96), 1996

1995
How to Deal With Deviations During Process Model Enactment.
Proceedings of the 17th International Conference on Software Engineering, 1995

1994
Validating timing requirements for time basic net specifications.
Journal of Systems and Software, 1994

State of the art and open issues in process-centered software engineering environments.
Journal of Systems and Software, 1994

1993
Process Model Evolution in the SPADE Environment.
IEEE Trans. Software Eng., 1993

Executable Specifications with Data-flow Diagrams.
Softw., Pract. Exper., 1993

Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design.
Sci. Comput. Program., 1993

High-Level Timed Petri Nets as a Kernel for Executable Specifications.
Real-Time Systems, 1993

A Survey and Assessment of Software Process Representation Formalisms.
International Journal of Software Engineering and Knowledge Engineering, 1993

Towards Extensible Graphical Formalisms.
Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Analyzing Refinements of State Based Specifications: The Case of TB Nets.
Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

Process Formalisms Need to be Fully Reflective.
Proceedings of the State of the Practice in Process Technology, 1993

Real-Time Systems: A Survey of Approaches to Formal Specification and Verification.
Proceedings of the Software Engineering, 1993

1992
Guest Editors' Introduction: Specification and Analysis of Real-Time Systems.
IEEE Trans. Software Eng., 1992

A Model Parametric Real-Time Logic.
ACM Trans. Program. Lang. Syst., 1992

Software Processes Representation Languages: Survey and Assessment.
Proceedings of the SEKE'92, 1992

Formal Specification and Timing Analysis of High-Integrity Real-Time Systems.
Proceedings of the Real Time Computing, 1992

Process Enactment in SPADE.
Proceedings of the Software Process Technology, Second European Workshop, 1992

1991
A Unified High-Level Petri Net Formalism for Time-Critical Systems.
IEEE Trans. Software Eng., 1991

Software Specialization Via Symbolic Execution.
IEEE Trans. Software Eng., 1991

Executing Formal Specifications: The ASTRAL to TRIO Translation Approach.
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

A multi-paradigm Petri net based approach to process description.
Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

ASTRAL: An Assertion Language for Specifying Realtime Systems.
Proceedings of the ESEC '91, 1991

Fundamentals of software engineering.
Prentice Hall, ISBN: 978-0-13-818204-5, 1991

1990
TRIO: A logic language for executable specifications of real-time systems.
Journal of Systems and Software, 1990

1989
Some Consideration on Real-Time Bahavior of Concurrent Programs.
IEEE Trans. Software Eng., 1989

Symbolic Execution of Concurrent Systems Using Petri Nets.
Comput. Lang., 1989

1987
On the Specification of Real-Time Systems Using Logic Programming.
Proceedings of the ESEC '87, 1987

On the Role of Software Reliability in Software Engineering.
Proceedings of the Software Reliability Modelling and Identification (Como, Italy, 1987

Programming language concepts (2. ed.).
Wiley, ISBN: 978-0-471-82173-1, 1987

1985
Concurrency in programming languages: A survey.
Parallel Computing, 1985

Modeling the Ada Task System by Petri Nets.
Comput. Lang., 1985

Program Simplification via Symbolic Interpretation.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1984
Using FP As a Query Language for Relational Data-Bases.
Comput. Lang., 1984

1982
Language Constructs for Real-Time Distributed Systems.
Comput. Lang., 1982

Programming language concepts.
Wiley, ISBN: 978-0-471-08755-7, 1982

1980
Separate Compilation and Partial Specification in Pascal.
IEEE Trans. Software Eng., 1980

Compiler Testing using a Sentence Generator.
Softw., Pract. Exper., 1980

Augmenting Parsers to Support Incrementality.
J. ACM, 1980

SIMPLE: A Program Development System.
Comput. Lang., 1980

1979
Incremental Parsing.
ACM Trans. Program. Lang. Syst., 1979

1978
Context-Free Graph Grammars
Information and Control, May, 1978

1976
Data Structures and Graph Grammars.
Proceedings of the ECI Conference 1976, 1976

1975
LL(1) Grammars Supporting an Efficient Error Handling.
Inf. Process. Lett., 1975


  Loading...