Carlo Ghezzi

Chiara Criscuolo

Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

2022

Should We Rethink How We Do Research?

[BibT_eX]

[DOI]

Perspectives on Digital Humanism, 2022

2021

Specification Patterns for Robotic Missions.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Model-driven engineering city spaces via bidirectional model transformations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

Posture Assessment in Dentistry for Different Visual Aids Using 2D Markers.

[BibT_eX]

[DOI]

Sensors, 2021

Science needs to engage with society: some lessons from COVID-19.

[BibT_eX]

[DOI]

Commun. ACM, 2021

2020

Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2020

Early validation of cyber-physical space systems via multi-concerns integration.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things.

[BibT_eX]

[DOI]

CoRR, 2020

Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Being a Researcher - An Informatics Perspective

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-030-45156-1, 2020

2019

A verification-driven framework for iterative design of controllers.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2019

POET: Privacy on the Edge with Bidirectional Data Transformations.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications, 2019

Model-Driven Design of City Spaces via Bidirectional Transformations.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Inferring analyzable models from trajectories of spatially-distributed internet of things.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Modelling and analysing resilient cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Formal Methods in Designing Critical Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

On the Interplay Between Cyber and Physical Spaces for Adaptive Security.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2018

Software Adaptation in Wireless Sensor Networks.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2018

Modelling and Analysing Resilient Cyber-Physical Systems (NII Shonan Meeting 2018-21).

[BibT_eX]

[DOI]

Amel Bennaceur

Kenji Tei

NII Shonan Meet. Rep., 2018

Modeling and Verification of Evolving Cyber-Physical Spaces.

[BibT_eX]

[DOI]

Christos Tsigkanos

Timo Kehrer

Proceedings of the Software Engineering und Software Management 2018, 2018

On early statistical requirements validation of cyber-physical space systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

Property specification patterns for robotic missions.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Supporting Verification-Driven Incremental Distributed Design of Components.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2018

Formal Methods and Agile Development: Towards a Happy Marriage.

[BibT_eX]

[DOI]

Proceedings of the Essence of Software Engineering, 2018

2017

Efficient Dynamic Updates of Distributed Components Through Version Consistency.

[BibT_eX]

[DOI]

Xiaoxing Ma

IEEE Trans. Software Eng., 2017

Of software and change.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2017

Inferring software behavioral models with MapReduce.

[BibT_eX]

[DOI]

Chen Luo

Fei He

Sci. Comput. Program., 2017

From model checking to a temporal proof for partial models: preliminary example.

[BibT_eX]

[DOI]

CoRR, 2017

Topology-Aware Access Control of Smart Spaces.

[BibT_eX]

[DOI]

Blanca Florentino-Liaño

Tarik Hadzic

Bashar Nuseibeh

Computer, 2017

From Model Checking to a Temporal Proof for Partial Models.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

COVER: Change-based Goal Verifier and Reasoner.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017

Integrating Goal Model Analysis with Iterative Design.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

2016

Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2016

Modeling, refining and analyzing Incomplete Büchi Automata.

[BibT_eX]

[DOI]

CoRR, 2016

An EMOF-Compliant Abstract Syntax for Bigraphs.

[BibT_eX]

[DOI]

Timo Kehrer

Christos Tsigkanos

Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

Architecting dynamic cyber-physical spaces.

[BibT_eX]

[DOI]

Christos Tsigkanos

Timo Kehrer

Computing, 2016

Dependability of Adaptable and Evolvable Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Adding static and dynamic semantics to building information models.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Efficient large-scale trace checking using mapreduce.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Dealing with Incompleteness in Automata-Based Model Checking.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

Poster: Programming Support for Time-sensitive Software Adaptation in Cyberphysical Systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Wireless Systems and Networks, 2016

2015

ContextErlang: A language for distributed context-aware self-adaptive applications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Syntactic-semantic incrementality for agile verification.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Engineering Future Internet applications: The Prime approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

A quality driven extension to the QVT-relations transformation language.

[BibT_eX]

[DOI]

Mauro Luigi Drago

Comput. Sci. Res. Dev., 2015

Performance-driven dynamic service selection.

[BibT_eX]

[DOI]

