Automated Deductive Verification of Safety-Critical Embedded Software von Lidström, Christian

Volltext bestellen

Contract Based Embedded Software Design von Lidström, Christian, Gurov, Dilian

Volltext

Automatic Program Instrumentation for Automatic Verification von Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

Volltext

Constraint-Based Contract Inference for Deductive Verification von Alshnakat, Anoud, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

Volltext

Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report von Gurov, Dilian, Lidström, Christian, Nyberg, Mattias, Westman, Jonas

Volltext

Deductive Verification Based Abstraction for Software Model Checking von Amilon, Jesper, Lidström, Christian, Gurov, Dilian

Volltext

An Abstract Contract Theory for Programs with Procedures von Lidström, Christian, Gurov, Dilian

Volltext bestellen

Formal Verification in Automotive Industry: Enablers and Obstacles von Nyberg, Mattias, Gurov, Dilian, Lidström, Christian, Rasmusson, Andreas, Westman, Jonas

Volltext

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report) von Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

Volltext bestellen

A Program Instrumentation Framework for Automatic Verification von Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp, Voorberg, Marten

Volltext bestellen

An Abstract Contract Theory for Programs with Procedures von Lidström, Christian, Gurov, Dilian

Volltext

An Exercise in Mind Reading: Automatic Contract Inference for Frama-C von Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

Volltext

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report) von Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

Volltext

Principles of Contract Languages (Dagstuhl Seminar 22451) von Gurov, Dilian, Hähnle, Reiner, Huisman, Marieke, Reger, Giles, Lidström, Christian

Volltext

A Program Instrumentation Framework for Automatic Verification von Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp, Voorberg, Marten

Volltext

Alice in Wineland: A Fairy Tale with Contracts von Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

Volltext

Constraint-based Contract Inference for Deductive Verification von Alshnakat, Anoud, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

Volltext

On the categorization of uranium materials using low resolution gamma ray spectrometry von Vesterlund, A., Ulvsand, T., Lidström, K., Skarnemark, G., Ekberg, C., Ramebäck, H.

Volltext

Methylobacterium Genome Sequences: A Reference Blueprint to Investigate Microbial Metabolism of C1 Compounds from Natural and Industrial Sources von Vuilleumier, Stéphane, Chistoserdova, Ludmila, Bringel, Françoise, Lajus, Aurélie, Gourion, Benjamin, Barbe, Valérie, Chang, Jean, Cruveiller, Stéphane, Dossat, Carole, Gillett, Will, Gruffaz, Christelle, Haugen, Eric, Hourcade, Edith, Levy, Ruth, Mangenot, Sophie, Muller, Emilie, Nadalig, Thierry, Pagni, Marco, Penny, Christian, Peyraud, Rémi, Roche, David, Rouy, Zoé, Saenampechek, Channakhone, Salvignol, Grégory, Vallenet, David, Wu, Zaining, Vorholt, Julia A, Olson, Maynard V, Kaul, Rajinder, Weissenbach, Jean, Médigue, Claudine, Lidstrom, Mary E, Lee, Ming-Chun, Zhou, Yang, Robinson, David G, Marx, Christopher J

Volltext

The Editors of Spine thank the following reviewers for their valuable advice on the European edition of Spine for Volumes 14 and 15 von Andersson, Gunnar, Berlin, Örjan, Bjure, Jan, Bloch, Ralph, Cooper, R. G., Fordyce, Wilbert, Freemont, Tony, Frennered, Karin, Gunterberg, Björn, Kahanovitz, Neil, Lidström, Jan, Lind, Bengt, Lindh, Margareta, Linton, Steven, Main, Chris, Nelson, Roger, Nilsson, Bo, Peterson, Lars-Erik, Pope, Malcolm, Renström, Per, Stockwell, R. A., Sullivan, Marianne, Udén, Alf, Waddell, Gordon, Wallin, Gunnar, Weinstein, James, Östgaard, Hans-Christian

Volltext