Author of the publication

Reasoning about VHDL and VHDL-AMS using Denotational Semantics.

, , , , , and . DATE, page 346-352. IEEE Computer Society / ACM, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Hypervisor Event Logs as a Source of Consistent Virtual Machine Evidence for Forensic Cloud Investigations., , , , and . DBSec, volume 7964 of Lecture Notes in Computer Science, page 97-112. Springer, (2013)Is a Precise Semantics Desirable? For What Purpose?, , , and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 37-40. Springer, (1999)Modeling for the cloud., and . Softw. Syst. Model., 9 (2): 139-140 (2010)Report on the First Workshop On the Globalization of Modeling Languages., , , , , , , , and . CoRR, (2014)On the Contributions of an End-to-End AOSD Testbed., , , , , , , , , and 16 other author(s). EA@ICSE, page 8. IEEE, (2007)Fine-Grained Software Evolution Using UML Activity and Class Models., , , and . MoDELS, volume 8107 of Lecture Notes in Computer Science, page 271-286. Springer, (2013)Scenario-Based Static Analysis of UML Class Models., , and . MoDELS, volume 5301 of Lecture Notes in Computer Science, page 234-248. Springer, (2008)Decomposing feature models: language, environment, and applications., , , and . ASE, page 600-603. IEEE Computer Society, (2011)Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD.. ECBS, page 3. IEEE Computer Society, (2011)Verifiable composition of access control and application features., , , , , and . SACMAT, page 120-129. ACM, (2005)