Concepedia

Sebastián Uchitel

SU

Statistics

Publications

73

Citations

3.7K

H-Index

33

Active since

2001

Affiliations

Imperial College London(Current)

Universidad de Buenos Aires

University of Toronto

Sebastián Uchitel is an author at Imperial College London specializing in engineering, formal methods, and systems engineering.

Top concepts

EngineeringSystems EngineeringFormal MethodsFormal VerificationSoftware DesignComputer ScienceSoftware AnalysisSoftware EngineeringAutomated ReasoningProgram Analysis

Publications per year

2001–2021

73

Publications

73

Model-based verification of Web service compositions

Howard G. Foster, Sebastián Uchitel, Jeff Magee et al. · 2004 · 440 citations

Web Service Specification, Engineering, Verification +20

Synthesis of behavioral models from scenarios

Sebastián Uchitel, Jeff Kramer, Jeff Magee · IEEE Transactions on Software Engineering · 2003 · 261 citations

Engineering, Modeling Method, Message Sequence Charts +21

Incremental elaboration of scenario-based specifications and behavior models using implied scenarios

Sebastián Uchitel, Jeff Kramer, Jeff Magee · ACM Transactions on Software Engineering and Methodology · 2004 · 176 citations

Engineering, Software Engineering, Behavior Analysis +23

Howard G. Foster, Sebastián Uchitel, Jeff Magee et al. · 2006 · 165 citations

Software Maintenance, Web Service Specification, Engineering +16

A foundation for behavioural conformance in software product line architectures

Dario Fischbein, Sebastián Uchitel, Vı́ctor Braberman · 2006 · 138 citations

Software Maintenance, Engineering, Software Engineering +21

1–5 of 73