Alfredo Motta

Concurr. Comput. Pract. Exp., 2015

Automatically identifying focal methods under test in unit test cases.

[BibT_eX]

[DOI]

Mohammad Ghafari

Konstantin Rubinov

Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

Enhancing reuse of constraint solutions to improve symbolic execution.

[BibT_eX]

[DOI]

Xiangyang Jia

Shi Ying

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Towards Executing Dynamically Updating Finite-State Controllers on a Robot System.

[BibT_eX]

[DOI]

Joel Greenyer

Donato Clun

Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

Syntax-Driven Program Verification of Matching Logic Properties.

[BibT_eX]

[DOI]

Alessandro Maria Rizzi

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2014

Dependability Assessment of Web Service Orchestrations.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2014

On requirement verification for evolving Statecharts specifications.

[BibT_eX]

[DOI]

Requir. Eng., 2014

SelfMotion: A declarative approach for adaptive service-oriented mobile applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

Offline Trace Checking of Quantitative Properties of Service-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Service-Oriented Computing and Applications, 2014

Team-level programming of drone sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, 2014

Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce.

[BibT_eX]

[DOI]

Srdan Krstic

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.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Engineering topology aware adaptive security: Preventing requirements violations at runtime.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Giovanni Paolo Gibilisco

Marco Miglierina

Proceedings of the Software Engineering - International Summer Schools, 2014

Mining unit tests for code recommendation.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Program Comprehension, 2014

Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Topology aware adaptive security.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Mining behavior models from user-intensive web applications.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Towards the formalization of properties of cloud-based elastic systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014

SMT-Based Checking of SOLOIST over Sparse Traces.

[BibT_eX]

[DOI]

Marcello Maria Bersani

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Context-Oriented Programming for Adaptive Wireless Sensor Network Software.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2014

Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Synthesis of Infinite-State Abstractions and Their Use for Software Validation.

[BibT_eX]

[DOI]

Mario Sangiorgio

Proceedings of the Specification, Algebra, and Software, 2014

<i>ubi</i>REST: A RESTful Service-Oriented Middleware for Ubiquitous Networking.

[BibT_eX]

[DOI]

Proceedings of the Advanced Web Services, 2014

2013

Optimizing Service Selection and Allocation in Situational Computing Applications.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2013

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

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2013

Model-based verification of quantitative non-functional properties for software product lines.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2013

A journey through SMScom: self-managing situational computing.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2013

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

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

A Syntactic-Semantic Approach to Incremental Verification

[BibT_eX]

[DOI]

CoRR, 2013

Verification for Reliable Product Lines.

[BibT_eX]

[DOI]

Maxime Cordy

Patrick Heymans

Pierre-Yves Schobbens

Axel Legay

CoRR, 2013

Editorial.

[BibT_eX]

[DOI]

Radu Calinescu

Robert B. France

Computing, 2013

Towards spatial macroprogramming for sensing and actuating robot swarms.

[BibT_eX]

[DOI]

Kamin Whitehouse

Proceedings of the 11th ACM Conference on Embedded Network Sensor Systems, 2013

On requirements verification for model refinements.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Adaptive REST applications via model inference and probabilistic model checking.

[BibT_eX]

[DOI]

Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Improving Interaction with Services via Probabilistic Piggybacking.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Formalizing correctness criteria of dynamic updates derived from specification changes.

[BibT_eX]

[DOI]

Joel Greenyer

Christian Brenner

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Managing non-functional uncertainty via model-driven adaptivity.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Towards context-oriented programming in wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2013

Perpetual Assurances for Self-Adaptive Systems.

[BibT_eX]

[DOI]

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

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.

[BibT_eX]

[DOI]

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

Towards Agile Verification.

[BibT_eX]

[DOI]

Nicolò Maria Calcavecchia

Proceedings of the Perspectives on the Future of Software Engineering, 2013

2012

Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

Reference Case Study.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

Introduction.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

Context-oriented programming: A software engineering perspective.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

A formal approach to adaptive software: continuous assurance of non-functional requirements.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

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

[BibT_eX]

[DOI]

Leandro Sales Pinto

Computing, 2012

Self-adaptive software needs quantitative verification at runtime.

