Search results for "runtime"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
50	Ben L. Titzer, Thomas Würthinger, Doug Simon, Marcelo Cintra	Improving compiler-runtime separation with XIR.	VEE	2010	DBLP DOI BibTeX RDF	lowering, runtime interface, java, software architecture, compilers, virtual machines, register allocation, object model, intermediate representations, JIT
50	Gagan Agrawal, Alan Sussman, Joel H. Saltz	An Integrated Runtime and Compile-Time Approach for Parallelizing Structured and Block Structured Applications.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	Compiler support, distributed memory parallel machines, multiblock codes, multigrid codes, High-Performance Fortran, runtime support
48	Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates	Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.	RV	2007	DBLP DOI BibTeX RDF	Java-MaC, Aspect Oriented Programming, Runtime Verification, Runtime Monitoring, Software Assurance
47	Javier Resano, Juan Antonio Clemente, Carlos González 0002, Daniel Mozos, Francky Catthoor	Efficiently scheduling runtime reconfigurations.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	hardware multitasking, runtime/design-time scheduling, FPGAs, Reconfigurable architectures
47	Yoonsik Cheon, Gary T. Leavens	A contextual interpretation of undefinedness for runtime assertion checking.	AADEBUG	2005	DBLP DOI BibTeX RDF	undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions
46	Christian Colombo 0001, Gordon J. Pace	Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
46	Adrian Francalanza, Jorge A. Pérez 0001, César Sánchez 0001	Runtime Verification for Decentralised and Distributed Systems.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
46	Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha	Runtime Failure Prevention and Reaction.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
46	Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger	Introduction to Runtime Verification.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
46	Nauman A. Qureshi, Sotirios Liaskos, Anna Perini	Reasoning about adaptive requirements for self-adaptive systems at runtime.	RE@RunTime	2011	DBLP DOI BibTeX RDF
46	Maurício Serrano, Milene Serrano, Julio César Sampaio do Prado Leite	Dealing with softgoals at runtime: A fuzzy logic approach.	RE@RunTime	2011	DBLP DOI BibTeX RDF
46	Wikan Danar Sunindyo, Martin Melik-Merkumians, Thomas Moser, Stefan Biffl	Enforcing safety requirements for industrial automation systems at runtime position paper.	RE@RunTime	2011	DBLP DOI BibTeX RDF
46	Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams	10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.	Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems	2010	DBLP BibTeX RDF
46	Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams	10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.	Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems	2010	DBLP BibTeX RDF
46	Alexander Delater, Barbara Paech	Using requirements traceability links at runtime - a position paper.	RE@RunTime	2010	DBLP DOI BibTeX RDF
46	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky	07011 Abstracts Collection -- Runtime Verification.	Runtime Verification	2007	DBLP BibTeX RDF
46	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky	07011 Executive Summary -- Runtime Verification.	Runtime Verification	2007	DBLP BibTeX RDF
46	Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee 0001	Runtime Verification for Wireless Sensor Network Applications.	Runtime Verification	2007	DBLP BibTeX RDF
43	Walter J. Gutjahr	Mathematical runtime analysis of ACO algorithms: survey on an emerging issue.	Swarm Intell.	2007	DBLP DOI BibTeX RDF	Runtime complexity, Combinatorial optimization, Ant colony optimization, Analysis of algorithms, Runtime analysis
43	Hideaki Kimura 0003, Mitsuhisa Sato, Takayuki Imada, Yoshihiko Hotta	Runtime DVFS control with instrumented Code in power-scalable cluster system.	CLUSTER	2008	DBLP DOI BibTeX RDF
41	Chris Lattner, Shashank Shekhar, Anand Shukla, Vikram S. Adve	Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization.	IPDPS	2002	DBLP DOI BibTeX RDF
41	Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce	Rule Systems for Runtime Verification: A Short Tutorial.	RV	2009	DBLP DOI BibTeX RDF	Java, temporal logic, Python, AspectJ, Runtime verification, log file analysis, code instrumentation, rule systems
41	Usa Sammapun, Insup Lee 0001, Oleg Sokolsky, John Regehr	Statistical Runtime Checking of Probabilistic Properties.	RV	2007	DBLP DOI BibTeX RDF	statistical monitoring, Runtime verification, probabilistic properties
39	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: a race and transaction-aware java runtime.	PLDI	2007	DBLP DOI BibTeX RDF	Java runtime, software transactions, runtime monitoring, data-race detection
39	Ray Odaira, Kei Hiraki	Selective Optimization of Locks by Runtime Statistics and Just-in-Time Compilation.	IPDPS	2003	DBLP DOI BibTeX RDF	runtime statistics, mutex lock, Java, JVM, runtime optimization
39	Nelly Bencomo, Jon Whittle 0001, Peter Sawyer, Anthony Finkelstein, Emmanuel Letier	Requirements reflection: requirements as runtime entities.	ICSE (2)	2010	DBLP DOI BibTeX RDF	requirements, reflection, runtime, self-adaptive systems
39	Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup	Runtime concepts for the C++ standard template library.	SAC	2008	DBLP DOI BibTeX RDF	runtime polymorphism, C++, generic programming, standard template library
39	Eric Bodden, Patrick Lam 0001, Laurie J. Hendren	Finding programming errors earlier by evaluating runtime monitors ahead-of-time.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	machine learning, static analysis, runtime verification, points-to analysis, static verification
39	Seyong Lee, Rudolf Eigenmann	Adaptive runtime tuning of parallel sparse matrix-vector multiplication on distributed memory systems.	ICS	2008	DBLP DOI BibTeX RDF	runtime tuning, sparse matrix, process mapping
39	Gang Huang 0001, Hong Mei 0001, Fuqing Yang	Runtime recovery and manipulation of software architecture of component-based systems.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Reflection, Runtime system, Component framework, Software architecture recovery
39	Yong Yan 0003, Xiaodong Zhang 0001, Zhao Zhang 0010	Cacheminer: A Runtime Approach to Exploit Cache Locality on SMP.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	symmetric multiprocessors (SMP) and task scheduling, simulation, runtime systems, nested loops, Cache locality
39	Mohammad Abdullah Al Faruque, Thomas Ebi, Jörg Henkel	ROAdNoC: runtime observability for an adaptive network on chip architecture.	ICCAD	2008	DBLP DOI BibTeX RDF
37	Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu	Monitoring Events that Carry Data.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
37	Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan 0001	Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
37	João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar	Discovering Concurrency Errors.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
37		2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), Trento, Italy, August 30, 2011	RE@RunTime	2011	DBLP BibTeX RDF
37	Emanuel Santos, João Pimentel 0001, Diego Dermeval, Jaelson Castro, Oscar Pastor 0001	Using NFR and context to deal with adaptability in business process models.	RE@RunTime	2011	DBLP DOI BibTeX RDF
37	Nelly Bencomo, Emmanuel Letier, Anthony Finkelstein, Jon Whittle 0001, Kristopher Welsh	Foreword: 2nd Workshop requirements@run.time.	RE@RunTime	2011	DBLP DOI BibTeX RDF
37	Vítor E. Silva Souza, John Mylopoulos	From awareness requirements to adaptive systems: A control-theoretic approach.	RE@RunTime	2011	DBLP DOI BibTeX RDF
37	Amit K. Chopra	Requirements-driven adaptation: Compliance, context, uncertainty, and systems.	RE@RunTime	2011	DBLP DOI BibTeX RDF
37	Paola Inverardi, Marco Mori	Requirements models at run-time to support consistent system evolutions.	RE@RunTime	2011	DBLP DOI BibTeX RDF
37	Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams (eds.)	Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010	Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems	2010	DBLP BibTeX RDF
37		First International Workshop on Requirements@Run.Time, RE@RunTime 2010, Sydney, NSW, Australia, September 28, 2010	RE@RunTime	2010	DBLP BibTeX RDF
37	Nauman A. Qureshi, Anna Perini	Continuous adaptive requirements engineering: An architecture for self-adaptive service-based applications.	RE@RunTime	2010	DBLP DOI BibTeX RDF
37	Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley	Adaptive monitoring of software requirements.	RE@RunTime	2010	DBLP DOI BibTeX RDF
37	Yunsong Jian, Tong Li 0001, Lin Liu 0001, Eric S. K. Yu	Goal-oriented requirements modelling for running systems.	RE@RunTime	2010	DBLP DOI BibTeX RDF
37	Nauman A. Qureshi, Anna Perini, Neil A. Ernst, John Mylopoulos	Towards a continuous requirements engineering framework for self-adaptive systems.	RE@RunTime	2010	DBLP DOI BibTeX RDF
37	Tom Hill, Sam Supakkul, Lawrence Chung	Run-time monitoring of system performance: A goal-oriented and system architecture simulation approach.	RE@RunTime	2010	DBLP DOI BibTeX RDF
37	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky (eds.)	Runtime Verification, 02.01. - 06.01.2007	Runtime Verification	2008	DBLP BibTeX RDF
37	Stavros Tripakis	Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks.	Runtime Verification	2007	DBLP BibTeX RDF
36	Feng Chen 0006, Traian-Florin Serbanuta, Grigore Rosu	jPredictor: a predictive runtime analysis tool for java.	ICSE	2008	DBLP DOI BibTeX RDF	predictive runtime analysis, sliced causality, runtime verification
36	Bernd Finkbeiner, Sriram Sankaranarayanan 0001, Henny Sipma	Collecting Statistics Over Runtime Executions.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	program profiling, temporal logic, specification languages, runtime verification, runtime monitoring
36	Christian Weber	Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components.	CC	1992	DBLP DOI BibTeX RDF	compiler family, runtime system design, compiler design, reusable software, runtime environment
35	Simone Pellegrini, Thomas Fahringer, Herbert Jordan, Hans Moritsch	Automatic tuning of MPI runtime parameter settings by using machine learning.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	mpi runtime parameters, machine learning, tuning
35	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction of sound hierarchical runtime object graphs.	TLDI	2009	DBLP DOI BibTeX RDF	architectural extraction, ownership domains, object graphs, runtime architecture
35	Qiong Zou, Xiao-Feng Li, Long-Bing Zhang	Runtime Engine for Dynamic Profile Guided Stride Prefetching.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	stride prefetching, runtime system, dynamic profiling
35	Feng Chen 0006, Grigore Rosu	Mop: an efficient and generic runtime verification framework.	OOPSLA	2007	DBLP DOI BibTeX RDF	monitoring-oriented programming, aspect-oriented programming, runtime verification
35	Benjamin Doerr, Frank Neumann 0001, Dirk Sudholt, Carsten Witt	On the runtime analysis of the 1-ANT ACO algorithm.	GECCO	2007	DBLP DOI BibTeX RDF	ant colony optimization, runtime analysis
35	Fen Xie, Margaret Martonosi, Sharad Malik	Efficient behavior-driven runtime dynamic voltage scaling policies.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	runtime dynamic voltage scaling, low power
35	Jens Jägersküpper, Carsten Witt	Rigorous runtime analysis of a (µ+1)ES for the sphere function.	GECCO	2005	DBLP DOI BibTeX RDF	sphere function, evolution strategies, runtime analysis
35	Nelly Delgado, Ann Q. Gates, Steve Roach	A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, specification, survey, specification language, runtime monitors, software/program verification
35	Martin Lippert	AJEER: an aspectJ-enabled eclipse runtime.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	cross-plugin pointcuts, eclipse rich client platform, plugin runtime, aspect-oriented programming, modularization, eclipse, aspectJ
35	Eric Bodden	A lightweight LTL runtime verification tool for java.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	joinpoints, linear-time temporal logic (LTL), metadata, aspectJ, concurrent systems, runtime verification
35	Martin Lippert	AJEER: an aspectJ-enabled eclipse runtime.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	cross-plugin pointcuts, eclipse rich client platform, plugin runtime, aspect-oriented programming, modularization, eclipse, aspectJ
35	Stephen S. Yau, Dazhi Huang, Haishan Gong, Siddharth Seth	Development and Runtime Support for Situation-Aware Application Software in Ubiquitous Computing Environments.	COMPSAC	2004	DBLP DOI BibTeX RDF	Situation-aware application software, Situation-Aware Interface Definition Language (SA-IDL), RCSM, development support, ubiquitous computing, runtime support
35	Martin Lippert	An AspectJ-enabled eclipse core runtime platform.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	cross-plugin pointcuts, plugin runtime infrastructure, aspect-oriented programming, modularization, eclipse, AspectJ
34	Guy Edjlali, Gagan Agrawal, Alan Sussman, Joel H. Saltz	Data parallel programming in an adaptive environment.	IPPS	1995	DBLP DOI BibTeX RDF	adaptive environment, loop bounds, runtime library, multiblock Navier-Stokes solver, parallel programming, message passing, message passing, programming environments, network of workstations, PVM, communication patterns, runtime support, data redistribution, data parallel programming, performance results
34	Jens Jägersküpper	Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean Spaces.	ICALP	2003	DBLP DOI BibTeX RDF	Continuous Search Space, Expected Runtime, Mutation Adaptation, Evolutionary Algorithms, Black-Box Optimization
34	Michael Factor, Assaf Schuster, Konstantin Shagin	Execution of monolithic Java programs on large non-dedicated collections of commodity workstations.	Java Grande	2002	DBLP DOI BibTeX RDF	high-level programming paradigm, non-dedicated environment, utilization of idle resources, fault tolerance, distributed shared memory
33	Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier	Runtime Verification of Safety-Progress Properties.	RV	2009	DBLP DOI BibTeX RDF
33	Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini	Runtime Verification of Interactions: From MSCs to Aspects.	RV	2007	DBLP DOI BibTeX RDF
33	Eric Bodden, Laurie J. Hendren, Patrick Lam 0001, Ondrej Lhoták, Nomair A. Naeem	Collaborative Runtime Verification with Tracematches.	RV	2007	DBLP DOI BibTeX RDF
32	Alberto González-Sanchez 0002, Éric Piel, Hans-Gerhard Groß	RiTMO: A Method for Runtime Testability Measurement and Optimisation.	QSIC	2009	DBLP DOI BibTeX RDF	runtime testability, cig, runtime testing, optimization
32	Chris Lewis 0002, Jim Whitehead	Runtime repair of software faults using event-driven monitoring.	ICSE (2)	2010	DBLP DOI BibTeX RDF	message broker, runtime software-fault monitoring, temporal invariants, specifications, video games, rule engine, event-driven systems
32	Frank Neumann 0001, Carsten Witt	Runtime Analysis of a Simple Ant Colony Optimization Algorithm.	Algorithmica	2009	DBLP DOI BibTeX RDF	Ant colony optimization, Runtime analysis, Randomized search heuristics
32	Florian Irmert, Frank Lauterwald, Christoph P. Neumann, Michael Daum 0001, Richard Lenz, Klaus Meyer-Wegener	Semantics of a runtime adaptable transaction manager.	IDEAS	2009	DBLP DOI BibTeX RDF	SQL phenomena, adaptation, transaction management, runtime
32	Chantal Taconet, Zakia Kazi-Aoul, Mehdi Zaier, Denis Conan	CA3M: A Runtime Model and a Middleware for Dynamic Context Management.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	model at runtime, context-awareness, meta-modelling, ubiquity
32	Saurabh Sinha, Hina Shah, Carsten Görg, Shujuan Jiang, Mijung Kim, Mary Jean Harrold	Fault localization and repair for Java runtime exceptions.	ISSTA	2009	DBLP DOI BibTeX RDF	null dereference, runtime exceptions, static analysis, fault localization
32	Christopher Wolfe, T. C. Nicholas Graham, W. Greg Phillips	An Incremental Algorithm for High-Performance Runtime Model Consistency.	MoDELS	2009	DBLP DOI BibTeX RDF	Adaptive groupware, incremental model transformation, runtime models
32	Christian Hütter 0001, Thomas Moschny	Runtime Locality Optimizations of Distributed Java Applications.	PDP	2008	DBLP DOI BibTeX RDF	dynamic locality optimization, distributed Java applications, runtime performance measurement, cluster
32	Ildefonso Montero, Joaquín Peña, Antonio Ruiz Cortés	Representing Runtime Variability in Business-Driven Development Systems.	ICCBSS	2008	DBLP DOI BibTeX RDF	Runtime Variability, Modeling business processes, BDD
32	Zhenchun Huang, Guoqing Li, Bin Du, Yi Zeng, Lei Gu	SIGRE - An Autonomic Spatial Information Grid Runtime Environment for Geo-computation.	APPT	2007	DBLP DOI BibTeX RDF	geo-computation, spatial information grid, runtime environment
32	Long Fei, Samuel P. Midkiff	Artemis: practical runtime monitoring of applications for execution anomalies.	PLDI	2006	DBLP DOI BibTeX RDF	context invariant, dynamic context, pointer-type table, selective monitoring, value invariant, debugging, runtime monitoring
32	Tayfun Elmas, Serdar Tasiran, Shaz Qadeer	VYRD: verifYing concurrent programs by runtime refinement-violation detection.	PLDI	2005	DBLP DOI BibTeX RDF	refinement, runtime verification, concurrent data structures
32	Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee 0001, Christos Tsarouchis	Is runtime verification applicable to cheat detection?	NETGAMES	2004	DBLP DOI BibTeX RDF	runtime verification, multiplayer game, cheat detection
32	Gang Huang 0001, Hong Mei 0001, Qianxiang Wang	Towards software architecture at runtime.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF	runtime software architecture, software architecture, software maintenance, reflection
32	Qianxiang Wang, Gang Huang 0001, Junrong Shen, Hong Mei 0001, Fuqing Yang	Runtime Software Architecture Based Software Online Evolution.	COMPSAC	2003	DBLP DOI BibTeX RDF	Runtime Software Architecture, Online Evolution
32	Cheng-Zhong Xu 0001, Vipin Chaudhary	Time Stamp Algorithms for Runtime Parallelization of DOACROSS Loops with Dynamic Dependences.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	inspector-executor, dynamic dependence, Compiler, parallelizing compiler, runtime support, doacross loop
32	David Mennie, Bernard Pagurek	A Runtime Composite Service Creation and Deployment Infrastructure and its Applications in Internet Security, E-Commerce, and Software Provisioning.	COMPSAC	2001	DBLP DOI BibTeX RDF	Runtime service creation, software composition, dynamic service composition
32	Dimitrios S. Nikolopoulos, Theodore S. Papatheodorou, Constantine D. Polychronopoulos, Jesús Labarta, Eduard Ayguadé	UPMLIB: A Runtime System for Tuning the Memory Performance of OpenMP Programs on Scalable Shared-Memory Multiprocessors.	LCR	2000	DBLP DOI BibTeX RDF	operating systems, memory management, OpenMP, runtime systems, scalable shared-memory multiprocessors
32	Du Li, Richard R. Muntz	Runtime dynamics in collaborative systems.	GROUP	1999	DBLP DOI BibTeX RDF	runtime dynamics, collaboration, CSCW, distributed computing, dynamic reconfiguration, collaborative systems
32	H. C. Wang, C. K. Yuen, M. D. Feng	Balinda C++: Runtime Support for Concurrent Object-Oriented Language.	ISPAN	1999	DBLP DOI BibTeX RDF	Concurrent object oriented programming(COOP), Balinda C++, Network of Workstations(NoW), Runtime System, Tuplespace
32	Jun Zhu, Changguo Guo, Quan Yin, Jianlu Bo, Quanyuan Wu	A Runtime-Monitoring-Based Dependable Software Construction Method.	ICYCS	2008	DBLP DOI BibTeX RDF
32	Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider	Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.	FMICS	2008	DBLP DOI BibTeX RDF
32	Masatomo Hashimoto	A Method of Safety Analysis for Runtime Code Update.	ASIAN	2006	DBLP DOI BibTeX RDF
32	Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu	Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing.	IWSEC	2006	DBLP DOI BibTeX RDF
32	Ackbar Joolia, Thaís Vasconcelos Batista, Geoff Coulson, Antônio Tadeu A. Gomes	Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform.	WICSA	2005	DBLP DOI BibTeX RDF
32	Antony Edwards, Trent Jaeger, Xiaolan Zhang 0001	Runtime verification of authorization hook placement for the linux security modules framework.	CCS	2002	DBLP DOI BibTeX RDF
30	Eric Bodden, Feng Chen 0006, Grigore Rosu	Dependent advice: a general approach to optimizing history-based aspects.	AOSD	2009	DBLP DOI BibTeX RDF	compilation, domain-specific languages, runtime verification, static program analysis
30	Wei-Tek Tsai, Xinyu Zhou, Xiao Wei 0001	A policy enforcement framework for verification and control of service collaboration.	Inf. Syst. E Bus. Manag.	2008	DBLP DOI BibTeX RDF	Service-Oriented Architecture, Runtime verification, Policy enforcement, Dynamic collaboration