From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.

M. Dwyer, J. Hatcliff, Robby, и V. Ranganath. Formal Methods Syst. Des., 25 (2-3): 199-240 (2004)

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.

Robby Schönfeld

Annelise Robby

Robby Jacob

Robby Schlund

Robby Zellmer

Другие публикации лиц с тем же именем

Formal Software Analysis Emerging Trends in Software Model CheckingM. Dwyer, J. Hatcliff, R. Robby, C. Puasuareanu, и W. Visser. Future of Software Engineering, 2007. FOSE '07, стр. 120--136. (2007)A Case Study in Domain-Customized Model Checking for Real-Time Component Software.M. Hoosier, M. Dwyer, Robby, и J. Hatcliff. ISoLA, том 4313 из Lecture Notes in Computer Science, стр. 161-180. Springer, (2004)Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq.P. Courtieu, M. Aponte, T. Crolard, Z. Zhang, Robby, J. Belt, J. Hatcliff, J. Guitton, и T. Jennings. HILT, стр. 21-22. ACM, (2013)Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems.S. Harmon, S. DeLoach, и Robby. ESAW, том 4995 из Lecture Notes in Computer Science, стр. 333-349. Springer, (2007)Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.M. Dwyer, J. Hatcliff, Robby, и V. Ranganath. Formal Methods Syst. Des., 25 (2-3): 199-240 (2004)Checking JML specifications using an extensible software model checking framework.Robby, E. Rodríguez, M. Dwyer, и J. Hatcliff. Int. J. Softw. Tools Technol. Transf., 8 (3): 280-299 (2006)Automated Property-Based Testing from AADL Component Contracts.J. Hatcliff, J. Belt, Robby, J. Legg, D. Stewart, и T. Carpenter. FMICS, том 14290 из Lecture Notes in Computer Science, стр. 131-150. Springer, (2023)Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan.J. Belt, P. Chalin, J. Hatcliff, и Robby. HILT, стр. 3-4. ACM, (2012)Model-driven development for the seL4 microkernel using the HAMR framework.J. Belt, J. Hatcliff, Robby, J. Shackleton, J. Carciofini, T. Carpenter, E. Mercer, I. Amundson, J. Babar, D. Cofer и 5 other автор(ы). J. Syst. Archit., (2023)Abstract Requirement Analysis in Multiagent System Design.S. Harmon, S. DeLoach, и Robby. IAT, стр. 86-91. IEEE Computer Society, (2009)978-0-7695-3801-3.

BibSonomy

Disambiguation