Paola Inverardi

According to our database1, Paola Inverardi
  • authored at least 200 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Introduction to the Special Section on Best Papers from SEAMS 2015.
TAAS, 2017

Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

User-centric Android flexible permissions.
Proceedings of the 39th International Conference on Software Engineering, 2017

Models for the Automated Integration of Service-Oriented Software Systems.
Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017

Adaptation for situational-aware cyber-physical systems driven by energy consumption and human safety.
Proceedings of the 11th European Conference on Software Architecture, 2017

An empirical approach for determining context of mobile systems.
Proceedings of the 11th European Conference on Software Architecture, 2017

Online Learning of Run-Time Models for Performance and Resource Management in Data Centers.
Proceedings of the Self-Aware Computing Systems., 2017


Self-aware Computing Systems: Related Concepts and Research Areas.
Proceedings of the Self-Aware Computing Systems., 2017

Synthesis and Verification of Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

2016
Achieving functional and non functional interoperability through synthesized connectors.
Journal of Systems and Software, 2016

The Role of Models in the Automated Integration of Service-oriented Software Systems.
Proceedings of the MODELSWARD 2016, 2016

2015
Automated Synthesis of Service Choreographies.
IEEE Software, 2015

Synthesis of correct adaptors for protocol enhancement in component-based systems.
CoRR, 2015

On the adaptation of context-aware services.
CoRR, 2015

Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications.
Proceedings of the Language and Automata Theory and Applications, 2015

Automated Integration of Service-Oriented Software Systems.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014
Automatic adaptor synthesis for protocol transformation.
CoRR, 2014

Towards Adaptable and Evolving Service Choreography in the Future Internet.
Proceedings of the 2014 IEEE World Congress on Services, 2014

Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams.
Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

CHOREOS: Large scale choreographies for the future internet.
Proceedings of the 2014 Software Evolution Week, 2014

2013
A hybrid approach for resource-based comparison of adaptable Java applications.
Sci. Comput. Program., 2013

Software architecture-based analysis and testing: a look into achievements and future challenges.
Computing, 2013

Taming the uncertainty: variability as a means for predictable system evolution.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Producing software by integration: challenges and research directions (keynote).
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

A publication culture in software engineering (panel).
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Synthesizing self-adaptive connectors meeting functional and performance concerns.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Automatic synthesis of modular connectors via composition of protocol mediation patterns.
Proceedings of the 35th International Conference on Software Engineering, 2013

A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems.
Proceedings of the Context-Aware Systems and Applications, 2013

A Model-Based Synthesis Process for Choreography Realizability Enforcement.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012
Guest Editor's Introduction: International Conference on Software Engineering.
IEEE Trans. Software Eng., 2012

Developing highly complex distributed systems: a software engineering perspective.
J. Internet Services and Applications, 2012

Automated Synthesis of CONNECTors to support Software Evolution.
ERCIM News, 2012

Integration Architecture Synthesis for Taming Uncertainty in the Digital Space.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

2011
Exploiting software architecture to support requirements satisfaction testing.
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

EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty.
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

Application-Layer Connector Synthesis.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Requirements models at run-time to support consistent system evolutions.
Proceedings of the 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), 2011

A development process for requirements based service choreography.
Proceedings of the Requirements Engineering for Systems, 2011

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems.
Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Living with Uncertainty in the Age of Runtime Models.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

ModelLAND: Where Do Models Come from?
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

Model-Based Software Performance Analysis.
Springer, ISBN: 978-3-642-13620-7, 2011

2010
Components Interoperability through Mediating Connector Patterns
Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Ad-opera: music-inspired self-adaptive systems.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Towards a Stem Architecture Description Language for Self-Adaptive Systems.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures?
Proceedings of the 10th International Conference on Quality Software, 2010

A programming model for adaptable Java applications.
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Feature oriented evolutions for context-aware adaptive systems.
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), 2010

A Theory of Mediators for Eternal Connectors.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Towards an Architecture for Runtime Interoperability.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Towards a Connector Algebra.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Mediating Connector Patterns for Components Interoperability.
Proceedings of the Software Architecture, 4th European Conference, 2010

Learning from the Cell Life-Cycle: A Self-adaptive Paradigm.
Proceedings of the Software Architecture, 4th European Conference, 2010



A Software Lifecycle Process to Support Consistent Evolutions.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Software Engineering Processes for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

2009
CHARMY: A Framework for Designing and Verifying Architectural Specifications.
IEEE Trans. Software Eng., 2009

Towards a formalization of mediating connectors for on the fly interoperability.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Automatic synthesis of behavior protocols for composable web-services.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Towards an assume-guarantee theory for adaptable systems.
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Context-Aware Adaptive Services: The PLASTIC Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2009


2008
Failure-free coordinators synthesis for component-based architectures.
Sci. Comput. Program., 2008