[BibT_eX]

[DOI]

Commun. ACM, 2012

Resource-Oriented Middleware Abstractions for Pervasive Computing.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Software Science, 2012

PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 11th International Conference, 2012

SelfMotion: a declarative language for adaptive service-oriented mobile apps.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Dealing with changes in service orchestrations.

[BibT_eX]

[DOI]

Leandro Sales Pinto

Proceedings of the ACM Symposium on Applied Computing, 2012

Evolution, Adaptation, and the Quest for Incrementality.

[BibT_eX]

[DOI]

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Adaptive Service-Oriented Mobile Applications: A Declarative Approach.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Writing dynamic service orchestrations with DSOL.

[BibT_eX]

[DOI]

Leandro Sales Pinto

Proceedings of the 34th International Conference on Software Engineering, 2012

Runtime monitoring of component changes with Spy@Runtime.

[BibT_eX]

[DOI]

Mario Sangiorgio

Proceedings of the 34th International Conference on Software Engineering, 2012

Behavioral validation of JFSL specifications through model synthesis.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Synthesizing dynamically updating controllers from changes in scenario-based specifications.

[BibT_eX]

[DOI]

Joel Greenyer

Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Reliability-driven dynamic binding via feedback control.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

The Tale of SOLOIST: A Specification Language for Service Compositions Interactions.

[BibT_eX]

[DOI]

Pierluigi San Pietro

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Autotuning control structures for reliability-driven dynamic binding.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

ContextErlang: introducing context-oriented programming in the actor model.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Control Applications, 2012

Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification.

[BibT_eX]

[DOI]

Proceedings of the Conquering Complexity, 2012

2011

Engineering Evolving and Self-Adaptive Systems: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

Context-Oriented Programming: A Programming Paradigm for Autonomic Systems

[BibT_eX]

[DOI]

CoRR, 2011

Computational REST Meets Erlang.

[BibT_eX]

[DOI]

Alessandro Sivieri

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.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

Version-consistent dynamic reconfiguration of component-based distributed systems.

[BibT_eX]

[DOI]

Xiaoxing Ma

Jian Lu

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mario Sangiorgio

Proceedings of the Models in Software Engineering, 2011

Towards Quality Driven Exploration of Model Transformation Spaces.

[BibT_eX]

[DOI]

Mauro Luigi Drago

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Run-time efficient probabilistic model checking.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Global Software Engineering, 2011

The Fading Boundary between Development Time and Run Time.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE European Conference on Web Services, 2011

JavaCtx: seamless toolchain integration for context-oriented programming.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011

Dynamic synthesis of program invariants using genetic programming.

[BibT_eX]

[DOI]

Luigi Cardamone

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

A compositional method for reliability analysis of workflows affected by multiple failure modes.

[BibT_eX]

[DOI]

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

RESTful Service Architectures for Pervasive Networking Environments.

[BibT_eX]

[DOI]

Proceedings of the REST: From Research to Practice, 2011

2010

Change-point detection for black-box services.

[BibT_eX]

[DOI]

Ilenia Epifani

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

The disappearing boundary between development-time and run-time.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Towards a Service-Based Internet - Third European Conference, 2010

Adaptive Software Needs Continuous Verification.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

QoS Driven Dynamic Binding in-the-many.

[BibT_eX]

[DOI]

Alfredo Motta

Proceedings of the Research into Practice, 2010

QVTR<sup>2</sup>: A Rational and Performance-Aware Extension to the Relations Language.

[BibT_eX]

[DOI]

Mauro Luigi Drago

Proceedings of the Models in Software Engineering, 2010

A hybrid approach (syntactic and textual) to clone detection.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 4th ICSE International Workshop on Software Clones, 2010

Anquiro: enabling efficient static verification of sensor network software.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Lars Grunske

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Behavior model based component search: an initial assessment.

[BibT_eX]

[DOI]

Proceedings of 2010 ICSE Workshop on Search-driven Development: Users, 2010

Automatic Cross Validation of Multiple Specifications: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

An empirical investigation into a large-scale Java open source code repository.

[BibT_eX]

[DOI]

Stefano Crespi-Reghizzi

Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

