An Algebraic Framework for Runtime Verification von Jaksic, Stefan, Bartocci, Ezio, Grosu, Radu, Nickovic, Dejan

Volltext

Quantitative monitoring of STL with edit distance von Jakšić, Stefan, Bartocci, Ezio, Grosu, Radu, Nguyen, Thang, Ničković, Dejan

Volltext

The second link in the chain of survival in out-of-hospital cardiac arrest von Jakšić, Stefan, Jokšić-Mazinjanin, Radojka

Volltext

The importance of Dopamine usage after the return of spontaneous circulation at the prehospital level von Jakšić, Stefan, Roglić, Jelena, Jovanović, Kristina, Opačić, Aleksandra

Volltext

Prehospital care of injured patients in a mass casualty incidents von Jokšić-Mazinjanin, Radojka, Bjelić, Dragan, Jakšić, Stefan, Rakić, Goran

Volltext

Weakness Monitors for Fail-Aware Systems von Granig, Wolfgang, Jakšić, Stefan, Lewitschnig, Horst, Mateis, Cristinel, Ničković, Dejan

Volltext

Quantitative Monitoring of STL with Edit Distance von Jakšić, Stefan, Bartocci, Ezio, Grosu, Radu, Ničković, Dejan

Volltext

Safety and Security in a Smart Production Environment von Kloibhofer, Reinhard, Kristen, Erwin, Jakšić, Stefan

Volltext

Importance of implementing point-of-care ultrasound at the prehospital level von Živanović Bogdan, Jovanović Kristina, Jakšić Stefan

Volltext

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives von Balakrishnan, Anand, Jakšić, Stefan, Aguilar, Edgar A, Ničković, Dejan, Deshmukh, Jyotirmoy V

Volltext bestellen

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives von Balakrishnan, Anand, Jakšić, Stefan, Aguilar, Edgar A, Ničković, Dejan, Deshmukh, Jyotirmoy V

Volltext

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems von Nguyen, Thang, Bartocci, Ezio, Ničković, Dejan, Grosu, Radu, Jaksic, Stefan, Selyunin, Konstantin

Volltext

Rule-Based Threat Analysis and Mitigation for the Automotive Domain von Shaaban, Abdelkader Magdy, Jaksic, Stefan, Veledar, Omar, Mauthner, Thomas, Arnautovic, Edin, Schmittner, Christoph

Volltext

Runtime Monitoring with Recovery of the SENT Communication Protocol von Selyunin, Konstantin, Jaksic, Stefan, Nguyen, Thang, Reidl, Christian, Hafner, Udo, Bartocci, Ezio, Nickovic, Dejan, Grosu, Radu

Volltext

An Algebraic Framework for Runtime Verification von Jaksic, Stefan, Bartocci, Ezio, Grosu, Radu, Nickovic, Dejan

Volltext bestellen

An Algebraic Framework for Runtime Verification von Jaksic, Stefan, Bartocci, Ezio, Grosu, Radu, Nickovic, Dejan

Volltext

Risk factors for shoulder injury in professional male handball players: A systematic review von Jakšić, Damjan, Maričić, Stefan, Vukadinović Jurišić, Mila, Čavala, Marijana

Volltext

Mental skills in Serbian handball players: In relation to the position and gender of players von Jakšić, Damjan, Trbojević Jocić, Jovana, Maričić, Stefan, Miçooğullari, Bülent O., Sekulić, Damir, Foretić, Nikola, Bianco, Antonino, Drid, Patrik

Volltext

Effects of Additional Plyometric Training on the Jump Performance of Elite Male Handball Players: A Systematic Review von Jakšić, Damjan, Maričić, Stefan, Maksimović, Nemanja, Bianco, Antonino, Sekulić, Damir, Foretić, Nikola, Drid, Patrik

Volltext

Future area expansion outweighs increasing drought risk for soybean in Europe von Nendel, Claas, Reckling, Moritz, Debaeke, Philippe, Schulz, Susanne, Berg‐Mohnicke, Michael, Constantin, Julie, Fronzek, Stefan, Hoffmann, Munir, Jakšić, Snežana, Kersebaum, Kurt‐Christian, Klimek‐Kopyra, Agnieszka, Raynal, Hélène, Schoving, Céline, Stella, Tommaso, Battisti, Rafael

Volltext