Author of the publication

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.

, , , , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 17-32. Springer, (2014)

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

Optimizing convolution operations on GPUs using adaptive tiling., , , and . Future Gener. Comput. Syst., (2014)An Efficient Reliable Broadcast Protocol., , , and . ACM SIGOPS Oper. Syst. Rev., 23 (4): 5-19 (1989)On optimising cost and value in compute systems for radio astronomy., , , and . Astron. Comput., (2020)Application-Tailored I/O with Streamline., , and . ACM Trans. Comput. Syst., 29 (2): 6:1-6:33 (2011)A Java-Based Grid Programming Environment.. Euro-Par, volume 2790 of Lecture Notes in Computer Science, page 4. Springer, (2003)SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming Applications., , , , , and . LCPC, volume 4382 of Lecture Notes in Computer Science, page 33-48. Springer, (2006)A Flexible Operation Execution Model for Shared Distributed Objects., , and . OOPSLA, page 30-50. ACM, (1996)SIGPLAN Notices 31(10).Better Never Than Late: Timely Edge Video Analytics Over the Air., , , and . SenSys, page 426-432. ACM, (2021)Orca: A Language For Parallel Programming of Distributed Systems., , and . IEEE Trans. Software Eng., 18 (3): 190-205 (1992)Using RenderScript and RCUDA for Compute Intensive Tasks on Mobile Devices: a Case Study., , , , , and . Software Engineering (Workshops), volume P-215 of LNI, page 305-318. GI, (2013)