Model-Driven Management of Services.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE European Conference on Web Services (ECOWS 2010), 2010

Context oriented programming in highly concurrent systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Context-Oriented Programming, 2010

Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines.

[BibT_eX]

[DOI]

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

Reliability Analysis of Component-Based Systems with Multiple Failure Modes.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

Architectural Issues of Adaptive Pervasive Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

The Role of Contracts in Distributed Development.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Approaches for Offshore and Outsourced Development, 2009

Decentralized Software Development: Pitfalls and Challenges.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Approaches for Offshore and Outsourced Development, 2009

Reasoning on Non-Functional Requirements for Integrated Services.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Architectures for Adaptive Software Systems, 2009

Synthesizing intensional behavior models by graph transformation.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Model evolution by run-time parameter adaptation.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Embedding continuous lifelong verification in service life cycles.

[BibT_eX]

[DOI]

Cesare Pautasso

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.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Using Graph Transformation Systems to Specify and Verify Data Abstractions.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Determining the Impact of Software Engineering Research on Practice.

[BibT_eX]

[DOI]

Computer, 2008

A journey to highly dynamic, self-adaptive service-based applications.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2008

Model Driven QoS Analyses of Composed Web Services.

[BibT_eX]

[DOI]

Danilo Ardagna

Proceedings of the Towards a Service-Based Internet, 2008

Choosing a Software Architecture: An Approach and a Case Study.

[BibT_eX]

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Quality Prediction of Service Compositions through Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

Rethinking the Use of Models in Software Architecture.

[BibT_eX]

[DOI]

Danilo Ardagna

Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

SAVVY-WS at a glance: Supporting verifiable dynamic service compositions.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

Transparent Reputation Management for Composite Web Services.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Towards a methodology for lifelong validation of service compositions.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Systems Development in SOA Environments, 2008

Dynamically Evolvable Dependable Software: From Oxymoron to Reality.

[BibT_eX]

[DOI]

Paola Inverardi

Carlo Montangero

Proceedings of the Concurrency, 2008

2007

Towards Self-healing Composition of Services.

[BibT_eX]

[DOI]

Sam Guinea

Proceedings of the Contributions to Ubiquitous Computing, 2007

A framework for the deployment of adaptable web service compositions.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2007

Validation of web service compositions.

[BibT_eX]

[DOI]

IET Softw., 2007

The challenges of open-world software.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software and Performance, 2007

Run-Time Monitoring in Service-Oriented Architectures.

[BibT_eX]

[DOI]

Sam Guinea

Proceedings of the Test and Analysis of Web Services, 2007

A Model Checking Approach to Verify BPEL4WS Workflows.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Foreword to the doctoral symposium.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

Efficient recovery of algebraic specifications for stateful components.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Principles of Software Evolution (IWPSE 2007), 2007

A Timed Extension of WSCoL.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Automated Dynamic Maintenance of Composite Services Based on Service Reputation.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2007

On Accurate Automatic Verification of Publish-Subscribe Architectures.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Supporting Cooperative Software Processes in a Decentralized and Nomadic World.

[BibT_eX]

[DOI]

Davide Balzarotti

IEEE Trans. Syst. Man Cybern. Part A, 2006

Toward Open-World Software: Issue and Challenges.

[BibT_eX]

[DOI]

Elisabetta Di Nitto

Computer, 2006

Towards Open-World Software: Issue and Challenges.

[BibT_eX]

[DOI]

Elisabetta Di Nitto

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Software Engineering: Emerging Goals and Lasting Problems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2006

Towards a Model-driven Approach to Develop Applications based on Physical Active Objects.

[BibT_eX]

[DOI]

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

Editorial.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2005

Editorial.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2005

Flexible Processes for Evolvable Products.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Symposium on Software Metrics (METRICS 2005), 2005

The challenges of software engineering education.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Hybrid service-oriented architectures: a case-study in the automotive domain.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

2004

Introduction to Special Issue on Distributed and Mobile Software Engineering.

[BibT_eX]

[DOI]

Paola Inverardi

Autom. Softw. Eng., 2004

Smart monitors for composed services.

[BibT_eX]

[DOI]

Sam Guinea

