♂ Person: Sebastián Uchitel

DBLP: Uchitel:Sebasti=aacute=n

Facilitated 4 volumes:

PrCo

Ed

PrCh

PrCh

Contributed to:

2014

2014

2013

2013

2012

2012

2012

2012

2011

2011

2011

2010

2009

2009

2008

2008

2008

2008

2007

2007

2007

2006

2006

2006

2005

2005

2005

2005

2004

2004

2004

2003

2003

2003

2003

2002

2002

2001

2001

2001

2017

2018

Wrote 52 papers:

FM-2014-KrkaDMU

Revisiting Compatibility of Input-Output Modal Transition Systems (IK, ND, NM, SU), pp. 367–381.

ICSE-2014-DIppolitoBKMSU #adaptation #multi

Hope for the best, prepare for the worst: multi-tier control for adaptive systems (ND, VAB, JK, JM, DS, SU), pp. 688–699.

ICSE-2014-DegiovanniAAU #automation #satisfiability

Automated goal operationalisation based on interpolation and SAT solving (RD, DA, NA, SU), pp. 129–139.

ICSE-2013-BrabermanDPSU #modelling #synthesis

Controller synthesis: from modelling to enactment (VAB, ND, NP, DS, SU), pp. 1347–1350.

ICSE-2013-PaveseBU #automation #estimation #reliability

Automated reliability estimation over partial systematic explorations (EP, VAB, SU), pp. 602–611.

ICST-2013-CzemerinskiBU #abstraction #behaviour #black box

Behaviour Abstraction Coverage as Black-Box Adequacy Criteria (HC, VAB, SU), pp. 222–231.

FASE-2012-AlrajehKRU #learning #satisfiability #specification

Learning from Vacuously Satisfiable Scenario-Based Specifications (DA, JK, AR, SU), pp. 377–393.

FM-2012-DIppolitoBPU #problem

The Modal Transition System Control Problem (ND, VAB, NP, SU), pp. 155–170.

FM-2012-SibayUBK

Distribution of Modal Transition Systems (GES, SU, VAB, JK), pp. 403–417.

ICSE-2012-AlrajehKLRU #generative #requirements

Generating obstacle conditions for requirements completeness (DA, JK, AvL, AR, SU), pp. 705–715.

SFM-2012-CasoBGU #abstraction #validation

Abstractions for Validation in Action (GdC, VAB, DG, SU), pp. 192–218.

ESEC-FSE-2011-Ben-DavidCGU #logic #named #specification

CSSL: a logic for specifying conditional scenarios (SBD, MC, AG, SU), pp. 37–47.

ICLP-2011-AlrajehKRU #approach #induction #refinement

An Inductive Approach for Modal Transition System Refinement (DA, JK, AR, SU), pp. 106–116.

ICSE-2011-CasoBGU #abstraction #behaviour #validation

Program abstractions for behaviour validation (GdC, VAB, DG, SU), pp. 381–390.

ICSE-2011-DIppolitoBPU #behaviour #modelling #synthesis

Synthesis of live behaviour models for fallible domains (ND, VAB, NP, SU), pp. 211–220.

FSE-2010-DIppolitoBPU #behaviour #modelling #synthesis

Synthesis of live behaviour models (ND, VAB, NP, SU), pp. 77–86.

ESEC-FSE-2009-MaiaKUM #modelling #probability #refinement #towards #using

Towards accurate probabilistic models using state refinement (PHMM, JK, SU, NCM), pp. 281–284.

ESEC-FSE-2009-PaveseBU #analysis #behaviour #modelling #probability

Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models (EP, VAB, SU), pp. 335–344.

ICSE-2009-AlrajehKRU #learning #modelling #requirements

Learning operational requirements from goal models (DA, JK, AR, SU), pp. 265–275.

ICSE-2009-CasoBGU #abstraction #contract #finite #using #validation

Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.

ASE-2008-DIppolitoFCU #named

MTSA: The Modal Transition System Analyser (ND, DF, MC, SU), pp. 475–476.

FASE-2008-AlrajehRU #behaviour #modelling #using

Deriving Non-zeno Behavior Models from Goal Models Using ILP (DA, AR, SU), pp. 1–15.

FASE-2008-DuarteKU #towards

Towards Faithful Model Extraction Based on Contexts (LMD, JK, SU), pp. 101–115.

FSE-2008-FischbeinU #behaviour #modelling #on the

On correct and complete strong merging of partial behaviour models (DF, SU), pp. 297–307.

