ZUDAIRE, SEBASTIÁN A.; FELIPE GOROSTIAGA; GERARDO SCHNEIDER; CESAR SANCHEZ; SEBASTIAN UCHITEL

Assumption monitoring of temporal task planning using stream runtime verification.

Proceedings of the 11th International Symposium On Lever- aging Applications of Formal Methods

Año: 2022;

JAVIER GODOY; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY; SEBASTIAN UCHITEL

Predicate abstractions for smart contract validation

25th International Conference on Model Driven Engineering

Lugar: Montreal; Año: 2022;

DALAL ALRAJEH; PATRICK BENJAMIN; SEBASTIAN UCHITEL

Adaptation^2: Adapting specification learners in assured adaptive systems

36th IEEE/ACM Inter- national Conference on Automated Software Engineering

Lugar: Los Angeles; Año: 2021;

YEHIA ALRAHMAN; BRABERMAN, VICTOR; NICOLAS D'IPPOLITO; NIR PITERMAN; SEBASTIAN UCHITEL

Synthesis of run-to-completion controllers for discrete event systems

Proceedings of the American Control Conference (ACC)

Año: 2021;

SEBASTIAN ZUDAIRE; EZEQUIEL PECKER MARCOSI; MARTIN GARRET; SEBASTIAN UCHITEL; SEBASTIAN UCHITEL

Unified DEVS-based platform for modeling and simulation of hybrid control systems

Winter Simulation Conference

Año: 2021;

SEBASTIAN ZUDAIRE; FELIPE GOROSTIAGA; CESAR SANCHEZ; GERARDO SCHNEIDER; SEBASTIAN UCHITEL

Assumption monitoring using runtime verification for uav temporal task plan executions

International Conference on Robotics and Automation (ICRA)

Lugar: Washington; Año: 2021;

ZUDAIRE, SEBASTIÁN A.; FELIPE GOROSTIAGA; CESAR SANCHEZ; GERARDO SCHNEIDER; SEBASTIAN UCHITEL

Assumption monitoring using runtime verification for uav temporal task plan executions

Proceedings of the International Conference on Robotics and Automation, ICRA, 2021

Año: 2021;

SEBASTIAN ZUDAIRE; MARTIN GARRET; SEBASTIAN UCHITEL

Iterator-Based Temporal Logic Task Planning

International Conference on Robotics and Automation (ICRA 2020)

Lugar: Paris; Año: 2020;

IVAN POSTOLSKI; BRABERMAN, VICTOR; DIEGO GARBERVETSKY; SEBASTIAN UCHITEL

Simulator-based diff-time performance testing

ICSE Nier Track

Lugar: Montreal; Año: 2019;

BRABERMAN, VICTOR; DIEGO GARBERVETSKY; JAVIER GODOY; SEBASTIAN UCHITEL; GUIDO DE CASO; IGNACIO PEREZ; SANTIAGO PEREZ

Testing and validating end user programmed calculated fields

Foundations of Software Engineering (ESEC/FSE), Industrial Track

Año: 2019;

LEANDRO NAHABEDIAN; BRABERMAN, VICTOR; DIPPOLITO, NICOLAS; J. KRAMER; S. UCHITEL

Dynamic Reconfiguration of Business Processes.

Business Process Management 2019

Lugar: Viena; Año: 2019;

RODRIGO CASTAÑO; DIEGO GARBERVETSKY; BRABERMAN, VICTOR; UCHITEL, SEBASTIAN

Model checker execution reports

International Conference on Automated Software Engineering

Año: 2017;

DALAL ALRAJEH; AXEL VAN LAMSWEERDE; JEFF KRAMER; SEBASTIAN UCHITEL

Risk-driven revision of requirements models

Proceedings of the 38th International Conference on Software Engineering,

Lugar: Austin; Año: 2016;

SHOHAM BEN DAVID; MARSHA CHECHIK; SEBASTIAN UCHITEL

Observational re- finement and merge for disjunctive mtss.

14th International Symposium on Automated Technology for Verification and Analysis

Año: 2016;

LEANDRO NAHABEDIAN; VICTOR BRABERMAN; NICOLAS D'IPPOLITO; JEFF KRAMER; KENJI TEI; SHINICHI HONIDEN; SEBASTIAN UCHITEL

Assured and correct dynamic update of controllers

11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Lugar: Austin; Año: 2016;

ROBIN DUPUIS; KEVIN COLSON; LIONEL MONTRIEUX; ZHEJIANG HU; SEBASTIAN UCHITEL; PIERRE YVES-SCHOBBENS

Reusable self-adaptation through bidirectional pro- gramming.

11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Año: 2016;

NATALIA RODRIGUEZ; BRABERMAN, VICTOR; NICOLAS D'IPPOLITO; SEBASTIAN UCHITEL

2.5 Player Generalized Reactivity (1) Games

International Conference on Decision and Control

Año: 2016;

CIOLEK, DANIEL; BRABERMAN, VICTOR; NICOLAS D'IPPOLITO; UCHITEL, SEBASTIAN

Directed Controller Synthesis of Discrete Event Systems: Taming Composition with Heuristics

International Conference on Decision and Control

Año: 2016;

RENZO DEGIOVANNI; DALAL ALRAJEH; NAZARENO AGUIRRE; SEBASTIAN UCHITEL

Automated Goal Operationalisation Based on Interpolation and SAT Solving

36th International Conference on Software Engineering

Lugar: Hyderabad; Año: 2014;

NICOLAS D'IPPOLITO; VICTOR BRABERMAN; JEFF KRAMER; JEFF MAGEE; DANIEL SYKES; SEBASTIAN UCHITEL

Hope for the Best, Prepare for the Worst: Multi-tier Control for Adaptive Systems

36th International Conference on Software Engineering

Lugar: Hyderabad; Año: 2014;

IVO KRKA; NICOLAS D'IPPOLITO; NENAD MEDVIDOVIC; SEBASTIAN UCHITEL

Revisiting Compatibility of Input-Output Modal Transition Systems

Formal Methods 2014

Año: 2014;

NICOLAS D'IPPOLITO; VICTOR BRABERMAN; NIR PITERMAN; SEBASTIAN UCHITEL

Controllability in Partial and Uncertain Environments

2014 14th International Conference on Application of Concurrency to System Design

Lugar: La Marsa; Año: 2014;

HERNAN CZEMERINSKI; VICTOR BRABERMAN; SEBASTIAN UCHITEL

Behaviour Abstraction Coverage as Black-Box Adequacy Criteria

2013 IEEE 6th International Conference on Software Testing, Verification, and Validation (ICST 2013)

Lugar: luxemburgo; Año: 2013;

VICTOR BRABERMAN; NICOLAS D'IPPOLITO; NIR PITERMAN; DANIEL SYKES; SEBASTIAN UCHITEL

Controller synthesis: from modelling to enactment

35th International Conference on Software Engineering (ICSE 2013)

Lugar: San Francisco; Año: 2013;

ESTEBAN PAVESE; VICTOR BRABERMAN; SEBASTIAN UCHITEL

Automated Reliability Estimation over Partial Systematic Explorations

35th International Conference on Software Engineering (ICSE 2013)

Lugar: San Francisco; Año: 2013;

SHOHAM BEN DAVID; MARSHA CHECHIK; SEBASTIAN UCHITEL

Merging Partial Behaviour Models with Different Vocabularies

24th International Conference on Concurrency Theory (CONCUR 2013)

Lugar: Buenos Aires; Año: 2013;

GUIDO DE CASO; VICTOR BRABERMAN; DIEGO GARBERVETSKY; SEBASTIAN UCHITEL

Abstractions for Validation in Action

12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012

Lugar: Bertinoro; Año: 2012;

DALAL ALRAJEH; JEFF KRAMER; AXEL VAN LAMSWEERDE; ALESSANDRA RUSSO; SEBASTIAN UCHITEL

Generating obstacle conditions for requirements completeness

34th International Conference on Software Engineering, ICSE 2012

Lugar: Zurich; Año: 2012;

DALAL ALRAJEH; JEFF KRAMER; ALESSANDRA RUSSO; SEBASTIAN UCHITEL

Learning from Vacuously Satisfiable Scenario-Based Specifications

15th International Conference Fundamental Approaches to Software Engineering, FASE 2012

Lugar: Taillin; Año: 2012;

NICOLAS D'IPPOLITO; VICTOR BRABERMAN; NIR PITERMAN; SEBASTIAN UCHITEL

The Modal Transition System Control Problem

18th International Symposium on Formal Methods FM 2012

Lugar: Paris; Año: 2012;

GERMAN SIBAY; SEBASTIAN UCHITEL; VICTOR BRABERMAN; JEFF KRAMER

