PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Uchitel, Sebastián"

Author of the publication

copydeleteadd this publication to your clipboard
Deriving non-Zeno behaviour models from goal models using ILP.

, , , and . Formal Asp. Comput., 22 (3-4): 217-241 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sebastian Friedl University of Stuttgart

Communication extension for cloud-based machine control of simulated robot processes, , , and . 2016 IEEE International Conference on Industrial Technology (ICIT), page 54-58. (March 2016)

Sebastian Brandhofer University of Stuttgart

Sebastian Haunss

Dr. Sebastian Rojek University of Stuttgart

Sebastian Lippold University of Stuttgart

 

Other publications of authors with the same name

Learning operational requirements from goal models., , , and . ICSE, page 265-275. IEEE, (2009)An Integrated Workbench for Model-Based Engineering of Service Compositions., , , and . IEEE Trans. Services Computing, 3 (2): 131-144 (2010)Automated Abstractions for Contract Validation., , , and . IEEE Trans. Software Eng., 38 (1): 141-162 (2012)Behaviour abstraction adequacy criteria for API call protocol testing., , and . Softw. Test., Verif. Reliab., 26 (3): 211-244 (2016)Modes for Software Architectures., , , and . EWSA, volume 4344 of Lecture Notes in Computer Science, page 113-126. Springer, (2006)Enabledness-based program abstractions for behavior validation., , , and . ACM Trans. Softw. Eng. Methodol., 22 (3): 25:1-25:46 (2013)Incremental elaboration of scenario-based specifications and behavior models using implied scenarios., , and . ACM Trans. Softw. Eng. Methodol., 13 (1): 37-85 (2004)Synthesizing nonanomalous event-based controllers for liveness goals., , , and . ACM Trans. Softw. Eng. Methodol., 22 (1): 9:1-9:36 (2013)A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes., , , and . ICSOC, volume 5364 of Lecture Notes in Computer Science, page 558-564. (2008)A Sound Observational Semantics for Modal Transition Systems., , and . ICTAC, volume 5684 of Lecture Notes in Computer Science, page 215-230. Springer, (2009)