Search results for "runtime"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Canturk Isci, Gilberto Contreras, Margaret Martonosi	Live, Runtime Phase Monitoring and Prediction on Real Systems with Application to Dynamic Power Management.	MICRO	2006	DBLP DOI BibTeX RDF
20	Olivier Gruber, Richard S. Hall	A Java Framework for Building and Integrating Runtime Module Systems.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
20	Martin Skambraks	A real-time PES supporting runtime state restoration after transient hardware-faults.	IPDPS	2006	DBLP DOI BibTeX RDF
20	Tudor Hulubei, Barry O'Sullivan	Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations.	CP	2006	DBLP DOI BibTeX RDF
20	Chee Shin Yeo, Rajkumar Buyya	Managing Risk of Inaccurate Runtime Estimates for Deadline Constrained Job Admission Control in Clusters.	ICPP	2006	DBLP DOI BibTeX RDF
20	Kevin Lee, Geoffrey Coulson	Supporting Runtime Reconfiguration on Network Processors.	AINA (1)	2006	DBLP DOI BibTeX RDF
20	David P. Anderson, Carl Christensen, Bruce Allen	Grid resource management - Designing a runtime system for volunteer computing.	SC	2006	DBLP DOI BibTeX RDF
20	Sascha Hunold, Thomas Rauber, Gudula Rünger	TGrid - Grid runtime support for hierarchically structured task-parallel programs.	CLUSTER	2006	DBLP DOI BibTeX RDF
20	James R. Larus	Abolish runtime systems: operating systems should control the execution.	VEE	2006	DBLP DOI BibTeX RDF
20	Minseong Kim, Jaemin Jeong, Sooyong Park	From product lines to self-managed systems: an architecture-based runtime reconfiguration framework.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
20	Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	Polynomial Runtime in Simulatability Definitions.	CSFW	2005	DBLP DOI BibTeX RDF	reactive simulatability, universal composability, multi-party computation
20	Dongwoo Lee, David T. Blaauw, Dennis Sylvester	Runtime leakage minimization through probability-aware dual-Vt or dual-tox assignment.	ASP-DAC	2005	DBLP DOI BibTeX RDF
20	Usa Sammapun, Insup Lee 0001, Oleg Sokolsky	RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.	RTCSA	2005	DBLP DOI BibTeX RDF
20	Fen Xie, Margaret Martonosi, Sharad Malik	Bounds on power savings using runtime dynamic voltage scaling: an exact algorithm and a linear-time heuristic approximation.	ISLPED	2005	DBLP DOI BibTeX RDF	bounds on energy savings, low power, dynamic voltage scaling, linear time
20	Sharad Malik	A Case for Runtime Validation of Hardware.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
20	Helmut Steckenbiller, Rudi Knorr	Buffer schemes for runtime reconfiguration of function variants in communication systems.	FPGA	2004	DBLP DOI BibTeX RDF
20	Jingmei Yang, Huoping Chen, Byoung Uk Kim, Salim Hariri, Manish Parashar	Autonomic Runtime System for Large Scale Parallel and Distributed Applications.	UPP	2004	DBLP DOI BibTeX RDF
20	Alejandro Duran, Raúl Silvera, Julita Corbalán, Jesús Labarta	Runtime Adjustment of Parallel Nested Loops.	WOMPAT	2004	DBLP DOI BibTeX RDF
20	Cynthia Bailey Lee, Yael Schwartzman, Jennifer Hardy, Allan Snavely	Are User Runtime Estimates Inherently Inaccurate?.	JSSPP	2004	DBLP DOI BibTeX RDF
20	Yao Guo 0001, Saurabh Chheda, Csaba Andras Moritz	Runtime Biased Pointer Reuse Analysis and Its Application to Energy Efficiency.	PACS	2003	DBLP DOI BibTeX RDF
20	Hailan Zhu, Manish Parashar, Jingmei Yang, Yeliang Zhang, Soujanya Rao, Salim Hariri	Self-Adapting, Self-Optimizing Runtime Management of Grid Applications Using PRAGMA.	IPDPS	2003	DBLP DOI BibTeX RDF
20	Xinmin Tian, Milind Girkar, Sanjiv Shah, Douglas Armstrong, Ernesto Su, Paul Petersen	Compiler and Runtime Support for Running OpenMP Programs on Pentium- and Itanium-Architectures.	IPDPS	2003	DBLP DOI BibTeX RDF	Hyper-Threading technology, Parallelization, OpenMP, compiler optimization, shared-memory multiprocessor, thread-level parallelism
20	Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach	Instrumentation of Intermediate Code for Runtime Verification.	SEW	2003	DBLP DOI BibTeX RDF
20	Sagnik Nandy, Xiaofeng Gao 0003, Jeanne Ferrante	TFP: Time-Sensitive, Flow-Specific Profiling at Runtime.	LCPC	2003	DBLP DOI BibTeX RDF	run-time optimization, Profiling, dynamic compilation
20	Dong Zhou, Santosh Pande, Karsten Schwan	Method Partitioning - Runtime Customization of Pervasive Programs without Design-time Application Knowledge.	ICDCS	2003	DBLP DOI BibTeX RDF
20	Mihai Burcea, Michael Voss	A Runtime Optimization System for OpenMP.	WOMPAT	2003	DBLP DOI BibTeX RDF
20	Panagiotis E. Hadjidoukas, Eleftherios D. Polychronopoulos, Theodore S. Papatheodorou	OpenMP Runtime Support for Clusters of Multiprocessors.	WOMPAT	2003	DBLP DOI BibTeX RDF
20	Jens Gustavsson	A Classification of Unanticipated Runtime Software Changes in Java.	ICSM	2003	DBLP DOI BibTeX RDF
20	Jun Xu 0003, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Transparent Runtime Randomization for Security.	SRDS	2003	DBLP DOI BibTeX RDF
20	Renato Ferreira 0001, Joel H. Saltz, Gagan Agrawal	Compiler and Runtime Analysis for Efficient Communication in Data Intensive Applications.	IEEE PACT	2001	DBLP DOI BibTeX RDF
20	Andrew Kennedy, Don Syme	Design and Implementation of Generics for the .NET Common Language Runtime.	PLDI	2001	DBLP DOI BibTeX RDF
20	Steven K. Sinha, Peter Kamarchik, Seth Copen Goldstein	Tunable Fault Tolerance for Runtime Reconfigurable Architectures.	FCCM	2000	DBLP DOI BibTeX RDF
20	Fabrício Alves Barbosa da Silva, Isaac D. Scherson	Improving Parallel Job Scheduling Using Runtime Measurements.	JSSPP	2000	DBLP DOI BibTeX RDF
20	Dianqin Wang, Eleanor Chu	Minimizing Communication Penalty of Triangular Solvers by Runtime Mesh Configuration and Workload Redistribution.	J. Supercomput.	1999	DBLP DOI BibTeX RDF	triangular solver, overlap of communications by computations, performance modeling and evaluation, parallel algorithm, load balancing, hypercube, mesh, torus
20	Robert D. Blumofe, Christopher F. Joerg, Bradley C. Kuszmaul, Charles E. Leiserson, Keith H. Randall, Yuli Zhou	Cilk: An Efficient Multithreaded Runtime System.	PPoPP	1995	DBLP DOI BibTeX RDF
20	Rajeev Thakur, Rajesh Bordawekar, Alok N. Choudhary	Compiler and runtime support for out-of-core HPF programs.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF
19	S. Krishna Kumar, S. Kaundinya, Subhadip Kundu, Santanu Chattopadhyay	Customizing pattern set for test power reduction via improved X-identification and reordering.	ISLPED	2010	DBLP DOI BibTeX RDF	don't care bits, runtime leakage power, vector reordering, x-fill, dynamic power
19	Frank Neumann 0001, Dirk Sudholt, Carsten Witt	Analysis of different MMAS ACO algorithms on unimodal functions and plateaus.	Swarm Intell.	2009	DBLP DOI BibTeX RDF	MMAS, Theory, Ant colony optimization, Runtime analysis
19	Barry Rountree, David K. Lowenthal, Bronis R. de Supinski, Martin Schulz 0001, Vincent W. Freeh, Tyler K. Bletsch	Adagio: making DVS practical for complex HPC applications.	ICS	2009	DBLP DOI BibTeX RDF	dvs, energy, runtime, mpi, dvfs
19	Philipp Rohlfshagen, Per Kristian Lehre, Xin Yao 0001	Dynamic evolutionary optimisation: an analysis of frequency and magnitude of change.	GECCO	2009	DBLP DOI BibTeX RDF	dynamic evolutionary computation, evolutionary algorithms, runtime analysis
19	Stefan Kratsch, Frank Neumann 0001	Fixed-parameter evolutionary algorithms and the vertex cover problem.	GECCO	2009	DBLP DOI BibTeX RDF	evolutionary algorithms, combinatorial optimization, multi-objective optimization, runtime analysis
19	Matthew D. Allen, Srinath Sridharan, Gurindar S. Sohi	Serialization sets: a dynamic dependence-based parallel execution model.	PPoPP	2009	DBLP DOI BibTeX RDF	serialization sets, parallel computing, runtime system, serializer
19	Bhuvan Middha, Matthew S. Simpson, Rajeev Barua	MTSS: Multitask stack sharing for embedded systems.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Out-of-memory errors, cactus stack, meshed stack, reliability, data compression, reuse, virtual memory, runtime checks, heap overflow, stack overflow
19	Marco Blumendorf, Sebastian Feuerstack, Sahin Albayrak	Multimodal user interfaces for smart environments: the multi-access service platform.	AVI	2008	DBLP DOI BibTeX RDF	runtime interpretation, smart home environments, human-computer interaction, usability, ubiquitous computing, interface design, multimodal interaction, model-based user interfaces
19	Xiaolin Li 0001, Manish Parashar	GridMate: A Portable Simulation Environment for Large-Scale Adaptive Scientific Applications.	CCGRID	2008	DBLP DOI BibTeX RDF	Runtime Management, Grid Computing, Resource Management, Discrete-Event Simulation, Adaptive Applications
19	Evgueni Brevnov, Yuri Dolgov, Boris Kuznetsov, Dmitry Yershov, Vyacheslav Shakin, Dong-yuan Chen, Vijay Menon 0002, Suresh Srinivas	Practical experiences with Java software transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	atomic constructs, managed runtimes, stm performance analysis, stm workloads, software transactional memory, runtime environment
19	Jayanth Gummaraju, Joel Coburn, Yoshio Turner, Mendel Rosenblum	Streamware: programming general-purpose multicore processors using streams.	ASPLOS	2008	DBLP DOI BibTeX RDF	general-purpose multicore processors, programming, streams, runtime system
19	Pavel Avgustinov, Julian Tibble, Oege de Moor	Making trace monitors feasible.	OOPSLA	2007	DBLP DOI BibTeX RDF	program analysis, runtime verification, program monitors
19	Dirk Niebuhr, Andreas Rausch	A concept for dynamic wiring of components: correctness in dynamic adaptive systems.	SAVCBS	2007	DBLP DOI BibTeX RDF	runtime testing, adaptation, component, reconfiguration, correctness, dynamic adaptive systems
19	Tobias Friedrich 0001, Nils Hebbinghaus, Frank Neumann 0001	Rigorous analyses of simple diversity mechanisms.	GECCO	2007	DBLP DOI BibTeX RDF	selection procedures, diversity, runtime analysis
19	Gokhan Memik, Mahmut T. Kandemir, Wei-keng Liao, Alok N. Choudhary	Multicollective I/O: A technique for exploiting inter-file access patterns.	ACM Trans. Storage	2006	DBLP DOI BibTeX RDF	file accesses, runtime library, Parallel I/O, collective I/O, software optimizations
19	Stefan Droste	A rigorous analysis of the compact genetic algorithm for linear functions.	Nat. Comput.	2006	DBLP DOI BibTeX RDF	runtime, theoretical analysis, compact genetic algorithm
19	Raju Pandey, Jeffrey Wu	BOTS: a constraint-based component system for synthesizing scalable software systems.	LCTES	2006	DBLP DOI BibTeX RDF	wireless sensor networks, embedded systems, components, constraints, generative programming, runtime systems
19	Oliver Giel, Per Kristian Lehre	On the effect of populations in evolutionary multi-objective optimization.	GECCO	2006	DBLP DOI BibTeX RDF	evolutionary algorithms, multi-objective optimization, runtime analysis
19	Johannes Mayer, Christoph Schneckenburger	An empirical analysis and comparison of random testing techniques.	ISESE	2006	DBLP DOI BibTeX RDF	p-measure, random testing, runtime, adaptive random testing, testing effectiveness, f-measure
19	Suan Hsi Yong, Susan Horwitz	Using Static Analysis to Reduce Dynamic Analysis Overhead.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	dynamic debugging, runtime types, static analysis
19	Bruno Cabral, Paulo Marques, Luís Moura Silva	RAIL: code instrumentation for .NET.	SAC	2005	DBLP DOI BibTeX RDF	NET platform, runtime, code instrumentation
19	Jie Liu 0001, Elaine Cheong, Feng Zhao 0001	Semantics-based optimization across uncoordinated tasks in networked embedded systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	service-oriented runtime, sensor network, type system
19	Stefan Droste	Not all linear functions are equally difficult for the compact genetic algorithm.	GECCO	2005	DBLP DOI BibTeX RDF	runtime, theoretical analysis, compact genetic algorithm
19	Ching-Hsien Hsu, Kun-Ming Yu	A Compressed Diagonals Remapping Technique for Dynamic Data Redistribution on Banded Sparse Matrix.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	compressed diagonals remapping, parallel algorithm, sparse matrix, runtime support, data redistribution, banded matrix
19	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Linking CSP-OZ with UML and Java: A Case Study.	IFM	2004	DBLP DOI BibTeX RDF	Java, UML, CSP, assertions, Object-Z, runtime checking
19	Josef Weidendorfer, Markus Kowarschik, Carsten Trinitis	A Tool Suite for Simulation Based Analysis of Memory Access Behavior.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Runtime Instrumentation, Visualization, Cache Simulation
19	Prasad Naldurg, Koushik Sen, Prasanna Thati	A Temporal Logic Based Framework for Intrusion Detection.	FORTE	2004	DBLP DOI BibTeX RDF	security, Intrusion detection, temporal logic, runtime monitoring
19	Nico Janssens, Lieven Desmet, Sam Michiels, Pierre Verbaeten	NeCoMan: middleware for safe distributed service deployment in programmable networks.	Adaptive and Reflective Middleware	2004	DBLP DOI BibTeX RDF	network consistency, safe runtime deployment of distributed services, programmable networks
19	Yue-Shi Lee	Task adaptation in stochastic language model for Chinese homophone disambiguation.	ACM Trans. Asian Lang. Inf. Process.	2003	DBLP DOI BibTeX RDF	Chinese homophone disambiguation, runtime application domain, task adaptation, neural network, language model, Adaptive learning
19	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
19	Sangchul Han, Moonju Park, Yookun Cho	An Efficient Job Selection Scheme in Real-Time Scheduling under the Stack Resource Policy.	IPDPS	2003	DBLP DOI BibTeX RDF	runtime overhead, ready queue, scheduling, real-time, Linux, EDF, SRP
19	Huaiyu Xu, Maogang Wang, Bo-Kyung Choi, Majid Sarrafzadeh	A Trade-off Oriented Placement Tool.	ICCAD	2003	DBLP DOI BibTeX RDF	Quality, Placement, Runtime
19	Dimitrios S. Nikolopoulos	Code and Data Transformations for Improving Shared Cache Performance on SMT Processors.	ISHPC	2003	DBLP DOI BibTeX RDF	compilers, operating systems, memory hierarchies, runtime systems, multithreaded processors
19	Dimitrios S. Nikolopoulos, Eduard Ayguadé, Theodore S. Papatheodorou, Constantine D. Polychronopoulos, Jesús Labarta	The trade-off between implicit and explicit data distribution in shared-memory programming paradigms.	ICS	2001	DBLP DOI BibTeX RDF	performance evaluation, operating systems, OpenMP, data distribution, runtime systems, page migration
19	Thomas Rauber, Gudula Rünger	Deriving Array Distributions by Optimization Techniques.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	array distributions, runtime prediction, hypercube networks, optimization techniques, LU decomposition
19	Michael J. Petkac, Lee Badger	Security Agility in Response to Intrusion Detection.	ACSAC	2000	DBLP DOI BibTeX RDF	security agility, cooperative frameworks, malicious attacks, mission critical functionality, security policy reconfiguration, runtime security policy change, prototype toolkit, flexible host-based response, distributed systems, intrusion detection, distributed processing, software components, security of data
19	Markus Müller-Olm, Andreas Wolf 0004	On Excusable and Inexcusable Failures.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer
19	Matteo Frigo, Charles E. Leiserson, Keith H. Randall	The Implementation of the Cilk-5 Multithreaded Language.	PLDI	1998	DBLP DOI BibTeX RDF	parallel computing, C, programming language, multithreading, runtime system, critical path, work
19	Alberto Valderruten, Javier Mosquera, Víctor M. Gulías	Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF	Synchronous Reactive Models, Multithreaded Runtime Systems, Simulation and Monitoring, Functional Programming, Instrumentation, Performance Engineering, Model Development
19	Manuel Ujaldon, Emilio L. Zapata, Barbara M. Chapman, Hans P. Zima	Vienna-Fortran/HPF Extensions for Sparse and Irregular Problems and Their Compilation.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Data-parallel language and compiler, distributed-memory machines, runtime support, sparse computation
19	Heng Yu 0001, Bharadwaj Veeravalli, Yajun Ha	Leakage-aware dynamic scheduling for real-time adaptive applications on multiprocessor systems.	DAC	2010	DBLP DOI BibTeX RDF	dynamic scheduling, adaptive applications
19	Lucas Davi, Ahmad-Reza Sadeghi, Marcel Winandy	Dynamic integrity measurement and attestation: towards defense against return-oriented programming attacks.	STC	2009	DBLP DOI BibTeX RDF	attestation systems, integrity monitoring, return-oriented programming
19	Jan Schäfer 0002, Markus Reitz, Jean-Marie Gaillourdet, Arnd Poetzsch-Heffter	Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes.	CoCoME	2007	DBLP DOI BibTeX RDF
19	Francesc Guim 0001, Julita Corbalán, Jesús Labarta	Modeling the Impact of Resource Sharing in Backfilling Policies using the Alvio Simulator.	MASCOTS	2007	DBLP DOI BibTeX RDF
19	Qin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, Larry Rudolph, Weng-Fai Wong	Ubiquitous Memory Introspection.	CGO	2007	DBLP DOI BibTeX RDF
19	Kung-Kiu Lau, Vladyslav Ukis	A Study of Execution Environments for Software Components.	CBSE	2007	DBLP DOI BibTeX RDF
19	Krutartha Patel, Sridevan Parameswaran, Seng Lin Shee	Ensuring secure program execution in multiprocessor embedded systems: a case study.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	embedded system processors, tensilica, security, multiprocessors, code injection attacks
19	Xipeng Shen, Feng Mao	Modeling Relations between Inputs and Dynamic Behavior for General Programs.	LCPC	2007	DBLP DOI BibTeX RDF
19	Lorenz Froihofer, Gerhard Glos, Johannes Osrael, Karl M. Göschka	Overview and Evaluation of Constraint Validation Approaches in Java.	ICSE	2007	DBLP DOI BibTeX RDF
19	Ulrike Ranger, Thorsten Hermes	Ensuring Consistency Within Distributed Graph Transformation Systems.	FASE	2007	DBLP DOI BibTeX RDF
19	Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle	A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.	CARDIS	2006	DBLP DOI BibTeX RDF
19	Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente	On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	tasking restrictions, Real-time systems, concurrent programming, static timing analysis, response time analysis, Ravenscar Profile
19	Christoph Steiger, Herbert Walder, Marco Platzner	Operating Systems for Reconfigurable Embedded Platforms: Online Scheduling of Real-Time Tasks.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	FPGA, real-time, operating system, partial reconfiguration, online scheduling
19	Ayal Zaks, Vitaly Feldman, Nava Aizikowitz	Sealed calls in Java packages.	OOPSLA	2000	DBLP DOI BibTeX RDF	call devirtualization, class hierarchy graph, inter-procedural analysis, method inlining, sealed package, Java, Java, object-oriented programming, call graph
19	Dimitrios S. Nikolopoulos, Theodore S. Papatheodorou, Constantine D. Polychronopoulos, Jesús Labarta, Eduard Ayguadé	A case for use-level dynamic page migration.	ICS	2000	DBLP DOI BibTeX RDF
18	Lucas Sakizloglou, Holger Giese, Leen Lambers	Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models.	FASE	2024	DBLP DOI BibTeX RDF
18	Jorge Da Silva, Miren Illarramendi, Asier Iriarte	Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining Approach.	SAFECOMP Workshops	2023	DBLP DOI BibTeX RDF
18	Klaus Havelund, Doron Peled	Monitorability for Runtime Verification.	RV	2023	DBLP DOI BibTeX RDF
18	Changshun Wu, Yliès Falcone, Saddek Bensalem	Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes.	RV	2023	DBLP DOI BibTeX RDF
18	Moran Omer, Doron Peled	Runtime Verification Prediction for Traces with Data.	RV	2023	DBLP DOI BibTeX RDF
18	Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard	AMT: A Runtime Verification Tool of Video Streams.	RV	2023	DBLP DOI BibTeX RDF
18	Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang 0001	CCMOP: A Runtime Verification Tool for C/C++ Programs.	RV	2023	DBLP DOI BibTeX RDF
18	Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma	Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models.	RV	2023	DBLP DOI BibTeX RDF
18	Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen	eMOP: A Maven Plugin for Evolution-Aware Runtime Verification.	RV	2023	DBLP DOI BibTeX RDF