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
Reliability Prediction in Model-Driven Development.

, , and . MoDELS, volume 3713 of Lecture Notes in Computer Science, page 339-354. Springer, (2005)

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)Learning from Vacuously Satisfiable Scenario-Based Specifications., , , and . FASE, volume 7212 of Lecture Notes in Computer Science, page 377-393. Springer, (2012)Scenarios and state machines: models, algorithms, and tools., , and . ICSE, page 659-660. ACM, (2002)Controller synthesis: from modelling to enactment., , , , and . ICSE, page 1347-1350. IEEE Computer Society, (2013)Automated reliability estimation over partial systematic explorations., , and . ICSE, page 602-611. IEEE Computer Society, (2013)Automated goal operationalisation based on interpolation and SAT solving., , , and . ICSE, page 129-139. ACM, (2014)Generating obstacle conditions for requirements completeness., , , , and . ICSE, page 705-715. IEEE Computer Society, (2012)Behaviour abstraction adequacy criteria for API call protocol testing., , and . Softw. Test., Verif. Reliab., 26 (3): 211-244 (2016)Automated Abstractions for Contract Validation., , , and . IEEE Trans. Software Eng., 38 (1): 141-162 (2012)