Search results for "runtime"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Sean Anderson, Allison Naaktgeboren, Andrew Tolmach	Flexible Runtime Security Enforcement with Tagged C.	RV	2023	DBLP DOI BibTeX RDF
18	Paloma Pedregal, Felipe Gorostiaga, César Sánchez 0001	A Stream Runtime Verification Tool with Nested and Retroactive Parametrization.	RV	2023	DBLP DOI BibTeX RDF
18	Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan	Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods).	RV	2023	DBLP DOI BibTeX RDF
18	Ferruccio Damiani, Gianluca Torta	On Stream Runtime Verification and Aggregate Programming.	VORTEX@ISSTA	2023	DBLP DOI BibTeX RDF
18	Giorgio Audrito, Daniel Haures	Combining Static and Runtime Verification with AC and Coq.	VORTEX@ISSTA	2023	DBLP DOI BibTeX RDF
18	Angelo Ferrando 0001, Andrea Gatti 0002, Viviana Mascardi	RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa.	VORTEX@ISSTA	2023	DBLP DOI BibTeX RDF
18	Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace	AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification.	RV	2022	DBLP DOI BibTeX RDF
18	Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider	Runtime Verification of Kotlin Coroutines.	RV	2022	DBLP DOI BibTeX RDF
18	Hannes Kallwies, Martin Leucker, Malte Schmitz 0001, Albert Schulz, Daniel Thoma, Alexander Weiss	TeSSLa - An Ecosystem for Runtime Verification.	RV	2022	DBLP DOI BibTeX RDF
18	Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace	Tainting in Smart Contracts: Combining Static and Runtime Verification.	RV	2022	DBLP DOI BibTeX RDF
18	Muhammad Usman 0024, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu	Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks.	RV	2022	DBLP DOI BibTeX RDF
18	Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty	Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring.	RV	2022	DBLP DOI BibTeX RDF
18	Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros	Runtime Verification for FMI-Based Co-simulation.	RV	2022	DBLP DOI BibTeX RDF
18	Jean-Christophe Filliâtre, Clément Pascutto	Optimizing Prestate Copies in Runtime Verification of Function Postconditions.	RV	2022	DBLP DOI BibTeX RDF
18	Yu Pei, George Bosilca, Jack J. Dongarra	Sequential Task Flow Runtime Model Improvements and Limitations.	ROSS	2022	DBLP DOI BibTeX RDF
18	Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta	Assumption-Based Runtime Verification of Infinite-State Systems.	RV	2021	DBLP DOI BibTeX RDF
18	Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia	Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance.	RV	2021	DBLP DOI BibTeX RDF
18	Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti	Specification and Runtime Verification of Temporal Assessments in Simulink.	RV	2021	DBLP DOI BibTeX RDF
18	Jean-Christophe Filliâtre, Clément Pascutto	Ortac: Runtime Assertion Checking for OCaml (Tool Paper).	RV	2021	DBLP DOI BibTeX RDF
18	Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis	Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks.	RV	2021	DBLP DOI BibTeX RDF
18	Axel Curmi, Christian Colombo 0001, Mark Vella	Runtime verification for trustworthy secure shell deployment.	VORTEX@ISSTA	2021	DBLP DOI BibTeX RDF
18	Julien Signoles	The e-ACSL perspective on runtime assertion checking.	VORTEX@ISSTA	2021	DBLP DOI BibTeX RDF
18	Angelo Ferrando 0001, Rafael C. Cardoso 0001	RVPLAN: a general purpose framework for replanning using runtime verification.	VORTEX@ISSTA	2021	DBLP DOI BibTeX RDF
18	César Sánchez 0001	Synchronous and asynchronous stream runtime verification.	VORTEX@ISSTA	2021	DBLP DOI BibTeX RDF
18	Robert Heinrich	Architectural runtime models for integrating runtime observations and component-based models.	J. Syst. Softw.	2020	DBLP DOI BibTeX RDF
18	Michael Burger 0001, Giang Nam Nguyen, Christian H. Bischof	Developing Models for the Runtime of Programs With Exponential Runtime Behavior.	PMBS@SC	2020	DBLP DOI BibTeX RDF
18	Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles	Efficient Runtime Assertion Checking for Properties over Mathematical Numbers.	RV	2020	DBLP DOI BibTeX RDF
18	Yanhong A. Liu, Scott D. Stoller	Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness.	RV	2020	DBLP DOI BibTeX RDF
18	Felipe Gorostiaga, Luis Miguel Danielsson, César Sánchez 0001	Unifying the Time-Event Spectrum for Stream Runtime Verification.	RV	2020	DBLP DOI BibTeX RDF
18	Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li 0001	Runtime-Safety-Guided Policy Repair.	RV	2020	DBLP DOI BibTeX RDF
18	Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang 0015, Chung-Wei Lin, Eunsuk Kang, Qi Zhu 0002	Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring.	RV	2020	DBLP DOI BibTeX RDF
18	Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz	Actor-Based Runtime Verification with MESA.	RV	2020	DBLP DOI BibTeX RDF
18	Klaus Havelund, Doron Peled	BDDs for Representing Data in Runtime Verification.	RV	2020	DBLP DOI BibTeX RDF
18	Benedikt Maderbacher, Anja F. Karl, Roderick Bloem	Placement of Runtime Checks to Counteract Fault Injections.	RV	2020	DBLP DOI BibTeX RDF
18	Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros	Runtime Verification of Autonomous Driving Systems in CARLA.	RV	2020	DBLP DOI BibTeX RDF
18	Sven Köhler 0004, Benedict Herzog, Timo Hönig, Lukas Wenzel, Max Plauth, Jörg Nolte, Andreas Polze, Wolfgang Schröder-Preikschat	Pinpoint the Joules: Unifying Runtime-Support for Energy Measurements on Heterogeneous Systems.	ROSS@SC	2020	DBLP DOI BibTeX RDF
18	Jirí Dokulil	Consistency model for runtime objects in the Open Community Runtime.	J. Supercomput.	2019	DBLP DOI BibTeX RDF
18	Luca Franceschini	RML: runtime monitoring language: a system-agnostic DSL for runtime verification.	Programming	2019	DBLP DOI BibTeX RDF
18	Bibek Wagle, Mohammad Alaul Haque Monil, Kevin A. Huck, Allen D. Malony, Adrian Serio, Hartmut Kaiser	Runtime Adaptive Task Inlining on Asynchronous Multitasking Runtime Systems.	ICPP	2019	DBLP DOI BibTeX RDF
18	Teng Zhang, Greg Eakman, Insup Lee 0001, Oleg Sokolsky	Overhead-Aware Deployment of Runtime Monitors.	RV	2019	DBLP DOI BibTeX RDF
18	Klaus Havelund, Doron Peled	An Extension of LTL with Rules and Its Application to Runtime Verification.	RV	2019	DBLP DOI BibTeX RDF
18	Luis Miguel Danielsson, César Sánchez 0001	Decentralized Stream Runtime Verification.	RV	2019	DBLP DOI BibTeX RDF
18	Dogan Ulus, Calin Belta	Reactive Control Meets Runtime Verification: A Case Study of Navigation.	RV	2019	DBLP DOI BibTeX RDF
18	Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan 0001	Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.	RV	2019	DBLP DOI BibTeX RDF
18	Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta	NuRV: A nuXmv Extension for Runtime Verification.	RV	2019	DBLP DOI BibTeX RDF
18	Martin Leucker, César Sánchez 0001, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma	Runtime Verification for Timed Event Streams with Partial Information.	RV	2019	DBLP DOI BibTeX RDF
18	Hansol Yoon, Yi Chou, Xin Chen 0002, Eric W. Frew, Sriram Sankaranarayanan 0001	Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs.	RV	2019	DBLP DOI BibTeX RDF
18	Yliès Falcone, Srinivas Pinisetty	On the Runtime Enforcement of Timed Properties.	RV	2019	DBLP DOI BibTeX RDF
18	Reza Babaee, Vijay Ganesh, Sean Sedwards	Accelerated Learning of Predictive Runtime Monitors for Rare Failure.	RV	2019	DBLP DOI BibTeX RDF
18	Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta	Assumption-Based Runtime Verification with Partial Observability and Resets.	RV	2019	DBLP DOI BibTeX RDF
18	Manuel Wimmer	From Design-Time to Runtime and Back Again with Liquid Models.	STAF (Co-Located Events)	2019	DBLP BibTeX RDF
18	Miren Illarramendi Rezabal, Felix Larrinaga, Jose Maria Perez, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui	MDE based IoT Service to enhance the safety of controllers at runtime.	STAF (Co-Located Events)	2019	DBLP BibTeX RDF
18	Martin Gogolla, Nisha Desai 0001, Khanh-Hoang Doan	Developing User and Recording Interfaces for Design Time and Runtime Models.	STAF (Co-Located Events)	2019	DBLP BibTeX RDF
18	Daniele Di Pompeo, Michele Tucci 0001, Alessandro Celi, Romina Eramo	A Microservice Reference Case Study for Design-Runtime Interaction in MDE.	STAF (Co-Located Events)	2019	DBLP BibTeX RDF
18	Ryan D. Friese, Antonino Tumeo, Roberto Gioiosa, Mark Raugas, Thomas Warfel	Advert: An Asynchronous Runtime for Fine-Grained Network Systems.	IPDRM@SC	2019	DBLP DOI BibTeX RDF
18	Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Abel Gómez 0001, Jesús Gorroñogoitia, Luigi Pomante, Pavel Smrz	The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systems.	Microprocess. Microsystems	2018	DBLP DOI BibTeX RDF
18	Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli	On Distributed Runtime Verification by Aggregate Computing.	VORTEX@ECOOP/ISSTA	2018	DBLP DOI BibTeX RDF
18	Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn	Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors.	VORTEX@ECOOP/ISSTA	2018	DBLP DOI BibTeX RDF
18	Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi	Property-Driven Runtime Resolution of Feature Interactions.	RV	2018	DBLP DOI BibTeX RDF
18	Antoine El-Hokayem, Yliès Falcone	Bringing Runtime Verification Home.	RV	2018	DBLP DOI BibTeX RDF
18	Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma, Alexander Weiss	Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing.	RV	2018	DBLP DOI BibTeX RDF
18	César Sánchez 0001	Online and Offline Stream Runtime Verification of Synchronous Systems.	RV	2018	DBLP DOI BibTeX RDF
18	Klaus Havelund, Doron Peled	Runtime Verification: From Propositional to First-Order Temporal Logic.	RV	2018	DBLP DOI BibTeX RDF
18	Klaus Havelund, Grigore Rosu	Runtime Verification - 17 Years Later.	RV	2018	DBLP DOI BibTeX RDF
18	Yliès Falcone	Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections.	RV	2018	DBLP DOI BibTeX RDF
18	Felipe Gorostiaga, César Sánchez 0001	Striver: Stream Runtime Verification for Real-Time Event-Streams.	RV	2018	DBLP DOI BibTeX RDF
18	Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel	A Taxonomy for Classifying Runtime Verification Tools.	RV	2018	DBLP DOI BibTeX RDF
18	Christian Colombo 0001, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez 0001, Gerardo Schneider, Volker Stolz	COST Action IC1402 Runtime Verification Beyond Monitoring.	RV	2018	DBLP DOI BibTeX RDF
18	Timo Hönig, Christopher Eibel, Adam Wagenhäuser, Maximilian Wagner, Wolfgang Schröder-Preikschat	How to Make Profit: Exploiting Fluctuating Electricity Prices with Albatross, A Runtime System for Heterogeneous HPC Clusters.	ROSS@HPDC	2018	DBLP DOI BibTeX RDF
18	Hugo Miomandre, Julien Hascoët, Karol Desnos, Kevin J. M. Martin, Benoît Dupont de Dinechin, Jean-François Nezan	Embedded Runtime for Reconfigurable Dataflow Graphs on Manycore Architectures.	PARMA-DITAM@HiPEAC	2018	DBLP DOI BibTeX RDF
18	Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, Evilásio Costa Junior	Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
18	Florian Frohn, Jürgen Giesl	Analyzing Runtime Complexity via Innermost Runtime Complexity.	LPAR	2017	DBLP DOI BibTeX RDF
18	Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz	The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems.	DSD	2017	DBLP DOI BibTeX RDF
18	Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget	Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification.	ISSRE	2017	DBLP DOI BibTeX RDF
18	Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, Evilásio Costa Junior	Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems.	SEAMS@ICSE	2017	DBLP DOI BibTeX RDF
18	Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia	Combining Model Checking and Runtime Verification for Safe Robotics.	RV	2017	DBLP DOI BibTeX RDF
18	Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens	Stream Runtime Monitoring on UAS.	RV	2017	DBLP DOI BibTeX RDF
18	Shaun Azzopardi, Christian Colombo 0001, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace	Runtime Verification using VALOUR.	RV-CuBES	2017	DBLP DOI BibTeX RDF
18	Julien Signoles	Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper).	RV-CuBES	2017	DBLP DOI BibTeX RDF
18	Shuo Chen 0001, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer	SVAuth - A Single-Sign-On Integration Solution with Runtime Verification.	RV	2017	DBLP DOI BibTeX RDF
18	Katarína Kejstová, Petr Rockai, Jiri Barnat	From Model Checking to Runtime Verification and Back.	RV	2017	DBLP DOI BibTeX RDF
18	Björn Andersson, Sagar Chaki, Dionisio de Niz	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.	RV	2017	DBLP DOI BibTeX RDF
18	Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov	E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper).	RV-CuBES	2017	DBLP DOI BibTeX RDF
18	Christian Colombo 0001, Gordon J. Pace	Runtime Verification using LARVA.	RV-CuBES	2017	DBLP DOI BibTeX RDF
18	Chafik Meniar, Florence Opalvens, Sylvain Hallé	Runtime Verification of User Interface Guidelines in Mobile Devices.	RV	2017	DBLP DOI BibTeX RDF
18	Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir	A Foundation for Runtime Monitoring.	RV	2017	DBLP DOI BibTeX RDF
18	Hassan Salehe Matar, Serdar Tasiran, Didem Unat	EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM.	RV	2017	DBLP DOI BibTeX RDF
18	Kristin Yvonne Rozier	On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems.	RV-CuBES	2017	DBLP DOI BibTeX RDF
18	Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson	Runtime Detection of Temporal Memory Errors.	RV	2017	DBLP DOI BibTeX RDF
18	Arthur B. Maccabe	Operating and Runtime Systems Challenges for HPC Systems.	ROSS@HPDC	2017	DBLP DOI BibTeX RDF
18	Stefano Pepi, Alessandro Fantechi	Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System.	MODELSWARD (Revised Selected Papers)	2016	DBLP DOI BibTeX RDF
18	Björn Cassens, Arthur Martens, Rüdiger Kapitza	The Neverending Runtime: Using new Technologies for Ultra-Low Power Applications with an Unlimited Runtime.	EWSN	2016	DBLP BibTeX RDF
18	Timothy G. Mattson, Romain Cledat, Vincent Cavé, Vivek Sarkar, Zoran Budimlic, Sanjay Chatterjee, Joshua B. Fryman, Ivan Ganev, Robin Knauerhase, Min Lee, Benoît Meister, Brian Nickerson, Nick Pepperling, Bala Seshasayee, Sagnak Tasirlar, Justin Teller, Nick Vrvilo	The Open Community Runtime: A runtime system for extreme scale computing.	HPEC	2016	DBLP DOI BibTeX RDF
18	Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue 0001, Lei Ma 0003, Yoshinori Tanabe, Mitsuharu Yamamoto	Runtime Monitoring for Concurrent Systems.	RV	2016	DBLP DOI BibTeX RDF
18	Carl Martin Rosenberg, Martin Steffen, Volker Stolz	Leveraging DTrace for Runtime Verification.	RV	2016	DBLP DOI BibTeX RDF
18	Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman	Runtime Visualization and Verification in JIVE.	RV	2016	DBLP DOI BibTeX RDF
18	Fernando Macías, Torben Scheffel, Malte Schmitz 0001, Rui Wang	Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper).	RV	2016	DBLP DOI BibTeX RDF
18	Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi	Accelerated Runtime Verification of LTL Specifications with Counting Semantics.	RV	2016	DBLP DOI BibTeX RDF
18	Carlos Moreno 0002, Sebastian Fischmeister	Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace.	RV	2016	DBLP DOI BibTeX RDF
18	Oded Maler	Some Thoughts on Runtime Verification.	RV	2016	DBLP DOI BibTeX RDF