Proving linearizability with temporal logic von Bäumler, Simon, Schellhorn, Gerhard, Tofan, Bogdan, Reif, Wolfgang

Volltext

Interactive verification of concurrent systems using symbolic execution von Bäumler, Simon, Balser, Michael, Nafz, Florian, Reif, Wolfgang, Schellhorn, Gerhard

Volltext

Verification of Medical Guidelines by Model Checking – A Case Study von Bäumler, Simon, Balser, Michael, Dunets, Andriy, Reif, Wolfgang, Schmitt, Jonathan

Volltext

Proving linearizability with temporal logic: Papers from the ABZ 2008 Conference von BÄUMLER, Simon, SCHELLHORN, Gerhard, TOFAN, Bogdan, REIF, Wolfgang

Volltext

Temporal Logic Verification of Lock-Freedom von Tofan, Bogdan, Bäumler, Simon, Schellhorn, Gerhard, Reif, Wolfgang

Volltext

A Formal Framework for Compositional Verification of Organic Computing Systems von Nafz, Florian, Seebach, Hella, Steghöfer, Jan-Philipp, Bäumler, Simon, Reif, Wolfgang

Volltext

Formal Verification of Lock-Free Algorithms von Schellhorn, G., Baumler, S.

Volltext

Interactive Verification of UML State Machines von Balser, Michael, Bäumler, Simon, Knapp, Alexander, Reif, Wolfgang, Thums, Andreas

Volltext

Interactive verification of UML state von BALSER, Michael, BÄUMLER, Simon, KNAPP, Alexander, REIF, Wolfgang, THUMS, Andreas

Volltext

Modulares Beweisen temporallogischer Eigenschaften paralleler Programme von Bäumler, Simon

Volltext bestellen

The Clostridium difficile spo0A Gene Is a Persistence and Transmission Factor von DEAKIN, Laura J, CLARE, Simon, FAGAN, Robert P, DAWSON, Lisa F, PICKARD, Derek J, WEST, Michael R, WREN, Brendan W, FAIRWEATHER, Neil F, DOUGAN, Gordon, LAWLEY, Trevor D

Volltext

Success of Escherichia coli O25b:H4 Sequence Type 131 Clade C Associated with a Decrease in Virulence von Duprilot, Marion, Baron, Alexandra, Blanquart, Francois, Dion, Sara, Pouget, Cassandra, Letteron, Philippe, Flament-Simon, Saskia-Camille, Clermont, Olivier, Denamur, Erick, Nicolas-Chanoine, Marie-Helene

Volltext

Synchronous Parallelism in the Asbru Language

Volltext bestellen

Model Checking of Asbru

Volltext bestellen

Embedding CTL in an Extension to Interval Temporal Logic (ITL)

Volltext bestellen

Proving Linearizability with Temporal Logic

Volltext bestellen

Verifying Linearizability and Lock-Freedom with Temporal Logic

Volltext bestellen

Embedding Rely-Guarantee Reasoning in Temporal Logic

Volltext bestellen

Salmonella Utilizes Zinc To Subvert Antimicrobial Host Defense of Macrophages via Modulation of NF-κB Signaling von Wu, Aimin, Tymoszuk, Piotr, Haschka, David, Heeke, Simon, Dichtl, Stefanie, Petzer, Verena, Seifert, Markus, Hilbe, Richard, Sopper, Sieghart, Talasz, Heribert, Bumann, Dirk, Lass-Flörl, Cornelia, Theurl, Igor, Zhang, Keying, Weiss, Guenter

Volltext

Manipulation of small Rho GTPases is a pathogen-induced process detected by NOD1 von Keestra, A. Marijke, Winter, Maria G., Auburger, Josef J., Fräßle, Simon P., Xavier, Mariana N., Winter, Sebastian E., Kim, Anita, Poon, Victor, Ravesloot, Mariëtta M., Waldenmaier, Julian F. T., Tsolis, Renée M., Eigenheer, Richard A., Bäumler, Andreas J.

Volltext