The model checker SPIN von Holzmann, G.J.

Volltext

The power of 10: rules for developing safety-critical code von Holzmann, G.J.

Volltext

Moving Fast with Software Verification von Calcagno, Cristiano, Distefano, Dino, Dubreil, Jeremy, Gabi, Dominik, Hooimeijer, Pieter, Luca, Martino, O’Hearn, Peter, Papakonstantinou, Irene, Purbrick, Jim, Rodriguez, Dulma

Volltext

Histoplasmosis neck mass – Case report and literature review a diagnostic dilemma von Thangirala, A.G., Chelius, D., Holzmann-Pazgal, G., Lambert, E.M.

Volltext

The Design of a Multicore Extension of the SPIN Model Checker von Holzmann, G.J., Bosnacki, D.

Volltext

Swarm Verification Techniques von Holzmann, G. J., Joshi, R., Groce, A.

Volltext

Code Clarity von Holzmann, Gerard J.

Volltext

Landing a Spacecraft on Mars von Holzmann, G. J.

Volltext

An automated verification method for distributed systems software based on model extraction von Holzmann, G.J., Smith, M.H.

Volltext

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems von Dreossi, Tommaso, Dang, Thao, Donzé, Alexandre, Kapinski, James, Jin, Xiaoqing, Deshmukh, Jyotirmoy V.

Volltext

Neuropeptide Calcitonin Gene-related Peptide Signaling via RAMP1 Stimulates Liver Fibrosis and Regulates Yes-associated Protein Activity during Chronic Liver Damage von Wang, Y., Stöss, C., Holzmann, G., Wang, B., Mogler, C., Altmayr, F., Friess, H., Hüser, N., Holzmann, B., Hartmann, D., Laschinger, M.

Volltext

A Three-Step Program for Recovering Hackers von Holzmann, G. J.

Volltext

Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks von Dal Corso, Alice, Macedonio, Damiano, Merro, Massimo

Volltext

Utilizing a line maintenance team to reduce central-line-associated bloodstream infections in a neonatal intensive care unit von Holzmann-Pazgal, G, Kubanda, A, Davis, K, Khan, A M, Brumley, K, Denson, S E

Volltext

A Greedy Approach for the Efficient Repair of Stochastic Models von Pathak, Shashank, Ábrahám, Erika, Jansen, Nils, Tacchella, Armando, Katoen, Joost-Pieter

Volltext

Logic Verification of ANSI-C Code with SPIN von Holzmann, Gerard J.

Volltext

Formal API Specification of the PikeOS Separation Kernel von Verbeek, Freek, Havle, Oto, Schmaltz, Julien, Tverdyshev, Sergey, Blasum, Holger, Langenstein, Bruno, Stephan, Werner, Wolff, Burkhart, Nemouchi, Yakoub

Volltext

Towards Realizability Checking of Contracts Using Theories von Gacek, Andrew, Katis, Andreas, Whalen, Michael W., Backes, John, Cofer, Darren

Volltext

Conquering Complexity von Holzmann, G.J.

Volltext

A Benchmark Suite for Hybrid Systems Reachability Analysis von Chen, Xin, Schupp, Stefan, Makhlouf, Ibtissem Ben, Ábrahám, Erika, Frehse, Goran, Kowalewski, Stefan

Volltext