Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Robust online monitoring of signal temporal logic
Deshmukh, Jyotirmoy V., Donzé, Alexandre, Ghosh, Shromona, Jin, Xiaoqing, Juniwal, Garvit, Seshia, Sanjit A.
Published in Formal methods in system design (01.08.2017)
Published in Formal methods in system design (01.08.2017)
Get full text
Journal Article
A survey of challenges for runtime verification from advanced application domains (beyond software)
Sánchez, César, Schneider, Gerardo, Ahrendt, Wolfgang, Bartocci, Ezio, Bianculli, Domenico, Colombo, Christian, Falcone, Yliès, Francalanza, Adrian, Krstić, Srđan, Lourenço, Joa̋o M., Nickovic, Dejan, Pace, Gordon J., Rufino, Jose, Signoles, Julien, Traytel, Dmitriy, Weiss, Alexander
Published in Formal methods in system design (01.11.2019)
Published in Formal methods in system design (01.11.2019)
Get full text
Journal Article
Reluplex: a calculus for reasoning about deep neural networks
Katz, Guy, Barrett, Clark, Dill, David L., Julian, Kyle, Kochenderfer, Mykel J.
Published in Formal methods in system design (01.02.2022)
Published in Formal methods in system design (01.02.2022)
Get full text
Journal Article
Parameter synthesis for Markov models: covering the parameter space
Junges, Sebastian, Ábrahám, Erika, Hensel, Christian, Jansen, Nils, Katoen, Joost-Pieter, Quatmann, Tim, Volk, Matthias
Published in Formal methods in system design (01.06.2024)
Published in Formal methods in system design (01.06.2024)
Get full text
Journal Article
Automatic verification of concurrent stochastic systems
Kwiatkowska, Marta, Norman, Gethin, Parker, David, Santos, Gabriel
Published in Formal methods in system design (01.10.2021)
Published in Formal methods in system design (01.10.2021)
Get full text
Journal Article
Monitoring hyperproperties
Finkbeiner, Bernd, Hahn, Christopher, Stenger, Marvin, Tentrup, Leander
Published in Formal methods in system design (01.11.2019)
Published in Formal methods in system design (01.11.2019)
Get full text
Journal Article
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
Cimatti, Alessandro, Geatti, Luca, Gigante, Nicola, Montanari, Angelo, Tonetta, Stefano
Published in Formal methods in system design (01.12.2024)
Published in Formal methods in system design (01.12.2024)
Get full text
Journal Article
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
Moosbrugger, Patrick, Rozier, Kristin Y., Schumann, Johann
Published in Formal methods in system design (01.08.2017)
Published in Formal methods in system design (01.08.2017)
Get full text
Journal Article
TeLEx: learning signal temporal logic from positive examples using tightness metric
Jha, Susmit, Tiwari, Ashish, Seshia, Sanjit A., Sahai, Tuhin, Shankar, Natarajan
Published in Formal methods in system design (01.11.2019)
Published in Formal methods in system design (01.11.2019)
Get full text
Journal Article
Shield synthesis
Könighofer, Bettina, Alshiekh, Mohammed, Bloem, Roderick, Humphrey, Laura, Könighofer, Robert, Topcu, Ufuk, Wang, Chao
Published in Formal methods in system design (01.11.2017)
Published in Formal methods in system design (01.11.2017)
Get full text
Journal Article
Stochastic games with lexicographic objectives
Chatterjee, Krishnendu, Katoen, Joost-Pieter, Mohr, Stefanie, Weininger, Maximilian, Winkler, Tobias
Published in Formal methods in system design (01.10.2024)
Published in Formal methods in system design (01.10.2024)
Get full text
Journal Article
Software doping analysis for human oversight
Biewer, Sebastian, Baum, Kevin, Sterz, Sarah, Hermanns, Holger, Hetmank, Sven, Langer, Markus, Lauber-Rönsberg, Anne, Lehr, Franz
Published in Formal methods in system design (01.05.2025)
Published in Formal methods in system design (01.05.2025)
Get full text
Journal Article
SAT solving for variants of first-order subsumption
Coutelier, Robin, Rath, Jakob, Rawson, Michael, Biere, Armin, Kovács, Laura
Published in Formal methods in system design (01.10.2025)
Published in Formal methods in system design (01.10.2025)
Get full text
Journal Article
Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation
Konrad, Alexander, Scholl, Christoph, Mahzoon, Alireza, Große, Daniel, Drechsler, Rolf
Published in Formal methods in system design (01.10.2025)
Published in Formal methods in system design (01.10.2025)
Get full text
Journal Article
Quantitative monitoring of STL with edit distance
Jakšić, Stefan, Bartocci, Ezio, Grosu, Radu, Nguyen, Thang, Ničković, Dejan
Published in Formal methods in system design (01.08.2018)
Published in Formal methods in system design (01.08.2018)
Get full text
Journal Article
SMT-based model checking for recursive programs
Komuravelli, Anvesh, Gurfinkel, Arie, Chaki, Sagar
Published in Formal methods in system design (01.06.2016)
Published in Formal methods in system design (01.06.2016)
Get full text
Journal Article
Distributed bounded model checking
Chatterjee, Prantik, Roy, Subhajit, Diep, Bui Phi, Lal, Akash
Published in Formal methods in system design (01.12.2024)
Published in Formal methods in system design (01.12.2024)
Get full text
Journal Article
(Un)Solvable loop analysis
Amrollahi, Daneshvar, Bartocci, Ezio, Kenison, George, Kovács, Laura, Moosbrugger, Marcel, Stankovič, Miroslav
Published in Formal methods in system design (01.04.2025)
Published in Formal methods in system design (01.04.2025)
Get full text
Journal Article