Proceedings of the Service-Oriented Computing, 2004

Enhancing Remote Method Invocation through Type-Based Static Analysis.

[BibT_eX]

[DOI]

Vincenzo Martena

Gian Pietro Picco

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Validation of Component and Service Federations in Automotive Software Applications.

[BibT_eX]

[DOI]

Proceedings of the Automotive Software, 2004

2003

Editorial.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2003

Using Agents for Multi-target Search on the Web.

[BibT_eX]

[DOI]

Elisabetta Di Nitto

Paolo Selvini

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Fundamentals of software engineering (2. ed.).

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-305699-0, 2003

2002

Supporting configuration management for virtual workgroups ini a peer-to-peer setting.

[BibT_eX]

[DOI]

Davide Balzarotti

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Freeing Cooperation from Servers Tyranny.

[BibT_eX]

[DOI]

Davide Balzarotti

Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

Fostering component evolution with C# attributes.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Principles of Software Evolution, 2002

Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation, First International Conference, 2002

2001

Fundamental Approaches to Software Engineering.

[BibT_eX]

[DOI]

Egidio Astesiano

Sci. Comput. Program., 2001

Using symbolic execution for verifying safety-critical systems.

[BibT_eX]

[DOI]

Alberto Coen-Porisini

Giovanni Denaro

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.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents V, 5th International Workshop, 2001

1999

Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development.

[BibT_eX]

[DOI]

Bashar Nuseibeh

IEEE Trans. Software Eng., 1999

ICSE 2000 opportunity.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1999