Towards Self-evolving Context-aware Services.
ECEASST, 2008

PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

A development process for context-aware adaptive services.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

The Future of Software: Adaptation and Dependability.
Proceedings of the Software Engineering, International Summer Schools, 2008

A Framework for Analyzing and Testing the Performance of Software Services.
Proceedings of the Leveraging Applications of Formal Methods, 2008

08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map.
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

A Resource-Oriented Static Analysis Approach to Adaptable Java Applications.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

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

2007
Model-based system reconfiguration for dynamic performance management.
Journal of Systems and Software, 2007

Graphical scenarios for specifying temporal properties: an automated approach.
Autom. Softw. Eng., 2007

Quantitative resource-oriented analysis of Java (Adaptable) applications.
Proceedings of the 6th International Workshop on Software and Performance, 2007

Non-Functional Modeling and Validation in Model-Driven Architecture.
Proceedings of the Sixth Working IEEE / IFIP Conference on Software Architecture (WICSA 2007), 2007

A reuse-based approach to the correct and automatic composition of web-services.
Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, 2007

DESERT: a decentralized monitoring tool generator.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

A Geo Time Authentication System.
Proceedings of the Trust Management, 2007

A Development Process for Self-adapting Service Oriented Applications.
Proceedings of the Service-Oriented Computing, 2007

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006
On relating functional specifications to architectural specifications: A case study.
Sci. Comput. Program., 2006

Software of the Future Is the Future of Software?
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

A scenario based notation for specifying temporal properties.
Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Software performance model-driven architecture.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A resource model for adaptable applications.
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level.
Proceedings of the Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], 2006

Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems.
Proceedings of the Software Architecture, Third European Workshop, 2006

Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures.
Electr. Notes Theor. Comput. Sci., 2005

Run-time performance management of the Siena publish/subscribe middleware.
Proceedings of the Fifth International Workshop on Software and Performance, 2005

DUALLY: Putting in Synergy UML 2.0 and ADLs.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

CHARMY: an extensible tool for architectural analysis.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Introduction to education and training track.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Transformations of software models into performance models.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

A Distributed Intrusion Detection Approach for Secure Software Architecture.
Proceedings of the Software Architecture, 2nd European Workshop, 2005

Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications.
Proceedings of the Software Architecture, 2nd European Workshop, 2005

Uncertain event-based model for egocentric context sensing.
Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

2004
Using Software Architecture for Code Testing.
IEEE Trans. Software Eng., 2004

Model-Based Performance Prediction in Software Development: A Survey.
IEEE Trans. Software Eng., 2004

Three Performance Models at Work: A Software Designer Perspective.
Electr. Notes Theor. Comput. Sci., 2004

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

Experimenting different software architectures performance techniques: a case study.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

Compositional Generation of Software Architecture Performance QN Models.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

A declarative framework for adaptable applications in heterogeneous environments.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Automated Performance Validation of Software Design: An Industrial Experience.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Compositional Verification of Middleware-Based Software Architecture Descriptions.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Formal Analysis of Architectural Patterns.
Proceedings of the Software Architecture, First European Workshop, 2004

Compositionality, Coordination and Software Architecture.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

Correct Components Assembly for a Product Data Management Cooperative System.
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003
Software Architectures and Coordination Models.
The Journal of Supercomputing, 2003

Static analysis of real-time component-based systems configurations.
Sci. Comput. Program., 2003

A review on queueing network models with finite capacity queues for software architectures performance prediction.
Perform. Eval., 2003

Deadlock-free software architectures for COM/DCOM Applications.
Journal of Systems and Software, 2003

Automatic synthesis of coordinators for COTS group-ware applications: an example.
Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

Yet Another Framework for Supporting Mobile and Collaborative Work.
Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

Software Architecture for Correct Components Assembly.
Proceedings of the Formal Methods for Software Architectures, 2003

Formal Methods in Testing Software Architectures.
Proceedings of the Formal Methods for Software Architectures, 2003

A Lightweight Infrastructure for Reconfiguring Applications.
Proceedings of the Software Configuration Management, 2003

A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems.
Proceedings of the Architecting Dependable Systems II, 2003

Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.
Proceedings of the FME 2003: Formal Methods, 2003

2002
The SALADIN project: summary report.
ACM SIGSOFT Software Engineering Notes, 2002

Correct deployment and adaptation of software applications on heterogenous (mobile) devices.
Proceedings of the First Workshop on Self-Healing Systems, 2002

Automatic Failures-Free Connector Synthesis: An Example.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

A Case Study in Performance, Modifiability and Extensibility Analysis of a Telecommunication System Software Architecture.
Proceedings of the 10th International Workshop on Modeling, 2002

A Context-Aware Approach to Infer Trust in Public Key Infrastructures.
Proceedings of the Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17<sup>th</sup> World Computer Congress, 2002

