Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Karsten Ehrig
Verification of Model Transformations: A Case Study With BPEL
Related publications
Model-Driven Software Development With Graph Transformations: A Comparative Case Study
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Verification by Diagram Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Transformations With Tom
Verification of the HDM-4 Fuel Consumption Model Using a Big Data Approach: A UK Case Study
Transportation Research Part D: Transport and Environment
Civil
Transportation
Structural Engineering
Environmental Science
Verification of Basic Block Schedules Using RTL Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analysis of a Tuberculosis Model With a Case Study in Uganda
Journal of Biological Dynamics
Evolution
Ecology
Systematics
Behavior
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Transactional BPEL Processes With AO4BPEL Aspects
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
IPSJ Digital Courier