Design and Implementation of PROSYT: A Distributed Process Support System.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Enabling Technologies (WETICE '99), 1999

Complexity in Human Centered Systems: The Case of Software Processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Process. Improv. Pract., 1998

Towards a Software Engineering Approach to Web Site Development.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Programming language concepts (3. ed.).

[BibT_eX]

Wiley, ISBN: 978-0-471-10426-1, 1998

1997

Specification of Realtime Systems Using ASTRAL.

[BibT_eX]

[DOI]

Alberto Coen-Porisini

Richard A. Kemmerer

IEEE Trans. Software Eng., 1997

Software Engineering Issues for Network Computing.

[BibT_eX]

[DOI]

Giovanni Vigna

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

CJava: Introducing Concurrent Objects in Java.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Conference on Object Oriented Information Systems, 1997

Mobile Code Paradigms and Technologies: A Case Study.

[BibT_eX]

[DOI]

Giovanni Vigna

Proceedings of the Mobile Agents, First International Workshop, 1997

Software Engineering Issues for Network Computing.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

Software Qualities and Principles.

[BibT_eX]

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1996

Analyzing Mobile Code Languages.

[BibT_eX]

[DOI]

Proceedings of the Mobile Object Systems, 1996

Program families: some requirements issues for the process languages.

[BibT_eX]

[DOI]

Proceedings of the 10th International Software Process Workshop, 1996

1995

How to Deal With Deviations During Process Model Enactment.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Software Engineering, 1995

1994

Validating timing requirements for time basic net specifications.

[BibT_eX]

[DOI]

Sandro Morasca

J. Syst. Softw., 1994

State of the art and open issues in process-centered software engineering environments.

[BibT_eX]

[DOI]

J. Syst. Softw., 1994

1993

Process Model Evolution in the SPADE Environment.

[BibT_eX]

[DOI]

Sergio Bandinelli

IEEE Trans. Software Eng., 1993

Executable Specifications with Data-flow Diagrams.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1993

Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design.

[BibT_eX]

[DOI]

Gruia-Catalin Roman

Sci. Comput. Program., 1993

High-Level Timed Petri Nets as a Kernel for Executable Specifications.

[BibT_eX]

[DOI]

Real Time Syst., 1993

A Survey and Assessment of Software Process Representation Formalisms.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1993

Towards Extensible Graphical Formalisms.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Analyzing Refinements of State Based Specifications: The Case of TB Nets.

[BibT_eX]

[DOI]

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

Process Formalisms Need to be Fully Reflective.

[BibT_eX]

Proceedings of the State of the Practice in Process Technology, 1993

Real-Time Systems: A Survey of Approaches to Formal Specification and Verification.

[BibT_eX]

[DOI]

Carlo Bellettini

Proceedings of the Software Engineering, 1993

Parallel Execution of Real-Time Petri Nets.

[BibT_eX]

[DOI]

Kim Portman

Proceedings of the Advances in Software Engineering and Knowledge Engineering, 1993

1992

Guest Editors' Introduction: Specification and Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Richard A. Kemmerer

IEEE Trans. Software Eng., 1992

A Model Parametric Real-Time Logic.

[BibT_eX]

[DOI]

Angelo Morzenti

ACM Trans. Program. Lang. Syst., 1992

Software Processes Representation Languages: Survey and Assessment.

[BibT_eX]

[DOI]

Proceedings of the SEKE'92, 1992

Formal Specification and Timing Analysis of High-Integrity Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Real Time Computing, 1992

Process Enactment in SPADE.

[BibT_eX]

[DOI]

Proceedings of the Software Process Technology, Second European Workshop, 1992

1991

A Unified High-Level Petri Net Formalism for Time-Critical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1991

Software Specialization Via Symbolic Execution.

[BibT_eX]

[DOI]

Alberto Coen-Porisini

Flavio De Paoli

IEEE Trans. Software Eng., 1991

Executing Formal Specifications: The ASTRAL to TRIO Translation Approach.

[BibT_eX]

[DOI]

Richard A. Kennerer

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

A multi-paradigm Petri net based approach to process description.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

ASTRAL: An Assertion Language for Specifying Realtime Systems.

[BibT_eX]

[DOI]

Richard A. Kemmerer

Proceedings of the ESEC '91, 1991

Fundamentals of software engineering.

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-818204-5, 1991

1990

TRIO: A logic language for executable specifications of real-time systems.

[BibT_eX]

[DOI]

Angelo Morzenti

J. Syst. Softw., 1990

1989

Some Consideration on Real-Time Bahavior of Concurrent Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

Symbolic Execution of Concurrent Systems Using Petri Nets.

[BibT_eX]

[DOI]

Comput. Lang., 1989

A general way to put time in Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1987

On the Specification of Real-Time Systems Using Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the ESEC '87, 1987

On the Role of Software Reliability in Software Engineering.

[BibT_eX]

[DOI]

Angelo Morzenti

Proceedings of the Software Reliability Modelling and Identification (Como, Italy, 1987

Programming language concepts (2. ed.).

[BibT_eX]

Wiley, ISBN: 978-0-471-82173-1, 1987

1985

Concurrency in programming languages: A survey.

[BibT_eX]

[DOI]

Parallel Comput., 1985

Modeling the Ada Task System by Petri Nets.

[BibT_eX]

[DOI]

Comput. Lang., 1985

Program Simplification via Symbolic Interpretation.

[BibT_eX]

[DOI]

Antonio Tecchio

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1984

Using FP As a Query Language for Relational Data-Bases.

[BibT_eX]

[DOI]

Annalisa Bossi

Comput. Lang., 1984

1982

Language Constructs for Real-Time Distributed Systems.

[BibT_eX]

[DOI]

Comput. Lang., 1982

Programming language concepts.

[BibT_eX]

Wiley, ISBN: 978-0-471-08755-7, 1982

1980

Separate Compilation and Partial Specification in Pascal.

[BibT_eX]

[DOI]

Augusto Celentano

IEEE Trans. Software Eng., 1980

Compiler Testing using a Sentence Generator.

[BibT_eX]

[DOI]

Augusto Celentano

Stefano Crespi-Reghizzi

G. Granata

Florencia Savoretti

Softw. Pract. Exp., 1980

Augmenting Parsers to Support Incrementality.

[BibT_eX]

[DOI]

J. ACM, 1980

SIMPLE: A Program Development System.

[BibT_eX]

[DOI]

Augusto Celentano

Comput. Lang., 1980

1979

Incremental Parsing.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1979

1978

Context-Free Graph Grammars

[BibT_eX]

[DOI]

Inf. Control., May, 1978

1976

Data Structures and Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the ECI Conference 1976, 1976

1975

LL(1) Grammars Supporting an Efficient Error Handling.

[BibT_eX]

[DOI]