We stand with Ukraine  

Björn Metzler

Affiliations:
  • University of Paderborn, Department of Computer Science


According to our database1, Björn Metzler authored at least 5 papers between 2006 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Decomposition for compositional verification.
[BibTeX]
[DOI]
Björn Metzler
PhD thesis, 2010

2008
Decomposition for Compositional Verification.
[BibTeX]
[DOI]
Björn Metzler
,
Heike Wehrheim
,
Daniel Wonisch
Proceedings of the Formal Methods and Software Engineering, 2008

2007
Decomposing Integrated Specifications for Verification.
[BibTeX]
[DOI]
Björn Metzler
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006
Optimizing Slicing of Formal Specifications by Deductive Verification.
[BibTeX]
Ingo Brückner
,
Björn Metzler
,
Heike Wehrheim
Nord. J. Comput., 2006

Extending a Component Specification Language with Time.
[BibTeX]
[DOI]
Björn Metzler
,
Heike Wehrheim
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006


  Loading...