( en | de | ru )

 

Disambiguation of "Fiedor, Jan"

Author of the publication

copydeleteadd this publication to your clipboard
A Novel Approach to Modechart Verification of Real-Time Systems.

, , and . EUROCAST (1), volume 6927 of Lecture Notes in Computer Science, page 559-567. Springer, (2011)

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.

Wladyslaw Fiedor

Christiane Fiedor

Annette Stephanie Fiedor

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (2009)

Tsai-Yu Jansen

Einfluss der Konversion laparoskopischer Operationen auf Tumorwachstum, hepatische Metastasierung und Tumorangiogenese. Uni Heidelberg, (2010)
 

Other publications of authors with the same name

ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level., and . RV, volume 7687 of Lecture Notes in Computer Science, page 35-41. Springer, (2012)Dynamic Validation of Contracts in Concurrent Code., , , and . EUROCAST, volume 9520 of Lecture Notes in Computer Science, page 555-564. Springer, (2015)Discovering Concurrency Errors., , , and . Lectures on Runtime Verification, volume 10457 of Lecture Notes in Computer Science, Springer, (2018)Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming., , , , , , , , , and . HCVS@ETAPS, volume 344 of EPTCS, page 79-90. (2021)On Monitoring C/C++ Transactional Memory Programs., , , and . MEMICS, volume 8934 of Lecture Notes in Computer Science, page 73-87. Springer, (2014)Unite: an adapter for transforming analysis tools to web services via OSLC., , , , , and . ESEC/SIGSOFT FSE, page 1408-1418. ACM, (2022)Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level., and . PADTAD, page 36-46. ACM, (2012)A Uniform Classification of Common Concurrency Errors., , , and . EUROCAST (1), volume 6927 of Lecture Notes in Computer Science, page 519-526. Springer, (2011)A Novel Approach to Modechart Verification of Real-Time Systems., , and . EUROCAST (1), volume 6927 of Lecture Notes in Computer Science, page 559-567. Springer, (2011)Integrating OSLC Services into Eclipse., , , , and . EUROCAST, volume 13789 of Lecture Notes in Computer Science, page 240-249. Springer, (2022)