( en | de | ru )

 

Disambiguation of "Robby,"

Author of the publication

copydeleteadd this publication to your clipboard
Extending JML for Modular Specification and Verification of Multi-threaded Programs.

, , , , , and . ECOOP, volume 3586 of Lecture Notes in Computer Science, page 551-576. Springer, (2005)

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.

Robby Schönfeld

Annelise Robby

Robby Jacob

Robby Schlund

Robby Zellmer

 

Other publications of authors with the same name

Formal Software Analysis Emerging Trends in Software Model Checking, , , , and . Future of Software Engineering, 2007. FOSE '07, page 120--136. (2007)A Case Study in Domain-Customized Model Checking for Real-Time Component Software., , , and . ISoLA, volume 4313 of Lecture Notes in Computer Science, page 161-180. Springer, (2004)Checking JML specifications using an extensible software model checking framework., , , and . Int. J. Softw. Tools Technol. Transf., 8 (3): 280-299 (2006)Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs., , , and . Formal Methods Syst. Des., 25 (2-3): 199-240 (2004)Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq., , , , , , , , and . HILT, page 21-22. ACM, (2013)Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems., , and . ESAW, volume 4995 of Lecture Notes in Computer Science, page 333-349. Springer, (2007)Model-driven development for the seL4 microkernel using the HAMR framework., , , , , , , , , and 5 other author(s). J. Syst. Archit., (2023)Automated Property-Based Testing from AADL Component Contracts., , , , , and . FMICS, volume 14290 of Lecture Notes in Computer Science, page 131-150. Springer, (2023)Abstract Requirement Analysis in Multiagent System Design., , and . IAT, page 86-91. IEEE Computer Society, (2009)978-0-7695-3801-3.Explicating symbolic execution (xSymExe): an evidence-based verification framework., , , and . ICSE, page 222-231. IEEE Computer Society, (2013)