Distribution of Modal Transition Systems

18th International Symposium on Formal Methods FM 2012

Lugar: Paris; Año: 2012;

EDGARDO ZOPPI; VICTOR BRABERMAN; GUIDO DE CASO; DIEGO GARBERVETSKY; SEBASTIAN UCHITEL

Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts

TOPI 2011: 1st Workshop on Developing Tools as Plug-ins

Lugar: Honolulu; Año: 2011;

GUIDO DE CASO; VICTOR BRABERMAN; DIEGO GARBERVETSKY; SEBASTIAN UCHITEL

Program Abstractions for Behaviour Validation

International Conference on Software Engineering (ICSE)

Lugar: Honolulu; Año: 2011;

NICOLAS D'IPPOLITO; VICTOR BRABERMAN; NIR PITERMAN; SEBASTIAN UCHITEL

Synthesis of live behaviour models for fallible domains

International Conference on Software Engineering (ICSE)

Lugar: Honolulu; Año: 2011;

DALAL ALRAJEH; JEFF KRAMER; ALESSANDRA RUSSO; SEBASTIAN UCHITEL

An Inductive Approach for Modal Transition System Refinement

27th International Conference on Logic Programming, ICLP 2011

Lugar: Lexington, Kentucky; Año: 2011;

SHOHAM BEN DAVID; MARSHA CHECHIK; ARIE GURFINKEL; SEBASTIAN UCHITEL

CSSL: a logic for specifying conditional scenarios

19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering

Lugar: Szeged; Año: 2011;

DALAL ALRAJEH; ALESSANDRA RUSSO; SEBASTIAN UCHITEL; JEFF KRAMER

Integrating Model Checking and Inductive Logic Programming

21st International Conference, ILP 2011

Lugar: Windsor Great Park; Año: 2011;

DARIO FISCHBEIN; VICTOR BRABERMAN; SEBASTIAN UCHITEL

Sound Observational Semantics for Modal Transition Systems

6th International Colloquium on Theoretical Aspects of Computing (ICTAC)

Lugar: Kuala Lumpur; Año: 2010;

ESTEBAN PAVESE; SEBASTIAN UCHITEL; VICTOR BRABERMAN

My Model Checker Died! How Well Did It Do?

QUOVADIS 2010 - First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (co-located with ICSE 2010)

Lugar: Cape Town; Año: 2010;

NICOLAS D'IPPOLITO; VICTOR BRABERMAN; NIR PITERMAN; SEBASTIAN UCHITEL

Synthesis of Live Behaviour Models

ACM-SIGSOFT Intl. Symposium on Foundations of Software Engineering

Lugar: Santa Fe, Nuevo Mexico; Año: 2010;

GERMAN SIBAY; VICTOR BRABERMAN; SEBASTIAN UCHITEL

Existential Live Sequence Charts Revisited

International Conference on Software Engineering (ICSE)

Lugar: Lepizig; Año: 2009;

ESTEBAN PAVESE; VICTOR BRABERMAN; SEBASTIAN UCHITEL

Probabilistic Environments in the Quantitative Analysis of (Non-Probabilistic) Behaviour Models

Joint European Software Engineering Conference and ACM Symposium on Foundations Software Engineering (ESEC/FSE)

Lugar: Amsterdam; Año: 2009;

DALAL ALRAJEH; ALESSANDRA RUSSO; JEFF KRAMER; SEBASTIAN UCHITEL

Learning Operational Requirements from Declarative Goal Models

International Conference on Software Engineering (ICSE)

Lugar: Vancouver; Año: 2009;

PAULO HENRIQUE M. MAIA; JEFF KRAMER; SEBASTIAN UCHITEL; NABOR C. MENDONCA

Towards accurate probabilistic models using state refinement

7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Lugar: Amsterdam; Año: 2009;

SEBASTIAN UCHITEL

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

Simpósio Brasileiro de Métodos Formais

Lugar: Gramado; Año: 2009;

HOWARD FOSTER; ARUN MUKHIJA; DAVID ROSENBLUM; SEBASTIAN UCHITEL

Engage: Engineering Service Modes with WS-Engineer and Dino

International Conference on Service-Oriented Computing – ICSOC / Service Wave

Lugar: Estocolmo; Año: 2009;

GUIDO DE CASO; VICTOR BRABERMAN; DIEGO GARBERVETSKY; SEBASTIAN UCHITEL

