logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Sebastián Uchitel

university of buenos aires

35H-index
203Paper Count
4.5KCitation Count
Published Papers 28
Publication Date
logo
State of the Journal
errIEEE Transactions on Software Engineering
IF5.6
err2025-12-11
err0
PREAI
errSebastian Uchitel
errShare
errSave
Automated construction of predicate abstractions for smart contract validation
errSOFTWARE AND SYSTEMS MODELING
IF3.2
err2025-10-01
err0
PREAI
errGodoy, Javier; Torres, Eden; Galeotti, Juan P.; Garbervetsky, Diego; Uchitel, Sebastian
errShare
errSave
Relevance of Log Mining and Analytics Papers to IEEE Transactions on Software Engineering
errIEEE Transactions on Software Engineering
IF5.6
err2025-08-01
err0
PREAI
errMassimiliano Di Penta; Domenico Bianculli; Michael R. Lyu; Sebastian Uchitel; Andy Zaidman
errShare
errSave
Scoping Software Engineering for AI: The TSE Perspective
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-11-01
err0
PREAI
errUchitel, Sebastian; Chechik, Marsha; Di Penta, Massimiliano; Adams, Bram; Aguirre, Nazareno; Bavota, Gabriele; Bianculli, Domenico; Blincoe, Kelly; Cavalcanti, Ana; Dittrich, Yvonne; Ferrucci, Filomena; Hoda, Rashina; Huang, LiGuo; Lo, David; Lyu, Michael R.; Ma, Lei; Maletic, Jonathan I.; Mariani, Leonardo; McMillan, Collin; Menzies, Tim; Monperrus, Martin; Moreno, Ana; Nagappan, Nachiappan; Pasquale, Liliana; Pelliccione, Patrizio; Pradel, Michael; Purandare, Rahul; Ryu, Sukyoung; Sabetzadeh, Mehrdad; Serebrenik, Alexander; Sun, Jun; Tantithamthavorn, Kla; Treude, Christoph; Wimmer, Manuel; Xiong, Yingfei; Yue, Tao; Zaidman, Andy; Zhang, Tao; Zhong, Hao
errShare
errSave
Welcome
errCOMMUNICATIONS OF THE ACM
IF12.2
err2024-08-01
err0
errOAAI
errKon, Fabio; Poblete, Barbara; Uchitel, Sebastian
errShare
errSave
Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations
errROBOTICS AND AUTONOMOUS SYSTEMS
IF5.2
err2023-06-01
err1
PREAI
errPecker-Marcosig, Ezequiel; Zudaire, Sebastian; Castro, Rodrigo; Uchitel, Sebastian
errShare
errSave
On-the-fly informed search of non-blocking directed controllers
errAUTOMATICA
IF5.9
err2023-01-01
err0
PREAI
errCiolek, Daniel; Duran, Matias; Zanollo, Florencia; Pazos, Nicolas; Braier, Julian; Braberman, Victor; D'Ippolito, Nicolas; Uchitel, Sebastian
errShare
errSave
Control and Discovery of Environment Behaviour
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-06-01
err2
PREAI
errKeegan, Maureen; Braberman, Victor; D'Ippolito, Nicolas; Piterman, Nir; Uchitel, Sebastian
errShare
errSave
Assured automatic dynamic reconfiguration of business processes
errenterprise information systems
IF3.4
err2022-02-01
err1
errOAAI
errNahabedian, L.; Braberman, V; D'Ippolito, N.; Kramer, J.; Uchitel, S.
errShare
errSave
Enabledness-based Testing of Object Protocols
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2021-01-03
err1
errOAAI
errGodoy, Javier; Pablo Galeotti, Juan; Garbervetsky, Diego; Uchitel, Sebastian
errShare
errSave
Dynamic Update of Discrete Event Controllers
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2020-11-01
err15
errOAAI
errNahabedian, Leandro; Braberman, Victor; Dippolito, Nicolas; Honiden, Shinichi; Kramer, Jeff; Tei, Kenji; Uchitel, Sebastian
errShare
errSave
Compositional Supervisory Control via Reactive Synthesis and Automated Planning
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2020-08-01
err4
PREAI
errCiolek, Daniel Alfredo; Braberman, Victor; D'Ippolito, Nicolas; Sardina, Sebastian; Uchitel, Sebastian
errShare
errSave
Interaction Models and Automated Control under Partial Observable Environments
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2017-01-01
err10
errOAAI
errCiolek, Daniel; Braberman, Victor; D'Ippolito, Nicolas; Piterman, Nir; Uchitel, Sebastian
errShare
errSave
Probabilistic Interface Automata
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2016-09-01
err0
errOAAI
errPavese, Esteban; Braberman, Victor; Uchitel, Sebastian
errShare
errSave
Less is More: Estimating Probabilistic Rewards over Partial System Explorations
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2016-04-06
err4
PREAI
errPavese, Esteban; Braberman, Victor; Uchitel, Sebastian
errShare
errSave
Automated Support for Diagnosis and Repair
errCOMMUNICATIONS OF THE ACM
IF12.2
err2015-01-28
err14
errOAAI
errAlrajeh, Dalal; Kramer, Jeff; Russo, Alessandra; Uchitel, Sebastian
errShare
errSave
Enabledness-Based Program Abstractions for Behavior Validation
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2013-07-30
err14
errOAAI
errde Caso, Guido; Braberman, Victor; Garbervetsky, Diego; Uchitel, Sebastian
errShare
errSave
Synthesizing Modal Transition Systems from Triggered Scenarios
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-07-01
err13
errOAAI
errSibay, German Emir; Braberman, Victor; Uchitel, Sebastian; Kramer, Jeff
errShare
errSave
Synthesizing Nonanomalous Event-Based Controllers for Liveness Goals
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2013-03-04
err51
errOAAI
errD'Ippolito, Nicolas; Braberman, Victor; Piterman, Nir; Uchitel, Sebastian
errShare
errSave
Elaborating Requirements Using Model Checking and Inductive Learning
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-03-01
err24
PREAI
errAlrajeh, Dalal; Kramer, Jeff; Russo, Alessandra; Uchitel, Sebastian
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Michael R. Lyu
H-index: 100 · Papers: 1.0K
D
David Lo
H-index: 90 · Papers: 975
M
Massimiliano Di Penta
H-index: 77 · Papers: 514
G
Gabriele Bavota
H-index: 63 · Papers: 333
T
Tim Menzies
H-index: 58 · Papers: 651
View more