FSE-2008-NejatiSCUZ #composition #evolution #synthesis #towards

Towards compositional synthesis of evolving systems (SN, MS, MC, SU, PZ), pp. 285–296.

ICSE-2008-SibayUB #revisited #sequence chart

Existential live sequence charts revisited (GES, SU, VAB), pp. 41–50.

ESEC-FSE-2007-FosterEKMRU #composition #constraints #model checking

Model checking service compositions under resource constraints (HF, WE, JK, JM, DSR, SU), pp. 225–234.

ICSE-2007-UchitelBC #behaviour #synthesis

Behaviour Model Synthesis from Properties and Scenarios (SU, GB, MC), pp. 34–43.

WCRE-2007-SousaMUK #detection #execution

Detecting Implied Scenarios from Execution Traces (FCdS, NCM, SU, JK), pp. 50–59.

FM-2006-BrunetCU #behaviour #model merging

Properties of Behavioural Model Merging (GB, MC, SU), pp. 98–114.

ICSE-2006-FosterUMK #composition #modelling #named #verification #web #web service

LTSA-WS: a tool for model-based verification of web service compositions and choreography (HF, SU, JM, JK), pp. 771–774.

MoDELS-2006-DuarteKU #information management #using

Model Extraction Using Context Information (LMD, JK, SU), pp. 380–394.

ESEC-FSE-2005-LetierKMU #logic #modelling

Fluent temporal logic for discrete-time event-based models (EL, JK, JM, SU), pp. 70–79.

FASE-2005-RodriguesRU #component #concurrent #predict #reliability #using

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems (GNR, DSR, SU), pp. 111–126.

ICSE-2005-ChatleyUKM #animation #requirements #validation #web

Fluent-based web animation: exploring goals for requirements validation (RC, SU, JK, JM), pp. 674–675.

ICSE-2005-LetierKMU #analysis #monitoring #requirements

Monitoring and control in scenario-based requirements analysis (EL, JK, JM, SU), pp. 382–391.

MoDELS-2005-RodriguesRU #development #modelling #predict #reliability

Reliability Prediction in Model-Driven Development (GNR, DSR, SU), pp. 339–354.

FASE-2004-ChatleyEKMU #plugin #predict

Predictable Dynamic Plugin Systems (RC, SE, JK, JM, SU), pp. 129–143.

FSE-2004-UchitelC #behaviour #modelling

Merging partial behavioural models (SU, MC), pp. 43–52.

FSE-2004-UchitelCKM #architecture #synthesis

System architecture: the context for scenario-based model synthesis (SU, RC, JK, JM), pp. 33–42.

RE-2004-UchitelCKM #animation #requirements #validation

Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation (SU, RC, JK, JM), pp. 208–217.

ASE-2003-FosterUMK #composition #modelling #verification #web #web service

Model-based Verification of Web Service Compositions (HF, SU, JM, JK), pp. 152–163.

ESEC-FSE-2003-UchitelKM #behaviour #lts #using

Behaviour model elaboration using partial labelled transition systems (SU, JK, JM), pp. 19–27.

SFM-2003-KramerMU #analysis #approach #architecture #modelling

Software Architecture Modeling & Analysis: A Rigorous Approach (JK, JM, SU), pp. 44–51.

TACAS-2003-UchitelCKM #behaviour #named #tool support #using

LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios (SU, RC, JK, JM), pp. 597–601.

FSE-2002-UchitelKM #elicitation

Negative scenarios for implied scenario elicitation (SU, JK, JM), pp. 109–118.

ICSE-2002-UchitelSZ #algorithm #modelling #state machine #tool support

Scenarios and state machines: models, algorithms, and tools (SU, TS, AZ), pp. 659–660.

ESEC-FSE-2001-UchitelKM #detection #sequence chart #specification

Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.

FASE-2001-InverardiU #component #concurrent #programming #proving

Proving Deadlock Freedom in Component-Based Programming (PI, SU), pp. 60–75.

ICSE-2001-UchitelK #behaviour #modelling

A Workbench for Synthesising Behaviour Models from Scenarios (SU, JK), pp. 188–197.

ASE-2017-CastanoBGU #execution #model checking

Model checker execution reports (RC, VAB, DG, SU), pp. 200–205.

ESEC-FSE-2018-BrabermanGGUCPP #testing #validation

Testing and validating end user programmed calculated fields (VAB, DG, JG, SU, GdC, IP, SP), pp. 827–832.