Validation of Contracts using Enabledness Preserving Finite State Abstractions

31st IEEE/ACM International Conference on Software Engineering (ICSE)

Lugar: Vancouver; Año: 2009;

DARIO FISCHBEIN; SEBASTIAN UCHITEL

On Correct and Complete Merging of Partial Behaviour Models

ACM International Symposium on Foundations of Software Engineering (FSE)

Lugar: Atlanta; Año: 2008;

D. ALRAJEH; A. RUSSO; S. UCHITEL

Deriving Non-zeno Behaviour Models from Goal models Using ILP

Fundamental Approaches to Software Engineering (FASE) at the European Joint Conferences on Theory and Practice of Software (ETAPS)

Lugar: Budapest; Año: 2008;

SHIVA NEJATI; MEHRDAD SABETSADEH; MARSHA CHECHIK; SEBASTIAN UCHITEL; PAMELA ZAVE

Towards Compositional Synthesis of Evolving Systems

ACM International Symposium on Foundations of Software Engineering (FSE)

Lugar: Atlanta; Año: 2008;

L. DUARTE; J. KRAMER; S. UCHITEL

Towards Faithful Model Extraction Based on Contexts

Fundamental Approaches to Software Engineering (FASE) at the European Joint Conferences on Theory and Practice of Software (ETAPS)

Lugar: Budapest; Año: 2008;

H. FOSTER; A. MUKHIJA; D. ROSENBLUM; S. UCHITEL

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

ICSOC- International Conference on Service-Oriented Computing

Lugar: Syndney; Año: 2008;

M. CHECHIK; G. BRUNET; D. FISCHBEIN; S. UCHITEL

Partial Behavioural Models for Requirements and Early Design.

Dagstuhl Workshop on Methods for Modelling Software Systems (MMOSS)

Lugar: Dagstuhl; Año: 2007;

DALAL ALRAJEH; OLIVER RAY; ALESSANDRA RUSSO; SEBASTIAN UCHITEL

Using Abduction and Induction for Operational Requirements Elaboration

Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics

Lugar: Aix-en-Provence; Año: 2007;

SEBASTIÁN UCHITEL; GREG BRUNET; MARSHA CHECHIK

Behaviour Model Synthesis from Properties and Scenarios

29th IEEE/ACM International Conference on Software Engineering (ICSE)

Lugar: Minneapolis; Año: 2007;

H. FOSTER; S. UCHITEL; J. KRAMER; J. MAGEE

Towards Self-Management in Service-oriented Computing with Modes

Workshop on Engineering Service-Oriented Applications (WESOA07)

Lugar: Budapest; Año: 2007;

H. FOSTER; W. EMMERICH; J. KRAMER; H. MAGEE; D. ROSENBLUM; S. UCHITEL

Model Checking Service Compositions under Resource Constrains

European Software Engineering Conference (ESEC) and ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE)

Lugar: Dubrovnik; Año: 2007;

NICOLAS D'IPPOLITO; H. FOSTER; D. FISCHBEIN; S. UCHITEL

MTSA: The Modal Transition System Analyser Eclipse Plugin

ETX2007 Workshop at OOPSLA07

Lugar: Montreal; Año: 2007;

FELIPE CANTAL DE SOUSA; NABOR C. MENDONCA; JEFF KRAMER; SEBASTIÁN UCHITEL

Detecting Implied Scenarios from Execution Traces

14th Working Conference on Reverse Engineering

Lugar: Vancouver; Año: 2007;

DAN HIRSCH; JEFF KRAMER; JEFF MAGEE; SEBASTIAN UCHITEL

Modes for Software Architecture

3th European Workshop on Software Achitecture

Lugar: Nantes; Año: 2006;

DALAL ALRAJEH; ALESSANDRA RUSSO; SEBASTIAN UCHITEL

Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning

International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools

Lugar: Shanghai; Año: 2006;

G. BRUNET; M. CHECHIK; S. UCHITEL

Properties of Behavioural Model Merging

Internacional Conference on Formal Methods (FM),

Lugar: Hamilton, Canada; Año: 2006;

D. FISCHBEIN; S. UCHITEL; V. BRABERMAN

A Foundation for Behavioural Conformance in Software Product Line Architectures

ROSATEA Workshop at the International Symposium on Software Testing and Analysis

Lugar: Portland; Año: 2006;

L. DUARTE; J. KRAMER; S. UCHITEL

