Author of the publication

Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs.

, , , , and . SAFECOMP, volume 1943 of Lecture Notes in Computer Science, page 37-52. Springer, (2000)

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

Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs., , , , and . SAFECOMP, volume 1943 of Lecture Notes in Computer Science, page 37-52. Springer, (2000)Surveying Today's Most Popular Storage Interfaces., , , , , and . Computer, 35 (12): 48-55 (2002)Side Comments - Medium.com style commenting. (2015)Optimization Decomposition for Scheduling and System Configuration in Wireless Networks., , , and . IEEE/ACM Trans. Netw., 22 (1): 271-284 (2014)Applying idealized lower-bound runtime models to understand inefficiencies in data-intensive computing., , , , , and . SIGMETRICS, page 125-126. ACM, (2011)An artificial neural network study of the relationship between arousal, task difficulty and learning., , , , and . IJCNN, page 3618-3621. IEEE, (1999)Consistability: Describing Usually Consistent Systems., , , , and . HotDep, USENIX Association, (2008)Network-Scale Emulation of General Wireless Channels., , , and . VTC Fall, page 1-5. IEEE, (2011)Eliciting Emotions in Design of Games - a Theory Driven Approach., , , and . EMPIRE@RecSys, volume 1680 of CEUR Workshop Proceedings, page 34-42. CEUR-WS.org, (2016)Capture, Conversion, and Analysis of an Intense NFS Workload.. FAST, page 139-152. USENIX, (2009)