Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Tobias Blechmann
Institution:
Technische Universität Dresden
Observed institution:
Technische Universität Dresden
OpenAlex ID:
A5040173545
A Uniform Framework for Modeling and Verifying Components and Connectors
2009
·
Christel Baier
, Tobias Blechmann
, et al.
·
Lecture notes in computer science
·
41
Design and Verification of Systems with Exogenous Coordination Using Vereofy
2010
·
Christel Baier
, Tobias Blechmann
, et al.
·
Lecture notes in computer science
·
38
Formal Verification for Components and Connectors
2009
·
Christel Baier
, Tobias Blechmann
, et al.
·
Lecture notes in computer science
·
23
Checking Equivalence for Reo Networks
2008
·
Tobias Blechmann
, Christel Baier
·
Electronic Notes in Theoretical Computer Science
·
20
Credo Methodology
2010
·
Immo Grabe
, Mohammad Mahdi Jaghoori
, et al.
·
Electronic Notes in Theoretical Computer Science
·
6
The Credo Methodology
2010
·
Immo Grabe
, Mohammad Mahdi Jaghoori
, et al.
·
Lecture notes in computer science
·
3
Modeling and Analyzing A Peer-to-Peer System in Credo
2009
·
Bernhard K. Aichernig
, Christel Baier
, et al.
·
2
Show more works
View as search
Works count:
7
Citation count:
133
H-index:
5
I10-index:
4
Year
Topic
Type
