HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems by Lukáš Charvát, Aleš Smrčka, Tomáš Vojnar

Get full text

String constraints with concatenation and transducers solved efficiently by Holik, L, Janku, P, Lin, A, Rümmer, P, Vojnar, T

Intraoperative hypotension when using hypotension prediction index software during major noncardiac surgery: a European multicentre prospective observational registry (EU HYPROTECT... by Karim Kouz, Manuel Ignacio Monge García, Elisabetta Cerutti, Ivana Lisanti, Gaetano Draisci, Luciano Frassanito, Michael Sander, Amir Ali Akbari, Ulrich H. Frey, Carla Davina Grundmann, Simon James Davies, Abele Donati, Javier Ripolles-Melchor, Daniel García-López, Benjamin Vojnar, Étienne Gayat, Eric Noll, Peter Bramlage, Bernd Saugel

Get full text