Model Extraction Based on Context Information

International Conference on Model Driven Engineering Languages and Systems

Lugar: Genoa; Año: 2006;

HOWARD FOSTER; SEBASTIÁN UCHITEL; JEFF MAGEE; JEFF KRAMER

WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography

IEEE International Conference on Software Engineering (ICSE 2006)

Lugar: Shangai; Año: 2006;

H. FOSTER; J. MAGEE; J. KRAMER; S. UCHITEL

Adaptable Software Aechitectures and Task Synthesis for UAVs

Systems engineering for Autonomous Systems

Lugar: Edinburgo; Año: 2006;

H. FOSTER; S. UCHITEL; J. MAGEE; J. KRAMER

Model Based Analysis of Obligations in Web Service Choreography

International Conference of Internet & Web Applications and Service

Lugar: Guadeloupe; Año: 2006;

DALAL ALRAJEH; OLIVER RAY; ALLESANDRA RUSSO; SEBASTIÁN UCHITEL

Extracting requirements from scenarios with ILP

16th International Conference on Inductive Logic Programmin

Lugar: Santiago de Compostela; Año: 2006;

HOWARD FOSTER; JEFF KRAMER; JEFF MAGEE; SEBASTIAN UCHITEL

Tool Support for Model-Based Engineering of Web Service Compositions

3th IEEE International Conference on Web Service

Lugar: Orlando, USA; Año: 2005;

GENIANA RODRIGUEZ; DAVID ROSENBLUM; SEBASTIAN UCHITEL

Sensitivity analysis for Secenario-Based Reliability Prediction Model

4th Workshop on Architecting Dependable Systems at the 27th International Conference on Software Engineering

Lugar: St. Louis, USA; Año: 2005;

EMMANUEL LETIER; JEFF KRAMER; JEFF MAGEE; SEBASTIÁN UCHITEL

Fluent Temporal Logic for Discrete-Time Event-Based Models

10th European Software Engineering Conference and the 13thACM SIGSOFT International Symposium on Fundations of Software Engineering

Lugar: Lisbon, Portugal; Año: 2005;

G. RODRIGUES; D. ROSENBLUM; S. UCHITEL

Reliability Predicion in Model Driven Development

ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems

Lugar: Montego Bay; Año: 2005;

H. FOSTER; S. UCHITEL; J. MAGEE; J. KRAMER

Levering Eclipse for Integrated Model-Based Engineering of Web Service compositions

Workshop at OOPSLA05

Lugar: San Diego, EEUU; Año: 2005;

HOWARD FOSTER; JEFF KRAMER; JEFF MAGEE; SEBASTIAN UCHITEL

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

IEEE International Conference on Services Computing (SCC)

Lugar: Orlando, USA; Año: 2005;

H. FOSTER; S. UCHITEL; J. MAGEE; J. KRAMER

Web Service Compositions: From XML Syntax to Service Model

IDEAlliance XML Conference

Lugar: Atlanta; Año: 2005;

EMMANUEL LETIER; JEFF KRAMER; JEFF MAGEE; SEBASTIAN UCHITEL

Monitoring and Control in Scenario-Based Requirements Analysis

27th International Conference on Software Engineering

Lugar: St, Louis; Año: 2005;

GENIANA RODRIGUEZ; DAVID ROSENBLUM; SEBASTIAN UCHITEL

Using Scenarios to Predict Reliability for Concurrent Component Based Systems

Fundamental Approches to Software Engineering at the European Joint Conference on Theory and Practice of software

Lugar: Edinburgo, Escocia; Año: 2005;

HOWARD FOSTER; SEBASTIAN UCHITEL; JEFF MAGEE; JEFF KRAMER

Compatibility Verification for Web Service Choreography

International Conference on Web Services

Lugar: San diego, USA; Año: 2004;

SEBASTIAN UCHITEL; ROBERT CHATLEY; JEFF KRAMER; JEFF MAGEE

System Architecture: the Context for Scenario-based Model Synthesis

International Symposium on Fundations of Software Engineering

Lugar: New Port; Año: 2004;

R. CHATLEY; S. EISENBACH; J. KRAMER; J. MAGEE; S. UCHITEL

Predictable Dynamic Plugin System

Fundamental Approaches to Software Engineering (FASE) at the European Joint Conference on Theory and Practice of Software

Lugar: Barcelona; Año: 2004;

