PECKER-MARCOSIG, EZEQUIEL; ZUDAIRE, SEBASTIÁN; CASTRO, RODRIGO; UCHITEL, SEBASTIÁN

Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations

ROBOTICS AND AUTONOMOUS SYSTEMS; Año: 2023 vol. 164

CIOLEK, DANIEL; DURAN, MATIAS; ZANOLLO, FLORENCIA; PAZOS, NICOLAS; BRAIER, JULIÁN; BRABERMAN, VICTOR; D'IPPOLITO, NICOLAS; UCHITEL, SEBASTIAN

On-the-fly informed search of non-blocking directed controllers

AUTOMATICA; Año: 2023 vol. 147

NAHABEDIAN, L.; BRABERMAN, V.; D'IPPOLITO, N.; KRAMER, J.; UCHITEL, S.

Assured automatic dynamic reconfiguration of business processes

INFORMATION SYSTEMS; Año: 2022 vol. 104

KEEGAN, MAUREEN; BRABERMAN, VICTOR A.; D'IPPOLITO, NICOLAS; PITERMAN, NIR; UCHITEL, SEBASTIAN

Control and Discovery of Environment Behaviour

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Año: 2022

MONK, LEANDRO; SCHAPACHNIK, FERNANDO; UCHITEL, SEBASTIÁN; VANNINI, PABLO; ZUKERFELD, MARIANO; DÍAZ, ANDREA; DUNAYEVICH, JULIÁN; LAGOSTENA, JUAN; PASSERINI, NICOLÁS

Nube híbrida nacional: soberana, libre, interoperable y con desarrollo local

Hipertextos; Año: 2021 vol. 9 p. 201 - 205

ZUDAIRE, SEBASTIÁN A.; NAHABEDIAN, LEANDRO; UCHITEL, SEBASTIÁN

Assured Mission Adaptation of UAVs

ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS; Año: 2021 vol. 16 p. 1 - 27

MONK, LEANDRO; SCHAPACHNIK, FERNANDO; UCHITEL, SEBASTIÁN; VANNINI, PABLO; ZUKERFELD, MARIANO; DÍAZ, ANDREA; DUNAYEVICH, JULIÁN; LAGOSTENA, JUAN; PASSERINI, NICOLÁS

Nube hibrida nacional: soberana, libre, interoperable y con desarrollo local

Hipertextos; Lugar: Buenos Aires; Año: 2021 vol. 9 p. 201 - 205

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

Enablednessbased Testing of Object Protocols

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2020

CIOLEK, DANIEL; BRABERMAN, VICTOR; DIPPOLITO, NICOLAS; SEBASTIAN SARDIÑA; S. UCHITEL

Compositional Supervisory Control via Reactive Synthesis and Automated Planning

IEEE TRANSACTIONS ON AUTOMATIC CONTROL; Lugar: New York; Año: 2020

NAHABEDIAN, LEANDRO; BRABERMAN, VICTOR; DIPPOLITO, NICOLAS; HONIDEN, SHINICHI; KRAMER, JEFF; TEI, KENJI; UCHITEL, SEBASTIAN

Dynamic Update of Discrete Event Controllers

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Año: 2019

CIOLEK, DANIEL; BRABERMAN, VICTOR; DIPPOLITO, NICOLAS; PITERMAN, NIR; UCHITEL, SEBASTIAN

Interaction Models and Automated Control under Partial Observable Environments

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Año: 2017 vol. 43 p. 19 - 33

ESTEBAN PAVESE; VICTOR BRABERMAN; SEBASTIAN UCHITEL

Probabilistic Interface Automata

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2016

ESTEBAN PAVESE; VICTOR BRABERMAN; SEBASTIAN UCHITEL

Less is more: Estimating probabilistic rewards over partial system explorations

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2016

HERNAN CZEMERINSKI; VICTOR BRABERMAN; SEBASTIAN UCHITEL

Behaviour abstrac- tion adequacy criteria for api call protocol testing

SOFTWARE TESTING, VERIFICATION & RELIABILITY; Lugar: LOndres; Año: 2015

LUCIO MAURO DUARTE; JEFF KRAMER; SEBASTIAN UCHITEL

Using contexts to extract behaviour models from code

SOFTWARE AND SYSTEMS MODELING; Lugar: HEIDELBERG; Año: 2015

DALAL ALRAJEH; JEFF KRAMER; ALESSANDRA RUSSO; SEBASTIAN UCHITEL

Automated support for diagnosis and repair

COMMUNICATIONS OF THE ACM; Lugar: New York - USA; Año: 2014 vol. 58 p. 65 - 72

DALAL ALRAJEH; JEFF KRAMER; ALESSANDRA RUSSO; SEBASTIAN UCHITEL

