Search results for "runtime"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Giles Reger, Sylvain Hallé, Yliès Falcone	Third International Competition on Runtime Verification - CRV 2016.	RV	2016	DBLP DOI BibTeX RDF
18	Christian Colombo 0001, Yliès Falcone	First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402.	RV	2016	DBLP DOI BibTeX RDF
18	Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu	Runtime Verification at Work: A Tutorial.	RV	2016	DBLP DOI BibTeX RDF
18	Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier	Runtime Analysis with R2U2: A Tool Exhibition Report.	RV	2016	DBLP DOI BibTeX RDF
18	Borzoo Bonakdarpour, Bernd Finkbeiner	Runtime Verification for HyperLTL.	RV	2016	DBLP DOI BibTeX RDF
18	Konstantin Selyunin, Thang Nguyen 0007, Ezio Bartocci, Radu Grosu	Applying Runtime Monitoring for Automotive Electronic Development.	RV	2016	DBLP DOI BibTeX RDF
18	Omar Javed, Yudi Zheng, Andrea Rosà, Haiyang Sun, Walter Binder	Extended Code Coverage for AspectJ-Based Runtime Verification Tools.	RV	2016	DBLP DOI BibTeX RDF
18	Paul Harvey 0002, Konstantin Bakanov, Ivor T. A. Spence, Dimitrios S. Nikolopoulos	A Scalable Runtime for the ECOSCALE Heterogeneous Exascale Hardware Platform.	ROSS@HPDC	2016	DBLP DOI BibTeX RDF
18	Michael Szvetits, Uwe Zdun	Reusable event types for models at runtime to support the examination of runtime phenomena.	MoDELS	2015	DBLP DOI BibTeX RDF
18	Raja Naeem Akram, Konstantinos Markantonakis, Keith Mayes	Enhancing Java Runtime Environment for Smart Cards Against Runtime Attacks.	ESORICS (2)	2015	DBLP DOI BibTeX RDF
18	Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister	Time-Triggered Runtime Verification of Component-Based Multi-core Systems.	RV	2015	DBLP DOI BibTeX RDF
18	Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan 0001	Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.	RV	2015	DBLP DOI BibTeX RDF
18	Ian Cassar, Adrian Francalanza	Runtime Adaptation for Actor Systems.	RV	2015	DBLP DOI BibTeX RDF
18	Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, Anastasios Gounaris	Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources.	RV	2015	DBLP DOI BibTeX RDF
18	Alan Perotti, Guido Boella, Artur S. d'Avila Garcez	Runtime Verification Through Forward Chaining.	RV	2015	DBLP DOI BibTeX RDF
18	Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir	On Verifying Hennessy-Milner Logic with Recursion at Runtime.	RV	2015	DBLP DOI BibTeX RDF
18	Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu	RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.	RV	2015	DBLP DOI BibTeX RDF
18	Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma	Second International Competition on Runtime Verification CRV 2015.	RV	2015	DBLP DOI BibTeX RDF
18	Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider	StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java.	RV	2015	DBLP DOI BibTeX RDF
18	Luan Viet Nguyen, Christian Schilling 0001, Sergiy Bogomolov, Taylor T. Johnson	Runtime Verification for Hybrid Analysis Tools.	RV	2015	DBLP DOI BibTeX RDF
18	Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman	A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System.	RV	2015	DBLP DOI BibTeX RDF
18	Alexander Collins, Tim Harris 0001, Murray Cole, Christian Fensch	LIRA: Adaptive Contention-Aware Thread Placement for Parallel Runtime Systems.	ROSS@HPDC	2015	DBLP DOI BibTeX RDF
18	Allan Porterfield, Rob Fowler, Sridutt Bhalachandra, Barry Rountree, Diptorup Deb, Rob Lewis	Application Runtime Variability and Power Optimization for Exascale Computers.	ROSS@HPDC	2015	DBLP DOI BibTeX RDF
18	Barry Porter	Runtime modularity in complex structures: a component model for fine grained runtime adaptation.	CBSE	2014	DBLP DOI BibTeX RDF
18	Laura Bozzelli, César Sánchez 0001	Foundations of Boolean Stream Runtime Verification.	RV	2014	DBLP DOI BibTeX RDF
18	Johannes Geist, Kristin Y. Rozier, Johann Schumann	Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems.	RV	2014	DBLP DOI BibTeX RDF
18	Jeff Huang 0001, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu	ROSRV: Runtime Verification for Robots.	RV	2014	DBLP DOI BibTeX RDF
18	Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé	Portable Runtime Verification with Smartphones and Optical Codes.	RV	2014	DBLP DOI BibTeX RDF
18	Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamaño, Willy Wolff, Alexandra Jimborean, Philippe Clauss	Speculative Program Parallelization with Scalable and Decentralized Runtime Verification.	RV	2014	DBLP DOI BibTeX RDF
18	Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone	First International Competition on Software for Runtime Verification.	RV	2014	DBLP DOI BibTeX RDF
18	Stefan Mitsch, André Platzer	ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models.	RV	2014	DBLP DOI BibTeX RDF
18	Jiannan Zhai, Nigamanth Sridhar, Jason O. Hallstrom	Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems.	RV	2014	DBLP DOI BibTeX RDF
18	Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu	RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties.	RV	2014	DBLP DOI BibTeX RDF
18	François Fouquet	Kevoree : Model@Runtime pour le de'veloppement continu de systèmes adaptatifs distribue's he'te'rogènes. (Model@Runtime for continuous development of heterogeneous distributed adaptive systems).		2013	RDF
18	Kevin Falzon, Eric Bodden, Rahul Purandare	Distributed Finite-State Runtime Monitoring with Aggregated Events.	RV	2013	DBLP DOI BibTeX RDF
18	Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé	Runtime Monitoring of Temporal Logic Properties in a Platform Game.	RV	2013	DBLP DOI BibTeX RDF
18	Adrian Francalanza, Aldrin Seychell	Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract).	RV	2013	DBLP DOI BibTeX RDF
18	Hillel Kugler	Runtime Verification and Refutation for Biological Systems.	RV	2013	DBLP DOI BibTeX RDF
18	Nikolai Kosmatov, Guillaume Petiot, Julien Signoles	An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs.	RV	2013	DBLP DOI BibTeX RDF
18	Nikolai Kosmatov, Julien Signoles	A Lesson on Runtime Assertion Checking with Frama-C.	RV	2013	DBLP DOI BibTeX RDF
18	Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu	Runtime Verification with Particle Filtering.	RV	2013	DBLP DOI BibTeX RDF
18	Klaus Havelund	A Scala DSL for Rete-Based Runtime Verification.	RV	2013	DBLP DOI BibTeX RDF
18	Laxmikant V. Kalé	Characteristics of adaptive runtime systems in HPC.	ROSS@ICS	2013	DBLP DOI BibTeX RDF
18	Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio	Runtime monitoring of component changes with Spy@Runtime.	ICSE	2012	DBLP DOI BibTeX RDF
18	Yliès Falcone, Sebastian Currea, Mohamad Jaber 0001	Runtime Verification and Enforcement for Android Applications with RV-Droid.	RV	2012	DBLP DOI BibTeX RDF
18	Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo	Runtime Enforcement of Timed Properties.	RV	2012	DBLP DOI BibTeX RDF
18	Christian Colombo 0001, Gordon J. Pace	Fast-Forward Runtime Monitoring - An Industrial Case Study.	RV	2012	DBLP DOI BibTeX RDF
18	Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister	Path-Aware Time-Triggered Runtime Verification.	RV	2012	DBLP DOI BibTeX RDF
18	Ismail Kuru 0001, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor, Osman S. Unsal	PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors.	RV	2012	DBLP DOI BibTeX RDF
18	Martin Leucker	Sliding between Model Checking and Runtime Verification.	RV	2012	DBLP DOI BibTeX RDF
18	Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster	Adaptive Runtime Verification.	RV	2012	DBLP DOI BibTeX RDF
18	Thomas Reinbacher, Matthias Függer, Jörg Brauer	Real-Time Runtime Verification on Chip.	RV	2012	DBLP DOI BibTeX RDF
18	Vojtech Forejt, Marta Z. Kwiatkowska, David Parker 0001, Hongyang Qu 0001, Mateusz Ujma	Incremental Runtime Verification of Probabilistic Systems.	RV	2012	DBLP DOI BibTeX RDF
18	Diana Göhringer, Stephan Werner 0002, Michael Hübner 0001, Jürgen Becker 0001	RAMPSoCVM: Runtime Support and Hardware Virtualization for a Runtime Adaptive MPSoC.	FPL	2011	DBLP DOI BibTeX RDF
18	Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova	Runtime Programming through Model-Preserving, Scalable Runtime Patches.	ACSD	2011	DBLP DOI BibTeX RDF
18	Eric Bodden	MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration).	RV	2011	DBLP DOI BibTeX RDF
18	Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee 0001	Runtime Verification of Traces under Recording Uncertainty.	RV	2011	DBLP DOI BibTeX RDF
18	Sharad Malik	Runtime Verification: A Computer Architecture Perspective.	RV	2011	DBLP DOI BibTeX RDF
18	Martin Leucker	Teaching Runtime Verification.	RV	2011	DBLP DOI BibTeX RDF
18	Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst	Runtime Verification of LTL-Based Declarative Process Models.	RV	2011	DBLP DOI BibTeX RDF
18	Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister	Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.	RV	2011	DBLP DOI BibTeX RDF
18	Borzoo Bonakdarpour, Sebastian Fischmeister	Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement].	RV	2011	DBLP DOI BibTeX RDF
18	Guoquan Wu, Jun Wei 0001, Chunyang Ye, Xiaozhe Shao, Hua Zhong 0001, Tao Huang 0001	Runtime Verification of Data-Centric Properties in Service Based Systems.	RV	2011	DBLP DOI BibTeX RDF
18	Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok	Runtime Verification with State Estimation.	RV	2011	DBLP DOI BibTeX RDF
18	A. Prasad Sistla, Milos Zefran, Yao Feng	Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State.	RV	2011	DBLP DOI BibTeX RDF
18	Lee Pike, Sebastian Niller, Nis Wegmann	Runtime Verification for Ultra-Critical Systems.	RV	2011	DBLP DOI BibTeX RDF
18	Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo 0001, Cristian Pop	NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows.	RV	2011	DBLP DOI BibTeX RDF
18	Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova	Runtime Programming through Model-Preserving, Scalable Runtime Patches.	FACS	2010	DBLP DOI BibTeX RDF
18	Hui Song, Gang Huang 0001, Franck Chauvel, Yanchun Sun	Applying MDE Tools at Runtime: Experiments upon Runtime Models.	Models@run.time	2010	DBLP BibTeX RDF
18	Eric Bodden, Patrick Lam 0001	Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement.	RV	2010	DBLP DOI BibTeX RDF
18	Cristina M. Wilcox, Brian C. Williams	Runtime Verification of Stochastic, Faulty Systems.	RV	2010	DBLP DOI BibTeX RDF
18	Vasu Singh	Runtime Verification for Software Transactional Memories.	RV	2010	DBLP DOI BibTeX RDF
18	Patrick O'Neil Meredith, Grigore Rosu	Runtime Verification with the RV System.	RV	2010	DBLP DOI BibTeX RDF
18	Mike Barnett 0001	Code Contracts for .NET: Runtime Verification and So Much More.	RV	2010	DBLP DOI BibTeX RDF
18	Sylvain Hallé, Roger Villemaire	Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications.	RV	2010	DBLP DOI BibTeX RDF
18	Matthew B. Dwyer, Rahul Purandare, Suzette Person	Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?	RV	2010	DBLP DOI BibTeX RDF
18	Etienne Kneuss, Philippe Suter, Viktor Kuncak	Runtime Instrumentation for Precise Flow-Sensitive Type Analysis.	RV	2010	DBLP DOI BibTeX RDF
18	Christian Colombo 0001, Gordon J. Pace, Patrick Abela	Compensation-Aware Runtime Monitoring.	RV	2010	DBLP DOI BibTeX RDF
18	Eric Bodden, Patrick Lam 0001, Laurie J. Hendren	Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time.	RV	2010	DBLP DOI BibTeX RDF
18	R. Sekar 0001	Runtime Analysis and Instrumentation for Securing Software.	RV	2010	DBLP DOI BibTeX RDF
18	Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller	Copilot: A Hard Real-Time Runtime Monitor.	RV	2010	DBLP DOI BibTeX RDF
18	Martin Leucker	Checking and Enforcing Safety: Runtime Verification and Runtime Reflection.	ERCIM News	2008	DBLP BibTeX RDF
18	Madhu Gopinathan, Sriram K. Rajamani	Runtime Monitoring of Object Invariants with Guarantee.	RV	2008	DBLP DOI BibTeX RDF
18	Mike Chambers, Daniel Dura, Kevin Hoyt	Adobe Integrated Runtime (AIR) for JavaScript developers - pocket reference: getting started with the beta release of Adobe Integrated Runtime.		2007	RDF
18	Howard Barringer, Dov M. Gabbay, David E. Rydeheard	From Runtime Verification to Evolvable Systems.	RV	2007	DBLP DOI BibTeX RDF
18	Michal Cierniak, Marsha Eng, Neal Glew, Brian T. Lewis, James M. Stichnoth	The Open Runtime Platform: a flexible high-performance managed runtime environment.	Concurr. Pract. Exp.	2005	DBLP DOI BibTeX RDF
18	Yuhong Zhao 0001, Simon Oberthür, Martin Kardos, Franz-Josef Rammig	Model-based Runtime Verification Framework for Self-optimizing Systems.	RV@CAV	2005	DBLP DOI BibTeX RDF
18	Feng Chen 0006, Marcelo d'Amorim, Grigore Rosu	Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP.	RV@CAV	2005	DBLP DOI BibTeX RDF
18	Tayfun Elmas, Serdar Tasiran	VyrdMC: Driving Runtime Refinement Checking with Model Checkers.	RV@CAV	2005	DBLP DOI BibTeX RDF
18	Volker Stolz, Frank Huch	Runtime Verification of Concurrent Haskell Programs.	RV@ETAPS	2004	DBLP DOI BibTeX RDF
18	Konstantine Arkoudas, Martin C. Rinard	Deductive Runtime Certification.	RV@ETAPS	2004	DBLP DOI BibTeX RDF
18	Doron Drusinsky	Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions.	RV@ETAPS	2004	DBLP DOI BibTeX RDF
18	Serdar Tasiran, Shaz Qadeer	Runtime Refinement Checking of Concurrent Data Structures.	RV@ETAPS	2004	DBLP DOI BibTeX RDF
18	Murat Karaorman, Jay Freeman	jMonitor: Java Runtime Event Specification and Monitoring Library.	RV@ETAPS	2004	DBLP DOI BibTeX RDF
18	Mark Brörkens, Michael Möller 0002	Dynamic Event Generation for Runtime Checking using the JDI.	RV@FLoC	2002	DBLP DOI BibTeX RDF
18	Bernd Finkbeiner, Sriram Sankaranarayanan 0001, Henny Sipma	Collecting Statistics over Runtime Executions.	RV@FLoC	2002	DBLP DOI BibTeX RDF
18	Joshua Levy, Hassen Saïdi, Tomás E. Uribe	Combining Monitors for Runtime System Verification.	RV@FLoC	2002	DBLP DOI BibTeX RDF
17	Eddy Z. Zhang, Yunlian Jiang, Ziyu Guo, Xipeng Shen	Streamlining GPU applications on the fly: thread divergence elimination through runtime thread-data remapping.	ICS	2010	DBLP DOI BibTeX RDF	CPU-GPU pipelining, thread divergence, thread-data remapping, GPGPU, data transformation
17	Vignesh T. Ravi, Wenjing Ma, David Chiu 0001, Gagan Agrawal	Compiler and runtime support for enabling generalized reduction computations on heterogeneous parallel configurations.	ICS	2010	DBLP DOI BibTeX RDF	dynamic work distribution, generalized reductions, multi-cores, GPGPU, heterogeneous systems
17	Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè	RAW: runtime automatic workarounds.	ICSE (2)	2010	DBLP DOI BibTeX RDF