World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
39
Citations
6699
World Ranking
9740
National Ranking
2

Research.com Recognitions

  • 2015 - ACM Distinguished Member
  • 2013 - ACM Senior Member

Overview

Sebastian Uchitel is affiliated with the University of Buenos Aires in Argentina. Their research activity encompasses various topics within computer science, focusing notably on software engineering and formal methods.

Their recent publications cover a range of subjects, including software engineering for artificial intelligence and adaptive systems. Selected recent papers include:

  • Scoping Software Engineering for AI: The TSE Perspective, 2024, IEEE Transactions on Software Engineering
  • Assured automatic dynamic reconfiguration of business processes, 2021, Information Systems
  • Control and Discovery of Environment Behaviour, 2020, IEEE Transactions on Software Engineering
  • Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach, 2023, Proceedings of the International Conference on Automated Planning and Scheduling
  • Adaptation2: Adapting Specification Learners in Assured Adaptive Systems, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Frequently collaborating coauthors include:

  • Víctor Braberman
  • Diego Garbervetsky
  • Sebastián Zudaire
  • Massimiliano Di Penta
  • Nazareno Aguirre

The primary venues where their research has been published include:

  • IEEE Transactions on Software Engineering
  • arXiv (Cornell University)
  • Proceedings of the International Conference on Automated Planning and Scheduling
  • Information Systems
  • 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Areas of study associated with their work are largely within computer science, with subfields such as:

  • Computational Theory and Mathematics
  • Software
  • Information Systems
  • Artificial Intelligence
  • Hardware and Architecture

Main research topics addressed by their publications include:

  • Software Testing and Debugging Techniques
  • Formal Methods in Verification
  • Petri Nets in System Modeling
  • Software Engineering Research
  • Advanced Software Engineering Methodologies
  • Real-Time Systems Scheduling
  • Service-Oriented Architecture and Web Services

In addition to journal and conference papers, their contributions extend to book publications. Notably, one book title is associated with Springer Science+Business Media:

  • Fundamental Approaches to Software Engineering, 2023

Recognition of their professional standing includes membership distinctions awarded by the Association for Computing Machinery (ACM):

  • ACM Distinguished Member, 2015
  • ACM Senior Member, 2013

Best Publications

  • Model-based verification of Web service compositions

    Howard Foster;Sebastian Uchitel;Jeff Magee;Jeff Kramer

  • Synthesis of behavioral models from scenarios

    S. Uchitel;J. Kramer;J. Magee

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

    Sebastian Uchitel;Jeff Kramer;Jeff Magee

  • LTSA-WS: a tool for model-based verification of web service compositions and choreography

    Howard Foster;Sebastian Uchitel;Jeff Magee;Jeff Kramer

  • Compatibility verification for Web service choreography

    H. Foster;S. Uchitel;J. Magee;J. Kramer

  • Merging partial behavioural models

    Sebastian Uchitel;Marsha Chechik

  • Detecting implied scenarios in message sequence chart specifications

    Sebastian Uchitel;Jeff Kramer;Jeff Magee

  • A foundation for behavioural conformance in software product line architectures

    Dario Fischbein;Sebastian Uchitel;Victor Braberman

  • Proceedings of the 39th International Conference on Software Engineering

    Sebastian Uchitel;Alessandro Orso;Martin Robillard

  • Synthesis of Partial Behavior Models from Properties and Scenarios

    S. Uchitel;G. Brunet;M. Chechik

  • A workbench for synthesising behaviour models from scenarios

    Sebastian Uchitel;Jeff Kramer

  • Using scenarios to predict the reliability of concurrent component-based software systems

    Genaína Rodrigues;David Rosenblum;Sebastian Uchitel

  • Model-Based Analysis of Obligations in Web Service Choreography

    H. Foster;S. Uchitel;J. Magee;J. Kramer

  • Modes for software architectures

    Dan Hirsch;Jeff Kramer;Jeff Magee;Sebastian Uchitel

  • Deriving event-based transition systems from goal-oriented requirements models

    Emmanuel Letier;Jeff Kramer;Jeff Magee;Sebastian Uchitel

  • Learning operational requirements from goal models

    Dalal Alrajeh;Jeff Kramer;Alessandra Russo;Sebastin Uchitel

  • MTSA: The Modal Transition System Analyser

    N. D'Ippolito;D. Fischbein;M. Chechik;S. Uchitel

  • Behaviour Model Synthesis from Properties and Scenarios

    Sebastian Uchitel;Greg Brunet;Marsha Chechik

  • Synthesizing nonanomalous event-based controllers for liveness goals

    Nicolás D'ippolito;Victor Braberman;Nir Piterman;Sebastián Uchitel

  • Monitoring and control in scenario-based requirements analysis

    Emmanuel Letier;Jeff Kramer;Jeff Magee;Sebastian Uchitel

  • Tool support for model-based engineering of Web service compositions

    H. Foster;S. Uchitel;J. Magee;J. Kramer

  • Proceedings of the 39th International Conference on Software Engineering Companion

    Sebastian Uchitel;Alessandro Orso;Martin Robillard

Frequent Co-Authors

Jeff Kramer
Jeff Kramer Imperial College London
Jeff Magee
Jeff Magee Imperial College London
Marsha Chechik
Marsha Chechik University of Toronto
David S. Rosenblum
David S. Rosenblum George Mason University
Nir Piterman
Nir Piterman University of Gothenburg
Alessandro Orso
Alessandro Orso Georgia Institute of Technology
Martin P. Robillard
Martin P. Robillard McGill University
Jon Whittle
Jon Whittle Commonwealth Scientific and Industrial Research Organisation
Steve Easterbrook
Steve Easterbrook University of Toronto
Axel van Lamsweerde
Axel van Lamsweerde Université Catholique de Louvain

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Considering a future in Computer Science? There are many flexible online degree options available that can jump-start or accelerate your tech career. For those interested in business and technology, pursuing one of the cheapest online mba programs may help you develop management skills while keeping tuition costs low.

If you’re looking to fast-track your education, explore an online masters degree that can be completed in as little as one year. These programs are designed for working professionals seeking career advancement without a lengthy commitment.

Students eager to enter the workforce quickly often seek out the fastest degree to get that still offers strong earning potential. Many of these fast degrees are available fully online, including specialties closely aligned with the tech industry.

Artificial intelligence is a rapidly expanding field, and affordable options are emerging as well. For those specifically interested in AI, consider the ai online degrees that combine technical expertise with hands-on experience in machine learning and data science.

Best Scientists Citing Sebastian Uchitel

Trending Scientists

Recently Published Articles