What is he best known for?
The fields of study he is best known for:
- Programming language
- Artificial intelligence
- Software
Sebastian Uchitel mainly investigates Formal specification, Component, Programming language, Web service and Software engineering.
His Component research includes themes of Model checking, Reliability engineering, Semantics and Software requirements specification.
Sebastian Uchitel has included themes like Industrial engineering and Specification language in his Semantics study.
His Web service study integrates concerns from other disciplines, such as Unified Modeling Language, Formal verification and Implementation.
His Implementation study incorporates themes from Process calculus and Software deployment.
Sebastian Uchitel interconnects Software, Embedded system and Architectural style in the investigation of issues within Software engineering.
His most cited work include:
- Model-based verification of Web service compositions (413 citations)
- Synthesis of behavioral models from scenarios (247 citations)
- Incremental elaboration of scenario-based specifications and behavior models using implied scenarios (165 citations)
What are the main themes of his work throughout his whole career to date?
Sebastian Uchitel focuses on Software engineering, Programming language, Distributed computing, Model checking and Theoretical computer science.
The Software engineering study combines topics in areas such as Requirements engineering, Software system, Software, Software development process and Variety.
His Formal specification, Semantics, Specification language, Software requirements specification and Implementation study are his primary interests in Programming language.
The study incorporates disciplines such as Algorithm, Web service and Unified Modeling Language in addition to Implementation.
The concepts of his Distributed computing study are interwoven with issues in Event, Real-time computing, Adaptation and Component.
His Model checking research incorporates elements of Linear temporal logic, Probabilistic logic and Inductive logic programming.
He most often published in these fields:
- Software engineering (27.44%)
- Programming language (18.90%)
- Distributed computing (16.46%)
What were the highlights of his more recent work (between 2013-2021)?
- Control theory (12.80%)
- Distributed computing (16.46%)
- Event (10.98%)
In recent papers he was focusing on the following fields of study:
His scientific interests lie mostly in Control theory, Distributed computing, Event, Software engineering and Adaptation.
His Distributed computing research is multidisciplinary, relying on both Control, Real-time computing and Temporal logic.
His work carried out in the field of Event brings together such families of science as Control engineering, Software system, Software architecture and Supervisory control.
His Software engineering study combines topics from a wide range of disciplines, such as Statement and Requirements engineering.
His research investigates the link between Adaptation and topics such as Reference architecture that cross with problems in Orchestration, Adaptability, Component and Control reconfiguration.
His Software study is concerned with Programming language in general.
Between 2013 and 2021, his most popular works were:
- Hope for the best, prepare for the worst: multi-tier control for adaptive systems (44 citations)
- MORPH: a reference architecture for configuration and behaviour self-adaptation (33 citations)
- Assured and Correct Dynamic Update of Controllers (14 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Artificial intelligence
- Software
Sebastian Uchitel spends much of his time researching Distributed computing, Adaptive system, Adaptation, Model checking and Artificial intelligence.
He performs multidisciplinary study in the fields of Distributed computing and Context via his papers.
His Adaptive system study combines topics in areas such as Control engineering, Control theory, Correctness and Implementation.
His work deals with themes such as Programming language, Component, Adaptability, Reference architecture and Orchestration, which intersect with Adaptation.
His Component research includes elements of Software architecture, Event and Embedded system.
Model checking is the subject of his research, which falls under Algorithm.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
