Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 von Chalin, Patrice, Kiniry, Joseph R., Leavens, Gary T., Poll, Erik

Volltext

ESC/Java2: Uniting ESC/Java and JML: Progress and Issues in Building and Using ESC/Java2, Including a Case Study Involving the Use of the Tool to Verify Portions of an Internet Vot... von Cok, David R., Kiniry, Joseph R.

Volltext

An overview of JML tools and applications von BURDY, Lilian, CHEON, Yoonsik, COK, David R, ERNST, Michael D, KINIRY, Joseph R, LEAVENS, Gary T, LEINO, K. Rustan M, POLL, Erik

Volltext

Welcome to Formal Methods in Industry von Margaria, Tiziana, Kiniry, Joseph

Volltext

ADEPT 2023 Workshop Summary von Tran, Hai Nam, Singhoff, Frank, Hugues, Jérôme, Dissaux, Pierre, Lewis, Bruce, Shackleton, Hazel, Kiniry, Joseph, Zeyda, Frank, Mittal, Rakshit, Blouin, Dominique, Bhobe, Anish, Pautet, Laurent, Bae, Kyungmin, Ölveczky, Peter Csaba, Larson, Brian R, Ahmad, Ehsan, Kosmidis, Leonidas, Valente, Hugo, A de Miguel, Miguel, Pérez, Ángel G, Alonso, Alejandro, Zamorano, Juan, A de la Puente, Juan

Volltext

Symbolic Configuration for Interactive Container Ship Stowage Planning von Kroer, Christian, Svendsen, Martin Kjær, Jensen, Rune M., Kiniry, Joseph, Leknes, Eilif

Volltext

Exceptions in Java and Eiffel : Two Extremes in Exception Design and Application von KINIRY, Joseph R

Volltext

Cable modems: cable TV delivers the Internet von Kiniry, J.R., Metz, C.

Volltext

A hands-on look at Java mobile agents von Kiniry, J., Zimmerman, D.

Volltext

Secret Ninja Formal Methods von Kiniry, Joseph R., Zimmerman, Daniel M.

Volltext

Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application von Kiniry, Joseph R.

Volltext

Java Program Verification Challenges von Jacobs, Bart, Kiniry, Joseph, Warnier, Martijn

Volltext

Formal Model-Based Validation for Tally Systems von Cochran, Dermot, Kiniry, Joseph R.

Volltext

Toward instant gradeification von Zimmerman, D M, Kiniry, J R, Fairmichael, F

Volltext

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations von Kiniry, Joseph R., Fairmichael, Fintan

Volltext

Testing Library Specifications by Verifying Conformance Tests von Kiniry, Joseph R., Zimmerman, Daniel M., Hyland, Ralph

Volltext

Wavelength division multiplexing: ultra high speed fiber optics von Kiniry, J.R.

Volltext

Formal techniques in a remote voting system von Kiniry, Joseph R., Morkan, Alan E., Cochran, Dermot, Oostdijk, Martijn, Hubbers, Engelbert

Volltext

Counting Votes with Formal Methods von Jacobs, Bart, Hubbers, Engelbert, Kiniry, Joseph, Oostdijk, Martijn

Volltext

Counting votes with formal methods von JACOBS, Bart, HUBBERS, Engelbert, KINIRY, Joseph, OOSTDIJK, Martijn

Volltext