Zobrazeno 1 - 9
of 9
pro vyhledávání: '"von Oheimb, David"'
Autor:
von Oheimb, David1 David.von.Oheimb@siemens.com, Lotz, Volkmar1 Volkmar.Lotz@siemens.com, Walter, Georg2 Georg.Walter@infineon.com
Publikováno v:
International Journal of Information Security. 2005, Vol. 4 Issue 3, p155-171. 17p.
Autor:
von Oheimb, David
This thesis deals with machine-checking a large sublanguage of sequential Java, covering nearly all features, in particular the object-oriented ones. It shows that embedding such a language in a theorem prover and deducing practically important prope
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______518::19efbcfaace2c09f013f7b6879d043cb
https://mediatum.ub.tum.de/601694
https://mediatum.ub.tum.de/601694
Publikováno v:
Formal Methods for Components & Objects (9783642252709); 2012, p1-22, 22p
Autor:
Armando, Alessandro, Arsac, Wihem, Avanesov, Tigran, Barletta, Michele, Calvi, Alberto, Cappai, Alessandro, Carbone, Roberto, Chevalier, Yannick, Compagna, Luca, Cuéllar, Jorge, Erzse, Gabriel, Frau, Simone, Minea, Marius, Mödersheim, Sebastian, von Oheimb, David, Pellegrino, Giancarlo, Ponta, Serena Elisa, Rocchetto, Marco, Rusinowitch, Michael, Torabi Dashti, Mohammad
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783642287558); 2012, p267-282, 16p
Publikováno v:
Computer Safety, Reliability & Security (9783540876977); 2008, p415-428, 14p
Autor:
Nipkow, Tobias, von Oheimb, David
Publikováno v:
Proceedings of the 25th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/19/1998, p161-170, 10p
Autor:
Von Oheimb, David
Publikováno v:
Concurrency & Computation: Practice & Experience; Oct2001, Vol. 13 Issue 13, p1173-1214, 42p
Publikováno v:
Journal of Functional Programming; 03/01/1999, Vol. 9 Issue 2, p191-223, 33p