SEBASTIAN UCHITEL; MARSHA CHECHIK

Merging Partial Behavioural Models

ACM International Symposium on Foundations of Software Engineering (FSE)

Lugar: Newport Beach; Año: 2004;

SEBASTIAN UCHITEL; REBERT CHATLEY; JEFF KRAMER; JEFF MAGEE

Fluent-Based Animation: Exploting the Relation between Goals and Scenarios

International Conference on Requirements Engineering

Lugar: Kyoto, japan; Año: 2004;

SEBASTIAN UCHITEL; JEFF KRAMER; JEFF MAGEE

Visual Methods for Web Application Design. Tech note at Symposium on Visual and Multimedia Software Engineering

Symposia on Human-Centric Computing Languages and Enviroments

Lugar: Aukland, new Zeland; Año: 2003;

S. UCHITEL; R. CHATLEY; J. KRAMER; J. MAGEE

Tool Support for Behaviour Model Elaboration Using Implied Scenarios

Tools an Algorithms for the Construction and Analysis of Systems (TACAS) at the European Joint Conference on Theory and Practice of Software

Lugar: Warsaw; Año: 2003;

SEBASTIAN UCHITEL; JEFF KRAMER; JEFF MAGEE

Modeling Undefined Behaviour in Scenarios Synthesis

Workshop on Scenarios and Satate Machines: Model, Algorithms, and Tools at the 25th International Conference on Software Engineering

Lugar: Portland, EEUU; Año: 2003;

ROBERT CHATLEY; JEFF KRAMER; JEFF MAGEE; SEBASTIAN UCHITEL

Model-based Simulation of Web Application for Usability Assesment

Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interacting at 25th International Conference on Software Engineering

Lugar: Portland, EEUU; Año: 2003;

HOWARD FOSTER; JEFF KRAMER; JEFF MAGEE; SEBASTIAN UCHITEL

Model-based Verification of Web Service Compositions

18th IEEE International Conference on Automated Software Engineering

Lugar: Montreal; Año: 2003;

SEBASTIAN UCHITEL; JEFF KRAMER; JEFF MAGEE

Synthesis of Partial Labelled Transition Systems

European Software Engineering Conference and International Symposium on the Fundation Software Engineering

Lugar: Helsinki, Finland; Año: 2003;

SEBASTIAN UCHITEL; JEFF KRAMER; JEFF MAGEE

Implied Scenerios Detection in the Presence of Behaviour Constraints

European Joint Conferences on Theory and Practice of Software Satellite Workshop on Validation and Implementation of Scenario-Based Specifications

Lugar: Granoble; Año: 2002;

SEBASTIAN UCHITEL; JEFF KRAMER; JEFF MAGEE

Negative Scenarios for Implied Scenario elicitation

International Symposium on the Fundations of Software Engineering

Lugar: Charleston; Año: 2002;

SEBASTIAN UCHITEL; JEFF KRAMER

A Workbench for Synthesising Behaviour Models from Scenarios

International Conference on Software Engineering

Lugar: Toronto, Canada; Año: 2001;

P. INVERARDI; S. UCHITEL

Proving Deadlock Freedom in component Based Programming

Fundamental Approches to Software Engineering (FASE)

Lugar: Genoa; Año: 2001;

SEBASTIAN UCHITEL; JEFF KRAMER; JEFF MAGEE

Detecting Implied Scenarios in Message Sequence chart Specifications

European Software Engineering Conference and International Symposium on the Fundations Software Engineering

Lugar: Vienna, Austria; Año: 2001;

SEBASTIAN UCHITEL; JEFF KRAMER; JEFF MAGEE

From Sequence Diagrams to Behaviour Models

Workshop on Tranformations in UML, satellite event of the Eutopen Joint Conference on the Theory and practice of Software

Lugar: Genova, Italy; Año: 2001;

SEBASTIAN UCHITEL; DANIEL YANKELEVICH

Enhancing Architecture Mismatch Detection with Assumptions

International Conference and Workshop on the Engineeringof Computer Based Systems

Lugar: Edinburgo, Escocia; Año: 2000;

DAN HIRSCH; SEBASTIAN UCHITEL; DANIEL YANKELEVICH

Towards a Periodic Table of Connectors. In proceedings of First Symposium on software Technology

First Symposium on Software Technology in the 28th Jornadas Argentinas de Informática e Investigación Operativa

Lugar: Buenos Aires, Argentina; Año: 1999;