Adaptive Applications for Mobile Heterogenous Devices.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

An Experience in Architectural Extensions: Active Objects in J2EE.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

2001
Performance analysis at the software architectural design level.
Perform. Eval., 2001

Finite Approximations for Model Checking Non-finite-state Processes.
Comput. J., 2001

Automatic synthesis of deadlock free connectors for COM/DCOM applications.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Connectors Synthesis for Deadlock-Free Component-Based Architectures.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Automated Check of Architectural Models Consistency Using SPIN.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

An Explorative Journey from Architectural Tests Definition downto Code Tests Execution.
Proceedings of the 23rd International Conference on Software Engineering, 2001

InfoParco: An Experience in Designing an Information System Accessible through WEB and WAP Interfaces.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

Proving Deadlock Freedom in Component-Based Programming.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
Static checking of system behaviors using derived component assumptions.
ACM Trans. Softw. Eng. Methodol., 2000

Preface
Electr. Notes Theor. Comput. Sci., 2000

Deriving performance models of software architectures from message sequence charts.
Workshop on Software and Performance, 2000

A Coordination Process Based on UML and a Software Architectural Description.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Deriving test plans from architectural descriptions.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Coordination Models and Software Architectures in a Unified Software Development Process.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

Reconfiguration of Software Architecture Styles with Name Mobility.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing.
ACM SIGSOFT Software Engineering Notes, 1999

Uncovering Architectural Mismatch in Component Behavior.
Sci. Comput. Program., 1999

A Comprehensive Setting for Matching and Unification over Iterative Terms.
Fundam. Inform., 1999

On the Relationships among four Timed Process Algebras.
Fundam. Inform., 1999

Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving.
Proceedings of the Software Architecture, 1999

Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Static Analysis of Real-Time Component-Based Systems Configurations.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

Adding sorts to TRSs: a result on modularity of termination.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
An approach to performance evaluation of software architectures.
WOSP, 1998

1997
An approach to integration testing based on architectural descriptions.
Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997

Checking Assumptions in Component Dynamics as the Architectural Level.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Automatic Verification of Distributed Systems: The Process Algebra Approach.
Formal Methods in System Design, 1996

Integrity Constraints as Views in Deductice Databases.
Proceedings of the Integrity in Databases, 1996

Modelling Interoperability by CHAM: A Case Study.
Proceedings of the Coordination Languages and Models, First International Conference, 1996

1995
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model.
IEEE Trans. Software Eng., 1995

Infinite Normal Forms for Non-Linear Term Rewritting Systems.
Theor. Comput. Sci., 1995

Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting.
Theor. Comput. Sci., 1995

Model Checking of Non-Finite State Processes by Finite Approximations.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

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

1994
Graphics by a Logic Database Management System.
J. Vis. Lang. Comput., 1994

Automatizing Parametric Reasoning on Distributed Concurrent Systems.
Formal Asp. Comput., 1994

Proving Finiteness of CCS Processes by Non-Standard Semantics.
Acta Inf., 1994

Rational Rewriting.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

Rewriting for Preorder Relations.
Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
Experimenting with Dynamic Linking with Ada.
Softw., Pract. Exper., 1993

An 'Executable' Impredicative Semantics for the Ada Configuration.
Formal Asp. Comput., 1993

Yeast: A Case Study for a Practical Use of Formal Methods.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Extended Transition Systems for Parametric Bisimulation.
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences.
Inf. Process. Lett., 1992

Prototyping in the GEDBLOG System.
Proceedings of the SEKE'92, 1992

A Strategy to Deal with Divergent Rewrite Systems.
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991
Evaluation of Tools for the Analysis of Communicating Systems.
Bulletin of the EATCS, 1991

Combining Interaction and Automation in Process Algebra Verification.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Supporting Reuse and Configuration: A Port Based SCM Model.
Proceedings of the 3rd International Workshop on Software Configuration Management, 1991

Infinite Normal Forms for Non-Linear Term Rewriting Systems.
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

A Semantic Driven Method to Check the Finiteness of CCS Processes.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

On Rewriting Behavioral Semantics in Process Algebras.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990
A Rewriting Strategy to Verify Observational Congruence.
Inf. Process. Lett., 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

Selective Refutation of Integrity Constraints in Deductive Databases.
Proceedings of the MFDBS 89, 1989

Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988
EDBLOG: A Kernel for Configuration Environments.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988

Using Logic Databases in Software Development Environments.
Proceedings of the Programming Language Implementation and Logic Programming, 1988

Improving Integrity Constraint Checking in Deductive Databases.
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987
An Executon Environment for the Formal Definiton of Ada.
Proceedings of the ESEC '87, 1987

Enhancing Configuration Facilities in Software Development: A Logic Approach.
Proceedings of the ESEC '87, 1987

1986
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada.
Softw., Pract. Exper., 1986


  Loading...