Sebastián Uchitel

Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Contractor.NET: inferring typestate properties to enrich code contracts.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

Synthesis of live behaviour models for fallible domains.

[BibT_eX]

[DOI]

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

Program abstractions for behaviour validation.

[BibT_eX]

[DOI]

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

An Inductive Approach for Modal Transition System Refinement.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Runtime Support for Dynamic and Adaptive Service Composition.

[BibT_eX]

[DOI]

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

Specification and Analysis of Dynamically-Reconfigurable Service Architectures.

[BibT_eX]

[DOI]

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

2010

An Integrated Workbench for Model-Based Engineering of Service Compositions.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2010

Deriving non-Zeno behaviour models from goal models using ILP.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

Synthesis of live behaviour models.

[BibT_eX]

[DOI]

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

My model checker died!: how well did it do?

[BibT_eX]

[DOI]

Esteban Pavese

Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering.

[BibT_eX]

Proceedings of the 13th Iberoamerican Conference on Software Engineering, 2010

2009

Synthesis of Partial Behavior Models from Properties and Scenarios.

[BibT_eX]

[DOI]

Greg Brunet

IEEE Trans. Software Eng., 2009

Guest editorial.

[BibT_eX]

[DOI]

Vittorio Cortellessa

Daniel Yankelevich

J. Syst. Softw., 2009

Using abduction and induction for operational requirements elaboration.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models.

[BibT_eX]

[DOI]

Esteban Pavese

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 accurate probabilistic models using state refinement.

[BibT_eX]

[DOI]

Paulo Henrique M. Maia

Nabor C. Mendonça

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

A Sound Observational Semantics for Modal Transition Systems.

[BibT_eX]

[DOI]

Dario Fischbein

Proceedings of the Theoretical Aspects of Computing, 2009

Engage: Engineering Service Modes with WS-Engineer and Dino.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Validation of contracts using enabledness preserving finite state abstractions.

[BibT_eX]

[DOI]

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

Learning operational requirements from goal models.

[BibT_eX]

[DOI]

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

2008

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Steve M. Easterbrook

Autom. Softw. Eng., 2008

Deriving event-based transition systems from goal-oriented requirements models.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2008

Towards compositional synthesis of evolving systems.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

On correct and complete strong merging of partial behaviour models.

[BibT_eX]

[DOI]

Dario Fischbein

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Leveraging Modes and UML2 for Service Brokering Specifications.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Model-Driven Web Engineering, 2008

MTSA: The Modal Transition System Analyser.

[BibT_eX]

[DOI]

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

A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2008

Existential live sequence charts revisited.

[BibT_eX]

[DOI]

German E. Sibay

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Towards Faithful Model Extraction Based on Contexts.

[BibT_eX]

[DOI]

Lucio Mauro Duarte

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Deriving Non-zeno Behavior Models from Goal Models Using ILP.

[BibT_eX]

[DOI]

Dalal Alrajeh

Alessandra Russo

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Detecting Implied Scenarios from Execution Traces.

[BibT_eX]

[DOI]

Felipe Cantal de Sousa

Nabor C. Mendonça

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.

[BibT_eX]

[DOI]

Proceedings of the Test and Analysis of Web Services, 2007

Model checking service compositions under resource constraints.

[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

Towards Self-management in Service-Oriented Computing with Modes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2007

Behaviour Model Synthesis from Properties and Scenarios.

[BibT_eX]

[DOI]

Greg Brunet

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

MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.

[BibT_eX]

[DOI]

Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

2006

Goal and scenario validation: a fluent combination.

[BibT_eX]

[DOI]

Requir. Eng., 2006

Inferring operational requirements from scenarios and goal models using inductive learning.

[BibT_eX]

[DOI]

Dalal Alrajeh

Alessandra Russo

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Model Extraction Using Context Information.

[BibT_eX]

[DOI]

Lucio Mauro Duarte

Proceedings of the Model Driven Engineering Languages and Systems, 2006

A foundation for behavioural conformance in software product line architectures.

[BibT_eX]

[DOI]

Dario Fischbein

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Extracting Requirements from Scenarios with ILP.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

LTSA-WS: a tool for model-based verification of web service compositions and choreography.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Properties of Behavioural Model Merging.

[BibT_eX]

[DOI]

Greg Brunet

Proceedings of the FM 2006: Formal Methods, 2006

Modes for Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, Third European Workshop, 2006

Partial Behavioural Models for Requirements and Early Design.

[BibT_eX]

[DOI]

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

Model-Based Analysis of Obligations in Web Service Choreography.

[BibT_eX]

[DOI]

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005

Guest Editorial: Special Section on Interaction and State-Based Modeling.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

Sensitivity analysis for a scenario-based reliability prediction model.

[BibT_eX]

[DOI]

Genaína Nunes Rodrigues

David S. Rosenblum

ACM SIGSOFT Softw. Eng. Notes, 2005

Reliability Prediction in Model-Driven Development.

[BibT_eX]

[DOI]

Genaína Nunes Rodrigues

David S. Rosenblum

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Fluent temporal logic for discrete-time event-based models.

[BibT_eX]

[DOI]

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Introduction to doctoral symposium.

[BibT_eX]

[DOI]

Steve M. Easterbrook

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Tool Support for Model-Based Engineering of Web Service Compositions.

[BibT_eX]

[DOI]

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

Monitoring and control in scenario-based requirements analysis.

[BibT_eX]

[DOI]

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

Fluent-based web animation: exploring goals for requirements validation.

[BibT_eX]

[DOI]

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

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems.

[BibT_eX]

[DOI]

Genaína Nunes Rodrigues

David S. Rosenblum

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Leveraging Eclipse for integrated model-based engineering of web service compositions.

[BibT_eX]

[DOI]

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004

Incremental elaboration of scenario-based specifications and behavior models using implied scenarios.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2004

System architecture: the context for scenario-based model synthesis.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Merging partial behavioural models.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Compatibility Verification for Web Service Choreography.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Predictable Dynamic Plugin Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003

Incremental elaboration of scenario-based specifications and behaviour models using implied scenarios.

[BibT_eX]

[DOI]

PhD thesis, 2003

Synthesis of Behavioral Models from Scenarios.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

A summary of the second ICSE 2003 workshop on: "scenarios and state machines: models, algorithms, and tools".

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2003

Visual methods for web application design.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Behaviour model elaboration using partial labelled transition systems.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Software Architecture Modeling & Analysis: A Rigorous Approach.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Software Architectures, 2003

Model-based Verification of Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

Model-based Simulation of Web Applications for Usability Assessment.

[BibT_eX]

[DOI]

Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, 2003

2002

Implied Scenario Detection in the Presence of Behaviour Constraints.

[BibT_eX]

[DOI]

Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002

Negative scenarios for implied scenario elicitation.

[BibT_eX]

[DOI]

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Scenarios and state machines: models, algorithms, and tools.

[BibT_eX]

[DOI]

Tarja Systä

Albert Zündorf

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

Detecting implied scenarios in message sequence chart specifications.

[BibT_eX]

[DOI]

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

A Workbench for Synthesising Behaviour Models from Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

Proving Deadlock Freedom in Component-Based Programming.

[BibT_eX]

[DOI]

Paola Inverardi