( en | de | ru )

 

Disambiguation of "Pickin, Simon"

Author of the publication

copydeleteadd this publication to your clipboard
Test Synthesis from UML Models of Distributed Software.

, , , , and . IEEE Trans. Software Eng., 33 (4): 252-269 (2007)

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.

Marcus Simon

Erstellung und Validierung eines Fragebogens für die Patientenbeurteilung der perioperativen Phase, PPP-Fragebogen. Uni Marburg, (2009)

Christine Simon

Vollblutaggregation beim Hund: Vergleich der Methode nach Born mit einer errechneten Aggregation nach Thrombozytenzählung mittels konventioneller Hämatologiesysteme. Uni Gießen, (2009)

Simon Schilling

Beitrag zur dynamischen Fehlerbaumanalyse ohne Modulbildung und zustandsbasierte Erweiterungen. Uni Wuppertal, (2009)

Simon Hohenester

Zur Bedeutung von Proteinkinasen und Phosphatidylinositol-Kinasen für (anti)-cholestatische und (anti)-apoptotische Effekte von Gallensäuren in der Leberzelle. Uni München, (2009)

Simon Pingel

Retrospektive Analyse potentieller Beeinflussungsmodelle auf die Reoperationsrate nach mechanischem und biologischem Herzklappenersatz. Uni München, (2009)
 

Other publications of authors with the same name

Knowledge model reuse: therapy decision through specialisation of a generic decision model., , and . Expert Syst. Appl., 23 (2): 113-135 (2002)Approximate verification in an open source world., and . Innov. Syst. Softw. Eng., 4 (1): 87-105 (2008)Processor Rescue - Safe Coding for Hardware Aliasing., , and . SoMeT, volume 532 of Communications in Computer and Information Science, page 137-148. Springer, (2015)Describing generic expertise models as object-oriented analysis patterns: the heuristic multi-attribute decision pattern., and . Expert Syst. J. Knowl. Eng., 19 (3): 142-169 (2002)Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects., and . SEW, page 246-255. IEEE Computer Society, (2007)System Test Synthesis from UML Models of Distributed Software., , , , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 97-113. Springer, (2002)Soundness and Completeness of the NRB Verification Logic., and . SEFM Workshops, volume 8368 of Lecture Notes in Computer Science, page 389-404. Springer, (2013)Construction of a Development Environment for GPMs Based on OO Analysis Patterns., , , and . KES, volume 2774 of Lecture Notes in Computer Science, page 1351-1356. Springer, (2003)System Test Synthesis from UML Models of Distributed Software, , , , , and . FORTE, page 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..Semi-Automatic Generation of Competency Maps Based on Educational Data Mining., , and . Int. J. Comput. Intell. Syst., 12 (2): 744-760 (2019)