io-port.net

io-port 06057192 Beckert, Bernhard (ed.); Damiani, Ferruccio (ed.); Gurov, Dilian (ed.)

Formal verification of object-oriented software. International conference, FoVeOOS 2011, Turin, Italy, October 5‒7, 2011. Revised selected papers. (English)

Lecture Notes in Computer Science 7421. Berlin: Springer (ISBN 978-3-642-31761-3). x, 251~p. EUR~49.22 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06060079 Beckert, Bernhard; Bormer, Thorsten; Klebanov, Vladimir

Improving the usability of specification languages and methods for annotation-based verification. (English)

Aichernig, Bernhard K. (ed.) et al., Formal methods for components and objects. 9th international symposium, FMCO 2010, Graz, Austria, November 29‒December 1, 2010. Revised papers. Berlin: Springer (ISBN 978-3-642-25270-9/pbk). Lecture Notes in Computer Science 6957, 61-79 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05922320 Beckert, Bernhard; Hofheinz, Dennis; Müller-Quade, Jörn; Pretschner, Alexander; Snelting, Gregor

Software security in virtualized infrastructures - the smart meter example. (English)

it Inf. Technol. 53, No. 3, 142-151 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05838049 Beckert, Bernhard (ed.); Marché, Claude (ed.)

Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28‒30, 2010. Revised selected papers. (English)

Lecture Notes in Computer Science 6528. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). x, 199~p. EUR~49.22 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05835364 Baader, Franz; Beckert, Bernhard; Nipkow, Tobias

Deduktion: von der Theorie zur Anwendung. (English)

Inform. Spektrum 33, No. 5, 444-451 (2010).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05815360 Beckert, Bernhard (ed.); Hähnle, Reiner (ed.)

Special issue: Tests and proofs. Selected papers based on the presentations at the 2nd international conference, Prato, Italy, April 2008. (English)

J. Autom. Reasoning 45, No. 4, 327-473 (2010).

6

PDF XML AMS-TeX TEXT BIBTeX

io-port 05772569 Gladisch, Christoph; Tyszberowicz, Shmuel; Beckert, Bernhard; Yehudai, Amiram

Generating regression unit tests using a combination of verification and Capture \& Replay. (English)

Fraser, Gordon (ed.) et al., Tests and proofs. 4th international conference, TAP 2010, Málaga, Spain, July 1‒2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13976-5/pbk). Lecture Notes in Computer Science 6143, 61-76 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05743555 Beckert, Bernhard; Moskal, Michal

Deductive verification of system software in the verisoft XT project. (English)

KI, Künstl. Intell. 24, No. 1, 57-61 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05743552 Ahrendt, Wolfgang; Beckert, Bernhard; Giese, Martin; Rümmer, Philipp

Practical aspects of automated deduction for program verification. (English)

KI, Künstl. Intell. 24, No. 1, 43-49 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70279643 Gladisch, Christoph; Tyszberowicz, Shmuel S.; Beckert, Bernhard; Yehudai, Amiram

Generating regression unit tests using a combination of verification and capture \& replay (English)

TAP, 61-76 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70377209 Beckert, Bernhard; Bormer, Thorsten; Klebanov, Vladimir

Improving the usability of specification languages and methods for annotation-based verification (English)

FMCO, 61-79 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05618335 Beckert, Bernhard; Wagner, Markus

Probabilistic models for the verification of human-computer interaction. (English)

Mertsching, Bärbel (ed.) et al., KI 2009: Advances in artificial intelligence. 32nd annual German conference on AI, Paderborn, Germany, September 15‒18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04616-2). Lecture Notes in Computer Science 5803. Lecture Notes in Artificial Intelligence, 687-694 (2009).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05615936 Baumann, Christoph; Beckert, Bernhard; Blasum, Holger; Bormer, Thorsten

Formal verification of a microkernel used in dependable software systems. (English)

Buth, Bettina (ed.) et al., Computer safety, reliability, and security. 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15‒18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04467-0/pbk). Lecture Notes in Computer Science 5775, 187-200 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70483980 Baumann, Christoph; Beckert, Bernhard; Blasum, Holger; Bormer, Thorsten

Formal verification of a microkernel used in dependable software systems (English)

SAFECOMP, 187-200 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05348750 Aichernig, Bernhard; Beckert, Bernhard

Software engineering and formal methods. (English)

Softw. Syst. Model. 7, No. 3, 255-256 (2008).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05262099 Beckert, Bernhard (ed.); Hähnle, Reiner (ed.)

Tests and proofs. Second international conference, TAP 2008, Prato, Italy, April 9‒11, 2008. Proceedings. (English)

Lecture Notes in Computer Science 4966. Berlin: Springer (ISBN 978-3-540-79123-2/pbk). x, 193~p. EUR~44.94 (2008).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70117579 Beckert, Bernhard; Klein, Gerwin

Title, preface, table of contents (English)

VERIFY (2008).

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 20001169 Beckert, Bernhard (ed.); Klein, Gerwin (ed.)

Proceedings of the 5th international verification workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008 (English)

CEUR Workshop Proceedings: VERIFY 372 (2008).

18

PDF XML AMS-TeX TEXT BIBTeX

io-port 05523786 Beckert, Bernhard; Giese, Martin; Hähnle, Reiner; Klebanov, Vladimir; Rümmer, Philipp; Schlager, Steffen; Schmitt, Peter H.

The KeY system 1.0 (deduction component). (English)

Pfenning, Frank (ed.), Automated deduction ‒ CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17‒20, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73594-6/pbk). Lecture Notes in Computer Science 4603. Lecture Notes in Artificial Intelligence, 379-384 (2007).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05344432 Ahrendt, Wolfgang; Beckert, Bernhard; Hähnle, Reiner; Rümmer, Philipp; Schmitt, Peter H.

Verifying object-oriented programs with KeY: A tutorial. (English)

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7‒10, 2006. Revised lectures. Berlin: Springer (ISBN 978-3-540-74791-8/pbk). Lecture Notes in Computer Science 4709, 70-101 (2007).

20

PDF XML AMS-TeX TEXT BIBTeX DOI