Elaborating requirements using model checking and inductive learning

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2013 vol. 39 p. 361 - 383

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

Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2013 vol. 22 p. 1 - 36

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

Enabledness-based Program Abstractions for Behaviour Validation

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2013 vol. 22 p. 1 - 46

GERMAN SIBAY; VICTOR BRABERMAN; SEBASTIAN UCHITEL; JEFF KRAMER

Synthesising Modal Transition Systems from Triggered Scenarios

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2013 vol. 39 p. 975 - 1001

SEBASTIAN UCHITEL; DALAL ALRAJEH; SHOHAM BEN DAVID; VICTOR BRABERMAN; MARSHA CHECHIK; GUIDO DE CASO; NICOLAS D'IPPOLITO; DARIO FISCHBEIN; DIEGO GARBERVETSKY; JEFF KRAMER; ALESSANDRA RUSSO; GERMAN SIBAY

Supporting incremental behaviour model elaboration

Computer Science - Research and Development; Lugar: Berlin; Año: 2013 vol. 28 p. 279 - 293

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

Automated Abstractions for Contract Validation

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Año: 2012 vol. 38 p. 141 - 162

DARIO FISCHBEIN; GREG BRUNET; NICOLAS D'IPPOLITO; MARSHA CHECHIK; SEBASTIAN UCHITEL

Weak Alphabet Merging of Partial Behaviour

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Año: 2012 vol. 21 p. 1 - 49

MATHIEU SASSOLAS; MARSHA CHECHIK; SEBASTIAN UCHITEL

Exploring inconsistencies between modal transition systems

SOFTWARE AND SYSTEMS MODELING; Año: 2011 vol. 10 p. 117 - 142

HOWARD FOSTER; SEBASTIAN UCHITEL; JEFF MAGEE; JEFF KRAMER

An Integrated Workbench for Model-Based Engineering of Service Compositions

IEEE Transactions on Services Computing; Lugar: Los Alamitos; Año: 2010 vol. 3 p. 131 - 144

DALAL ALRAJEH; JEFF KRAMER; ALESSANDRA RUSSO; SEBASTIAN UCHITEL

Deriving Non-Zeno Behavior Models from Goal Models using ILP

FORMAL ASPECTS OF COMPUTING; Lugar: Londres; Año: 2010 vol. 22 p. 217 - 241

SEBASTIAN UCHITEL; GREG BRUNET; MARSHA CHECHIK

Synthesis of Partial Behaviour Models from Properties and Scenarios

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos; Año: 2009 p. 776 - 799

V. CORTELLESSA; S. UCHITEL; D. YANKELEVICH

Guest Editorial

JOURNAL OF SYSTEMS AND SOFTWARE; Año: 2009 vol. 82 p. 1 - 2

DALAL ALRAJEH; OLIVER RAY; A. RUSSO; SEBASTIAN UCHITEL

Using Abduction and Induction for Operational Requirements

JOURNAL OF APPLIED LOGIC; Año: 2009 vol. 5 p. 275 - 288

E. LETIER; J. KRAMER; J. MAGEE; S. UCHITEL

Deriving Event-Based Transition Systems from Goal-Oriented Requirements Model

AUTOMATED SOFTWARE ENGINEERING; Año: 2008 p. 175 - 206

S. UCHITEL; S. EASTERBROOK

Guest editor's introduction

AUTOMATED SOFTWARE ENGINEERING; Lugar: London; Año: 2008 vol. 15 p. 5 - 6

SEBASTIAN UCHITEL; ROBERT CHATLEY; J. KRAMER; JEFF MAGEE

Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Engineering Journal

REQUIREMENTS ENGINEERING; Lugar: Londres; Año: 2006 p. 26 - 56

SEBASTIAN UCHITEL; MANFRED BROY; INGOLF KRUEGER; JON WHITTLE

Special Section on Interaction and State-Based Modeling

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos; Año: 2006 vol. 31 p. 997 - 998

SEBASTIAN UCHITEL; JEFF KRAMER; JEFF MAGEE

Elaboration of Behaviour Models using Implied Scenarios

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York; Año: 2004 p. 37 - 85

INGOLF KRUEGER; SEBASTIAN UCHITEL; JON WHITTLE; ALBERT ZUNDORF

A Summary of the ICSE 2003 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools

ACM SOFTWARE ENGINEERING NOTES; Lugar: New York; Año: 2003 vol. 28 p. 9 - 10

SEBASTIAN UCHITEL; JEFF KRAMER; JEFF MAGEE

Synthesis of Behavioural Models from Scenarios

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos; Año: 2003 p. 99 - 115

SEBASTIAN UCHITEL; JEFF KRAMER; JEFF MAGEE

Implied Scenario Detection in the Presence of Behaviour Constraints

Electronic Notes in Theoretical Computer Science; Año: 2002 vol. 65 p. 1 - 20