Boris Düdder
Lektor
ORCID: 0000-0002-0241-7729
1 - 4 ud af 4Pr. side: 10
- 2016
A long and winding road towards modular synthesis
Heineman, G. T., Bessai, J., Duedder, Boris & Rehof, J., 1 jan. 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (red.). Springer Verlag, s. 303-317 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Combinatory process synthesis
Bessai, J., Dudenhefner, A., Duedder, Boris, Martens, M. & Rehof, J., 1 jan. 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (red.). Springer Verlag, s. 266-281 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Combinatory synthesis of classes using feature grammars
Bessai, J., Duedder, Boris, Heineman, G. T. & Rehof, J., 1 jan. 2016, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Revised Selected Papers. Braga, C. & Ölveczky, P. C. (red.). Springer Verlag, s. 123-140 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9539).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ModSyn-PP: Modular synthesis of programs and processes track introduction
Duedder, Boris, Heineman, G. T. & Rehof, J., 1 jan. 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (red.). Springer Verlag, s. 261-265 5 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 172785813
Flest downloads
-
194
downloads
On assessing trustworthy AI in healthcare: Best practice for machine learning as a supportive tool to recognize cardiac arrest in emergency calls
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
123
downloads
Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
79
downloads
Co-design of a trustworthy AI system in healthcare: Deep learning based skin lesion classifier
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet