Search results for "runtime"

Hits ?▲	Authors	Title	Venue	Year	Link
9	Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles	Sound Runtime Assertion Checking for Memory Properties via Program Transformation.	Formal Aspects Comput.	2024	DBLP DOI BibTeX RDF
9	Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller	JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking.	Formal Aspects Comput.	2024	DBLP DOI BibTeX RDF
9	Xugui Zhou, Bulbul Ahmed, James H. Aylor, Philip Asare, Homa Alemzadeh	Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems.	IEEE Trans. Dependable Secur. Comput.	2024	DBLP DOI BibTeX RDF
9	Juan Fumero, Athanasios Stratikopoulos, Christos Kotselidis	Programming Heterogeneous Hardware via Managed Runtime Systems		2024	DOI RDF
9	Dimosthenis Iliadis-Apostolidis, Khalid Manaa, Matty Kadosh, Iacovos Ioannou, Vasos Vassiliou, Sokol Kosta, Juan Jose Vegas Olmos	Towards Accelerating the Network Performance on DPUs by optimising the P4 runtime.	PDP	2024	DBLP DOI BibTeX RDF
9	Javier Rubio, Carlos Bilbao, Juan Carlos Saez, Manuel Prieto-Matías	Exploiting Elasticity via OS-Runtime Cooperation to Improve CPU Utilization in Multicore Systems.	PDP	2024	DBLP DOI BibTeX RDF
9	Silvio Cretti, Marco Zambianco, Domenico Siracusa	Demonstrating Runtime Microservice Rescheduling in Hybrid Clouds for Cost Minimization.	ICIN	2024	DBLP DOI BibTeX RDF
9	Marco Zambianco, Silvio Cretti, Domenico Siracusa	Cost Minimization in Multi-cloud Systems with Runtime Microservice Re-orchestration.	ICIN	2024	DBLP DOI BibTeX RDF
9	Dongjoon Park, André DeHon	REFINE: Runtime Execution Feedback for INcremental Evolution on FPGA Designs.	FPGA	2024	DBLP DOI BibTeX RDF
9	Ryan Swann, Muhammad Osama, Karthik Sangaiah, Jalal Mahmud	Seer: Predictive Runtime Kernel Selection for Irregular Problems.	CGO	2024	DBLP DOI BibTeX RDF
9	Praanav Paatil, Daryna Datsenko, Mário Cardoso, Ana Sousa, André Matos Pedro	STRIVE: A Co-Simulation-Based Testing Platform Enhanced with Runtime Monitors.	COMSNETS	2024	DBLP DOI BibTeX RDF
9	Marc Carwehl, Thomas Vogel 0001, Genaína Nunes Rodrigues, Lars Grunske	Runtime Verification of Self-Adaptive Systems with Changing Requirements.	Software Engineering	2024	DBLP DOI BibTeX RDF
9	Qinzhe Wu, Ruihao Li 0002, Jonathan Beard, Lizy Kurian John	BLQ: Light-Weight Locality-Aware Runtime for Blocking-Less Queuing.	CC	2024	DBLP DOI BibTeX RDF
9	Pekka Enberg, Sasu Tarkoma, Jon Crowcroft, Ashwin Rao	Serverless Runtime / Database Co-Design With Asynchronous I/O.	EdgeSys@EuroSys	2024	DBLP DOI BibTeX RDF
9	Olaf Beyersdorff, Benjamin Böhm 0001, Meena Mahajan	Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs.	AAAI	2024	DBLP DOI BibTeX RDF
9	Weijie Zheng 0001, Benjamin Doerr	Runtime Analysis of the SMS-EMOA for Many-Objective Optimization.	AAAI	2024	DBLP DOI BibTeX RDF
9	Benjamin Doerr, Aymen Echarghaoui, Mohammed Jamal, Martin S. Krejca	Runtime Analysis of the (μ + 1) GA: Provable Speed-Ups from Strong Drift towards Diverse Populations.	AAAI	2024	DBLP DOI BibTeX RDF
9	Nobutaka Kawaguchi, Charlie Hart	On the Deployment Control and Runtime Monitoring of Containers Based on Consumer Side SBOMs.	CCNC	2024	DBLP DOI BibTeX RDF
9	Chien-Yu Lu, Bo-Jr Huang, Min-Chieh Chen, Ollie Tsai, Alfred Tsai, Eric Jia-Wei Fang, Yuju Cho, Harry H. Chen, Ping Kao, Ericbill Wang, Hugh Mair, Shih-Arn Hwang	14.4 A Fully Digital Current Sensor Offering Per-Core Runtime Power for System Budgeting in a 4nm-Plus Octa-Core CPU.	ISSCC	2024	DBLP DOI BibTeX RDF
9	Jonathan Will, Dominik Scheinert, Seraphin Zunzer, Jan Bode, Cedric Kring, Lauritz Thamsen	Privacy-Preserving Sharing of Data Analytics Runtime Metrics for Performance Modeling.	ICPE (Companion)	2024	DBLP DOI BibTeX RDF
9	Federico Di Menna, Luca Traini, Vittorio Cortellessa	Time Series Forecasting of Runtime Software Metrics: An Empirical Study.	ICPE	2024	DBLP DOI BibTeX RDF
9	Ruichao Liang, Jing Chen 0003, Kun He 0008, Yueming Wu, Gelei Deng, Ruiying Du, Cong Wu 0003	PonziGuard: Detecting Ponzi Schemes on Ethereum with Contract Runtime Behavior Graph (CRBG).	ICSE	2024	DBLP DOI BibTeX RDF
9	Pingchuan Ma 0004, Zhenlan Ji, Peisen Yao, Shuai Wang 0011, Kui Ren 0001	Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning.	ICSE	2024	DBLP DOI BibTeX RDF
9	Francesco Lattari, Matteo Matteucci, Danilo Ardagna	AI-SPRINT: Design and Runtime Framework for Accelerating the Development of AI Applications in the Computing Continuum.	AINA (5)	2024	DBLP DOI BibTeX RDF
9	Luís Nascimento, André Luíz de Oliveira, Regina Villela 0001, Ran Wei, Richard Hawkins, Tim Kelly	From Fault Tree Analysis to Runtime Model-Based Assurance Cases.	AINA (2)	2024	DBLP DOI BibTeX RDF
9	Subashiny Tanigassalame, Yohan Pipereau, Adam Chader, Jana Toljaga, Gaël Thomas 0001	FastSGX: A Message-Passing Based Runtime for SGX.	AINA (4)	2024	DBLP DOI BibTeX RDF
9	Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis	TP-DejaVu: Combining Operational and Declarative Runtime Verification.	VMCAI (2)	2024	DBLP DOI BibTeX RDF
9	Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund	Formal Runtime Error Detection During Development in the Automotive Industry.	VMCAI (1)	2024	DBLP DOI BibTeX RDF
9	Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani	The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction.	HRI (Companion)	2024	DBLP DOI BibTeX RDF
9	Eren Yildiz, Khakim Akhunov, Lorenzo Antonio Riva, Arda Goknil, Ivan Kurtev, Kasim Sinan Yildirim	Adaptable Runtime Monitoring for Intermittent Systems.	EuroSys	2024	DBLP DOI BibTeX RDF
9	Armand Behroozi, Yuxiang Chen, Vlad Fruchter, Lavanya Subramanian, Sriseshan Srikanth, Scott A. Mahlke	SlimSLAM: An Adaptive Runtime for Visual-Inertial Simultaneous Localization and Mapping.	ASPLOS (3)	2024	DBLP DOI BibTeX RDF
9	Yuxuan Zhang, Nathan Sobotka, Soyoon Park, Saba Jamilan, Tanvir Ahmed Khan, Baris Kasikci, Gilles A. Pokam, Heiner Litz, Joseph Devietti	RPG2: Robust Profile-Guided Runtime Prefetch Generation.	ASPLOS (2)	2024	DBLP DOI BibTeX RDF
9	Mohannad Ismail, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min, Wenjie Xiong 0001	Enforcing C/C++ Type and Scope at Runtime for Control-Flow and Data-Flow Integrity.	ASPLOS (3)	2024	DBLP DOI BibTeX RDF
9	Yliès Falcone, Gwen Salaün, Ahang Zuo	Probabilistic Runtime Enforcement of Executable BPMN Processes.	FASE	2024	DBLP DOI BibTeX RDF
9	Ryan G. Scott, Mike Dodds, Ivan Perez 0001, Alwyn E. Goodloe, Robert Dockins	Trustworthy Runtime Verification via Bisimulation (Experience Report).	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
9	Xiaoyu Chen, Xiaoning Kang, Ran Jin, Xinwei Deng	Bayesian Sparse Regression for Mixed Multi-Responses with Application to Runtime Metrics Prediction in Fog Manufacturing.	Technometrics	2023	DBLP DOI BibTeX RDF
9	Xinsheng Lai, Yuren Zhou	Runtime analysis of some hybrid algorithms.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
9	Yanfei Peng, Guozhen Tan, Huaiwei Si	RTA-IR: A runtime assurance framework for behavior planning based on imitation learning and responsibility-sensitive safety model.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
9	Yongan Mu, Wei Liu, Tao Lu, Juan Li, Sheng Gao, Zihao Wang	Runtime verification of self-adaptive multi-agent system using probabilistic timed automata.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
9	Sumeet Singh Nagi, Uneeb Rathore, Krutikesh Sahoo, Tim Ling, Subramanian S. Iyer, Dejan Markovic	A 16-nm 784-Core Digital Signal Processor Array, Assembled as a 2 × 2 Dielet With 10-μm Pitch Interdielet I/O for Runtime Multiprogram Reconfiguration.	IEEE J. Solid State Circuits	2023	DBLP DOI BibTeX RDF
9	Jason Mars, Yiping Kang, Roland Daynauth, Baichuan Li, Ashish Mahendra, Krisztián Flautner, Lingjia Tang	The Jaseci Programming Paradigm and Runtime Stack: Building Scale-Out Production Applications Easy and Fast.	IEEE Comput. Archit. Lett.	2023	DBLP DOI BibTeX RDF
9	Soohyun Park, Hao Feng 0002, Chanyoung Park, Youn Kyu Lee, Soyi Jung, Joongheon Kim	EQuaTE: Efficient Quantum Train Engine for Runtime Dynamic Analysis and Visual Feedback in Autonomous Driving.	IEEE Internet Comput.	2023	DBLP DOI BibTeX RDF
9	Benjamin Doerr, Zhongdi Qu	A First Runtime Analysis of the NSGA-II on a Multimodal Problem.	IEEE Trans. Evol. Comput.	2023	DBLP DOI BibTeX RDF
9	Ruggero Lanotte, Massimo Merro, Andrei Munteanu	Industrial Control Systems Security via Runtime Enforcement.	ACM Trans. Priv. Secur.	2023	DBLP DOI BibTeX RDF
9	Alex R. Bucknall, Suhaib A. Fahmy	ZyPR: End-to-end Build Tool and Runtime Manager for Partial Reconfiguration of FPGA SoCs at the Edge.	ACM Trans. Reconfigurable Technol. Syst.	2023	DBLP DOI BibTeX RDF
9	Lucas Bragança, Michael Canesche, Jeronimo Costa Penha, Josué Campos, José Augusto Miranda Nacif, Ricardo S. Ferreira 0001	Fast flow cloud: A stream dataflow framework for cloud FPGA accelerator overlays at runtime.	Concurr. Comput. Pract. Exp.	2023	DBLP DOI BibTeX RDF
9	Dongil Hwang, Sanzhar Yeleuov, Jiwon Seo, Minu Chung, Hyungon Moon, Yunheung Paek	Ambassy: A Runtime Framework to Delegate Trusted Applications in an ARM/FPGA Hybrid System.	IEEE Trans. Mob. Comput.	2023	DBLP DOI BibTeX RDF
9	Lok-Won Kim, Quang Hieu Vo, Choong Seon Hong	Runtime Testability on Autonomous System.	IEEE Trans. Reliab.	2023	DBLP DOI BibTeX RDF
9	Yuhao Liu, Shubham Rai, Salim Ullah, Akash Kumar 0001	High-Flexibility Designs of Quantized Runtime Reconfigurable Multi-Precision Multipliers.	IEEE Embed. Syst. Lett.	2023	DBLP DOI BibTeX RDF
9	Hassan Nassar, Lars Bauer, Jörg Henkel	Effects of Runtime Reconfiguration on PUFs Implemented as FPGA-Based Accelerators.	IEEE Embed. Syst. Lett.	2023	DBLP DOI BibTeX RDF
9	Mengqi Zhan, Yang Li, Huiran Yang, Guangxi Yu, Bo Li 0063, Weiping Wang 0005	Coda: Runtime Detection of Application-Layer CPU-Exhaustion DoS Attacks in Containers.	IEEE Trans. Serv. Comput.	2023	DBLP DOI BibTeX RDF
9	Björn Rafn Gunnarsson, Seppe vanden Broucke, Jochen De Weerdt	A Direct Data Aware LSTM Neural Network Architecture for Complete Remaining Trace and Runtime Prediction.	IEEE Trans. Serv. Comput.	2023	DBLP DOI BibTeX RDF
9	Christoph Gärtner, Amr Rizk, Boris Koldehofe, René Guillaume, Ralf Kundel, Ralf Steinmetz	Fast incremental reconfiguration of dynamic time-sensitive networks at runtime.	Comput. Networks	2023	DBLP DOI BibTeX RDF
9	Michal Kucab, Piotr Borylo, Piotr Cholda	Hardware-Assisted Static and Runtime Attestation for Cloud Deployments.	IEEE Trans. Cloud Comput.	2023	DBLP DOI BibTeX RDF
9	Zisis Flokas, Anastasios Gounaris	Engineering Runtime Root Cause Analysis of Detected Anomalies.	Trans. Large Scale Data Knowl. Centered Syst.	2023	DBLP DOI BibTeX RDF
9	Tiago Carvalho, João Bispo, Pedro Pinto 0002, João M. P. Cardoso	A DSL-based runtime adaptivity framework for Java.	SoftwareX	2023	DBLP DOI BibTeX RDF
9	Garrett Parker, Samuel Kim, Abdullah Al Maruf, Tomás Cerný, Karel Frajták, Pavel Tisnovsky, Davide Taibi 0001	Visualizing Anti-Patterns in Microservices at Runtime: A Systematic Mapping Study.	IEEE Access	2023	DBLP DOI BibTeX RDF
9	Seungmin Lee, Jisu Kwon, Daejin Park	Runtime Tracking-Based Replication of On-Chip Embedded Software Using Transfer Function Learning for Dust Particle Sensing Systems.	IEEE Access	2023	DBLP DOI BibTeX RDF
9	Jeonggyu Jang, Hoeseok Yang	A Runtime Switchable Multi-Phase Convolutional Neural Network for Resource-Constrained Systems.	IEEE Access	2023	DBLP DOI BibTeX RDF
9	Luis Miguel Danielsson, César Sánchez 0001	Decentralized Stream Runtime Verification for Timed Asynchronous Networks.	IEEE Access	2023	DBLP DOI BibTeX RDF
9	Hongyan Li, Hang Lu, Haoxuan Wang, Shengji Deng, Xiaowei Li 0001	BitXpro: Regularity-Aware Hardware Runtime Pruning for Deep Neural Networks.	IEEE Trans. Very Large Scale Integr. Syst.	2023	DBLP DOI BibTeX RDF
9	Marcos Maroñas, Antoni C. Navarro, Eduard Ayguadé, Vicenç Beltran 0001	Mitigating the NUMA effect on task-based runtime systems.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
9	Fengxian Chen	Job runtime prediction of HPC cluster based on PC-Transformer.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
9	Polykarpos Thomadakis, Nikos Chrisochoides	Toward runtime support for unstructured and dynamic exascale-era applications.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
9	Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton D. Hristozov, Bruno Sinopoli	Runtime System Support for CPS Software Rejuvenation.	IEEE Trans. Emerg. Top. Comput.	2023	DBLP DOI BibTeX RDF
9	Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi	Decentralized runtime verification of message sequences in message-based systems.	Acta Informatica	2023	DBLP DOI BibTeX RDF
9	Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir	On first-order runtime enforcement of branching-time properties.	Acta Informatica	2023	DBLP DOI BibTeX RDF
9	Hassan Afzali-Kusha, Massoud Pedram	X-NVDLA: Runtime Accuracy Configurable NVDLA Based on Applying Voltage Overscaling to Computing and Memory Units.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
9	Pedro Tauã Lopes Pereira, Guilherme Paim, Eduardo Antônio César da Costa, Sérgio Jose Melo de Almeida, Sergio Bampi	ReAdapt: A Reconfigurable Datapath for Runtime Energy-Quality Scalable Adaptive Filters.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
9	Andreas Kipf	Technical Perspective: Revisiting Runtime Dynamic Optimization for Join Queries in Big Data Management Systems.	SIGMOD Rec.	2023	DBLP DOI BibTeX RDF
9	Christina Pavlopoulou, Michael J. Carey 0001, Vassilis J. Tsotras	Revisiting Runtime Dynamic Optimization for Join Queries in Big Data Management Systems.	SIGMOD Rec.	2023	DBLP DOI BibTeX RDF
9	Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid 0001, Anja Feldmann	Runtime Verification for Programmable Switches.	IEEE/ACM Trans. Netw.	2023	DBLP DOI BibTeX RDF
9	Weijie Zheng 0001, Benjamin Doerr	Mathematical runtime analysis for the non-dominated sorting genetic algorithm II (NSGA-II).	Artif. Intell.	2023	DBLP DOI BibTeX RDF
9	Fabian Knorr, Peter Thoman, Thomas Fahringer	Declarative Data Flow in a Graph-Based Distributed Memory Runtime System.	Int. J. Parallel Program.	2023	DBLP DOI BibTeX RDF
9	Qiang Liu 0011, Yuhui Hao, Weizhuang Liu, Bo Yu 0014, Yiming Gan, Jie Tang 0003, Shaoshan Liu, Yuhao Zhu 0001	An Energy Efficient and Runtime Reconfigurable Accelerator for Robotic Localization.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
9	Lidia Bononi Paiva Tomaz, Rita Maria da Silva Julia, Matheus Prado Prandini Faria	ADABA: improving the balancing between runtime and accuracy in a new distributed version of the alpha-beta algorithm.	Artif. Intell. Rev.	2023	DBLP DOI BibTeX RDF
9	Bin Yu 0008, Cong Tian, Xu Lu 0003, Nan Zhang 0001, Zhenhua Duan	A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties.	IEEE Trans. Parallel Distributed Syst.	2023	DBLP DOI BibTeX RDF
9	Weidong Wang, Dian Li, Wangda Luo, Yujian Kang, Liqiang Wang	Anthropomorphic diagnosis of runtime hidden behaviors in OpenMP multi-threaded applications.	J. Parallel Distributed Comput.	2023	DBLP DOI BibTeX RDF
9	Wenxiang Yang, Xiangke Liao, Dezun Dong, Jie Yu 0006	Exploring job running path to predict runtime on multiple production supercomputers.	J. Parallel Distributed Comput.	2023	DBLP DOI BibTeX RDF
9	Rania Taleb, Sylvain Hallé, Raphaël Khoury	Uncertainty in runtime verification: A survey.	Comput. Sci. Rev.	2023	DBLP DOI BibTeX RDF
9	Siamak Azadiabad, Ferhat Khendek, Maria Toeroe	Runtime Adaptation Framework for Fulfilling Availability and Continuity Requirements of Network Services.	IEEE Trans. Netw. Serv. Manag.	2023	DBLP DOI BibTeX RDF
9	Bin Yu 0008, Xu Lu 0003, Cong Tian, Meng Wang 0021, Chu Chen, Ming Lei 0003, Zhenhua Duan	Adaptively parallel runtime verification based on distributed network for temporal properties.	Parallel Comput.	2023	DBLP DOI BibTeX RDF
9	Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia	Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
9	Kejun Chen, Orlando Arias, Xiaolong Guo, Qingxu Deng, Yier Jin	IP-Tag: Tag-Based Runtime 3PIP Hardware Trojan Detection in SoC Platforms.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
9	Yuxuan Qin, Chuxiong Lin, Weifeng He, Yanan Sun 0003, Zhigang Mao, Mingoo Seok	CDAR-DRAM: Enabling Runtime DRAM Performance and Energy Optimization via In-Situ Charge Detection and Adaptive Data Restoration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
9	Seungkyu Choi, Jaekang Shin, Lee-Sup Kim	Accelerating On-Device DNN Training Workloads via Runtime Convergence Monitor.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
9	Petros Anastasiadis, Nikela Papadopoulou, Georgios I. Goumas, Nectarios Koziris, Dennis Hoppe, Li Zhong	PARALiA: A Performance Aware Runtime for Auto-tuning Linear Algebra on Heterogeneous Systems.	ACM Trans. Archit. Code Optim.	2023	DBLP DOI BibTeX RDF
9	Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra	Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime.	ACM Trans. Auton. Adapt. Syst.	2023	DBLP DOI BibTeX RDF
9	Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov	Runtime Verification of Operating Systems Based on Abstract Models.	Program. Comput. Softw.	2023	DBLP DOI BibTeX RDF
9	Jyotirmoy Deshmukh, Dejan Nickovic	Introduction to the Special Issue on Runtime Verification.	Int. J. Softw. Tools Technol. Transf.	2023	DBLP DOI BibTeX RDF
9	Lu Feng 0001, Dana Fisman	Introduction to the Special Issue on Runtime Verification.	Int. J. Softw. Tools Technol. Transf.	2023	DBLP DOI BibTeX RDF
9	Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz	Concurrent runtime verification of data rich events.	Int. J. Softw. Tools Technol. Transf.	2023	DBLP DOI BibTeX RDF
9	Chih-Hsuan Yen, Hashan Roshantha Mendis, Tei-Wei Kuo, Pi-Cheng Hsiu	Keep in Balance: Runtime-reconfigurable Intermittent Deep Inference.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
9	Mina Niknafs, Petru Eles, Zebo Peng	Runtime Resource Management with Multiple-Step-Ahead Workload Prediction.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
9	Elliott Wen, Gerald Weber, Suranga Nanayakkara	WasmAndroid: A Cross-Platform Runtime for Native Programming Languages on Android.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
9	Toygun Basaklar, A. Alper Goksoy, Anish Krishnakumar, Suat Gumussoy, Ümit Y. Ogras	DTRL: Decision Tree-based Multi-Objective Reinforcement Learning for Runtime Task Scheduling in Domain-Specific System-on-Chips.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
9	Joshua Mack, Md Sahil Hassan, Nirmal Kumbhare, Miguel Castro-Gonzalez, Ali Akoglu	CEDR: A Compiler-integrated, Extensible DSSoC Runtime.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
9	Ying Wang 0038, Yibo Wang, Sinan Wang, Yepang Liu 0001, Chang Xu 0001, Shing-Chi Cheung, Hai Yu 0001, Zhiliang Zhu 0001	Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
9	Jakob Svennevik Notland, Mariusz Nowostawski, Jingyue Li	Runtime Evolution of Bitcoin's Consensus Rules.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
9	Adriano Torres, Pedro Henrique Teixeira Costa, Luis Henrique Vieira Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d'Amorim, Owolabi Legunsen, Eric Bodden, Edna Dias Canedo	Runtime Verification of Crypto APIs: An Empirical Study.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF