Loading…
Loading…
Crash-Resilient Decentralized Synchronous Runtime Verification
Ganguly, Ritam, Kazemloo, Shokufeh, Bonakdarpour, Borzoo
Published in IEEE transactions on dependable and secure computing (01.05.2024)
Published in IEEE transactions on dependable and secure computing (01.05.2024)
Get full text
Journal Article
Loading…
MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
Ayerdi, Jon, Iriarte, Asier, Valle, Pablo, Roman, Ibai, Illarramendi, Miren, Arrieta, Aitor
Published in ACM transactions on software engineering and methodology (31.01.2025)
Published in ACM transactions on software engineering and methodology (31.01.2025)
Get full text
Journal Article
Loading…
Runtime-Coherence Tradeoffs for Hybrid Satisfiability Solvers
Eshaghian, Vahideh, Wilkening, Soren, Aberg, Johan, Gross, David
Published in IEEE transactions on quantum engineering (2025)
Published in IEEE transactions on quantum engineering (2025)
Get full text
Journal Article
Loading…
Runtime Analysis of the Compact Genetic Algorithm on the LeadingOnes Benchmark
Chwialkowski, Marcel, Doerr, Benjamin, Krejca, Martin S.
Published in IEEE transactions on evolutionary computation (10.03.2025)
Published in IEEE transactions on evolutionary computation (10.03.2025)
Get full text
Journal Article
Loading…
Runtime Resource Management with Multiple-Step-Ahead Workload Prediction
Niknafs, Mina, Eles, Petru, Peng, Zebo
Published in ACM transactions on embedded computing systems (24.07.2023)
Published in ACM transactions on embedded computing systems (24.07.2023)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Portfolio theorem proving and prover runtime prediction for geometry
Nikolic, Mladen, Marinkovic, Vesna, Kovaacs, Zoltan, Janicic, Predrag
Published in Annals of mathematics and artificial intelligence (01.04.2019)
Published in Annals of mathematics and artificial intelligence (01.04.2019)
Get full text
Journal Article
Loading…
Provably-Robust Runtime Monitoring of Neuron Activation Patterns
Cheng, Chih-Hong
Published in Proceedings - Design, Automation, and Test in Europe Conference and Exhibition (01.02.2021)
Published in Proceedings - Design, Automation, and Test in Europe Conference and Exhibition (01.02.2021)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Wear's my Data? Understanding the Cross-Device Runtime Permission Model in Wearables
Yeke, Doguhan, Ibrahim, Muhammad, Tuncay, Guliz Seray, Farrukh, Habiba, Imran, Abdullah, Bianchi, Antonio, Celik, Z. Berkay
Published in Proceedings - IEEE Symposium on Security and Privacy (19.05.2024)
Published in Proceedings - IEEE Symposium on Security and Privacy (19.05.2024)
Get full text
Conference Proceeding
Loading…
Crash-Resilient Decentralized Synchronous Runtime Verification
Kazemlou, Shokoufeh, Bonakdarpour, Borzoo
Published in 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS) (01.10.2018)
Published in 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS) (01.10.2018)
Get full text
Conference Proceeding
Loading…
Loading…
Runtime Scheduling, Allocation, and Execution of Real-Time Hardware Tasks onto Xilinx FPGAs Subject to Fault Occurrence
Iturbe, Xabier, Benkrid, Khaled, Hong, Chuan, Ebrahim, Ali, Arslan, Tughrul, Martinez, Imanol
Published in International Journal of Reconfigurable Computing (01.01.2013)
Published in International Journal of Reconfigurable Computing (01.01.2013)
Get full text
Journal Article
Loading…
Leave Me Alone: App-Level Protection against Runtime Information Gathering on Android
Nan Zhang, Kan Yuan, Naveed, Muhammad, Xiaoyong Zhou, Xiaofeng Wang
Published in Proceedings - IEEE Symposium on Security and Privacy (01.05.2015)
Published in Proceedings - IEEE Symposium on Security and Privacy (01.05.2015)
Get full text
Conference Proceeding
Loading…