BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × China
1 × Croatia
1 × Estonia
1 × Finland
1 × France
1 × Germany
1 × India
1 × Jamaica
1 × Japan
1 × Luxembourg
1 × Poland
1 × Portugal
1 × Singapore
1 × Spain
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
10 × USA
2 × Hungary
5 × Canada
5 × Italy
Collaborated with:
J.Kramer J.Magee V.A.Braberman M.Chechik N.D'Ippolito D.Alrajeh A.Russo R.Chatley D.Garbervetsky N.Piterman G.d.Caso D.S.Rosenblum D.Fischbein E.Pavese L.M.Duarte H.Foster G.Brunet G.N.Rodrigues G.E.Sibay N.C.Mendonça E.Letier P.Inverardi D.Sykes H.Czemerinski T.Systä A.Zündorf I.Krka N.Medvidović R.Degiovanni N.Aguirre S.Ben-David A.Gurfinkel P.H.M.Maia F.C.d.Sousa R.Castaño A.v.Lamsweerde S.Nejati M.Sabetzadeh P.Zave S.Eisenbach W.Emmerich J.Godoy I.Perez S.Perez
Talks about:
model (26) scenario (14) behaviour (12) base (12) system (11) use (7) synthesi (6) transit (6) valid (6) requir (5)

♂ Person: Sebastián Uchitel

DBLP DBLP: Uchitel:Sebasti=aacute=n

Facilitated 4 volumes:

ASE 2013PrCo
ICSE 2010Ed
ICSE 2010PrCh
ASE 2006PrCh

Contributed to:

FM 20142014
ICSE 20142014
ICSE 20132013
ICST 20132013
FASE 20122012
FM 20122012
ICSE 20122012
SFM 20122012
ESEC/FSE 20112011
ICLP 20112011
ICSE 20112011
FSE 20102010
ESEC/FSE 20092009
ICSE 20092009
ASE 20082008
FASE 20082008
FSE 20082008
ICSE 20082008
ESEC/FSE 20072007
ICSE 20072007
WCRE 20072007
FM 20062006
ICSE 20062006
MoDELS 20062006
ESEC/FSE 20052005
FASE 20052005
ICSE 20052005
MoDELS 20052005
FASE 20042004
FSE 20042004
RE 20042004
ASE 20032003
ESEC/FSE 20032003
SFM 20032003
TACAS 20032003
FSE 20022002
ICSE 20022002
ESEC/FSE 20012001
FASE 20012001
ICSE 20012001
ASE 20172017
ESEC/FSE 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.