I agree that this site is using cookies. You can find further informations here.
X
Westphal, Bernd
128  results:
Search for persons X
?
1

Shaping a GAIA-X Data Ecosystem through Innovation Modeling:

, In: 2023 IEEE 31st International Requirements Engineering Conference (RE),
Shakeri, Ali ; Klemp, Oliver ; Westphal, Bernd - p. 190-200 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Quasi-Equal Clock Reduction On-the-Fly:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Westphal, Bernd - p. 375-391 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Klimaneutrale Wirtschaft gelingt nur durch politische Rahme..:

, In: Neue Herausforderungen der Sozialen Marktwirtschaft,
Westphal, Bernd - p. 17-24 , 2021
Link: https://doi.org/10.1007/..
 
?
4

On Education and Training in Formal Methods for Industrial ..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Westphal, Bernd - p. 85-103 , 2021
Link: https://doi.org/10.1007/..
 
?
5

On Implementable Timed Automata:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Feo-Arenis, Sergio ; Vujinović, Milan ; Westphal, Bernd - p. 78-95 , 2020
Link: https://doi.org/10.1007/..
 
?
6

On Complementing an Undergraduate Software Engineering Cour..:

, In: 2020 IEEE 32nd Conference on Software Engineering Education and Training (CSEE&T),
Westphal, Bernd - p. 1-10 , 2020
Link: https://doi.org/10.1109/..
 
?
7

Formal Requirements in an Informal World:

, In: 2020 IEEE Workshop on Formal Requirements (FORMREQ),
Dietsch, Daniel ; Langenfeld, Vincent ; Westphal, Bernd - p. 14-20 , 2020
Link: https://doi.org/10.1109/..
 
?
8

Teaching software modelling in an undergraduate introductio..:

, In: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems,
Westphal, Bernd - p. 690-699 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

Clinical outcomes of conventional surgery versus MitraClip®..:

Alozie, Anthony ; Paranskaya, Liliya ; Westphal, Bernd...
BMC Cardiovascular Disorders.  17 (2017)  1 - p. , 2017
Link: https://doi.org/10.1186/..
 
?
10

Conventional Surgery for Early and Late Symptomatic Mitral ..:

Alozie, Anthony ; Paranskaya, Liliya ; Westphal, Bernd...
Heart, Lung and Circulation.  26 (2017)  12 - p. 1330-1338 , 2017
Link: https://doi.org/10.1016/..
 
?
11

Intramyocardial fate and effect of iron nanoparticles co-in..:

Müller, Paula ; Gaebel, Ralf ; Lemcke, Heiko...
Biomaterials.  135 (2017)  - p. 74-84 , 2017
Link: https://doi.org/10.1016/..
 
?
12

Two Stage Interventional Management of Tube Thoracostomy In..:

Alozie, Anthony ; Bier, Andrea ; Kaminski, Alexander...
Heart, Lung and Circulation.  26 (2017)  12 - p. e121-e122 , 2017
Link: https://doi.org/10.1016/..
 
?
13

Ready for testing: ensuring conformance to industrial stand..:

Feo-Arenis, Sergio ; Westphal, Bernd ; Dietsch, Daniel...
Formal Aspects of Computing.  28 (2016)  3 - p. 499-527 , 2016
Link: https://doi.org/10.1007/..
 
?
14

Streptococcus bovis infectious endocarditis and occult gast..:

Alozie, Anthony ; Köller, Kerstin ; Pose, Lumi...
Gut Pathogens.  7 (2015)  1 - p. , 2015
Link: https://doi.org/10.1186/..
 
?
15

Arthralgia and blood culture-negative endocarditis in middl..:

Alozie, Anthony ; Zimpfer, Annette ; Köller, Kerstin...
BMC Infectious Diseases.  15 (2015)  1 - p. , 2015
Link: https://doi.org/10.1186/..
 
1-15