← Back to directory
Sebastián Uchitel
Researcher Next ID · RN-044389
Researcher · Computer Science
Buenos Aires, Argentina
Accepting doctoral researchersFunding unknown
- Works count
- 210
- Citation count
- 4,656
- H-index
- 36
- i10-index
- 93
Research interests
Computer Science
Advanced Software Engineering Methodologies
Formal Methods in Verification
Model-Driven Software Engineering Techniques
Service-Oriented Architecture and Web Services
Software Reliability and Analysis Research
Publications
LTSA-WS
· 2006 · 10.1145/1134285.1134408
A foundation for behavioural conformance in software product line architectures
· 2006 · 10.1145/1147249.1147254
Model-based verification of Web service compositions
Journal · 2004 · https://doi.org/10.1109/ase.2003.1240303
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology · 2004 · 10.1145/1005561.1005563
Synthesis of behavioral models from scenarios
IEEE Transactions on Software Engineering · 2003 · https://doi.org/10.1109/tse.2003.1178048
Current projects
No projects listed.