Search results for "run-time verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini	Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
2	Edison Mera, Pedro López-García, Manuel V. Hermenegildo	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.	ICLP	2009	DBLP DOI BibTeX RDF	static/dynamic debugging, program verification, unit testing, assertions, run-time verification
2	Joost-Pieter Katoen, Perdita Stevens	Guest editors' introduction: Advancements and extensions of verification techniques.	STTT	2004	DBLP DOI BibTeX RDF	Model checking, Testing, Tools, Probabilistic systems, Run-time verification
2	Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran	On the Run-time Verification of Autonomy Software.	SEW	2003	DBLP DOI BibTeX RDF
1	Fatih Turkmen, Eunjin Jung, Bruno Crispo	Towards Run-Time Verification in Access Control.	POLICY	2011	DBLP DOI BibTeX RDF	Verification, Access, Constraints, Control, Run-time, Run-time
1	Eric Schmieders, Andreas Metzger	Preventing Performance Violations of Service Compositions Using Assumption-Based Run-Time Verification.	ServiceWave	2011	DBLP DOI BibTeX RDF
1	Jarkko Kuusijärvi	A Demo on Using Visualization to Aid Run-Time Verification of Dynamic Service Systems.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer	Run-Time Verification of Optimistic Concurrency.	RV	2010	DBLP DOI BibTeX RDF
1	Cyrille Valentin Artho	Run-Time Verification of Networked Software.	RV	2010	DBLP DOI BibTeX RDF
1	Dimitris Dranidis, Ervin Ramollari, Dimitrios Kourtesis	Run-time Verification of Behavioural Conformance for Conversational Web Services.	ECOWS	2009	DBLP DOI BibTeX RDF
1	Joachim Baran, Howard Barringer	Forays into Sequential Composition and Concatenation in Eagle.	RV	2008	DBLP DOI BibTeX RDF
1	Mariano Ceccato, Yoram Ofek, Paolo Tonella	Remote Entrusting by Run-Time Software Authentication.	SOFSEM	2008	DBLP DOI BibTeX RDF
1	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Verification of Choreographies During Execution Using the Reactive Event Calculus.	WS-FM	2008	DBLP DOI BibTeX RDF
1	Heather Goldsby, Betty H. C. Cheng, Ji Zhang	AMOEBA-RT: Run-Time Verification of Adaptive Software.	MoDELS Workshops	2007	DBLP DOI BibTeX RDF
1	Saeed Jalili, Mehdi MirzaAghaei	RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach.	SERA	2007	DBLP DOI BibTeX RDF	Runtime Verification (RV), Real-time and Reactive Program, Event-based Real-Time Logic (ERL), Aspect- Oriented Approach
1	Saeed Jalili, Mehdi MirzaAghaei	RVRTL: Run-Time Verification of Real-Time and Reactive Programs with Real-Time Logic Approach.	Software Engineering Research and Practice	2007	DBLP BibTeX RDF
1	Leonardo Mariani, Mauro Pezzè	Dynamic Detection of COTS Component Incompatibility.	IEEE Software	2007	DBLP DOI BibTeX RDF	dynamic analysis, COTS components, run-time verification
1	Jozef Hooman, Teun Hendriks	Model-Based Run-Time Error Detection.	MoDELS Workshops	2007	DBLP DOI BibTeX RDF	models, reliability, embedded systems, error detection, run-time verification
1	Jorge Coelho, Mário Florido	Type-Based Static and Dynamic Website Verification.	ICIW	2007	DBLP DOI BibTeX RDF
1	Howard Barringer, David E. Rydeheard, Klaus Havelund	Rule Systems for Run-Time Monitoring: From Eagleto RuleR.	RV	2007	DBLP DOI BibTeX RDF
1	István Majzik, Zoltán Micskei, Gergely Pintér	Development of Model Based Tools to Support the Design of Railway Control Applications.	SAFECOMP	2007	DBLP DOI BibTeX RDF	UML state diagrams, test generation, assertions, static checking
1	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni	Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool.	WS-FM	2006	DBLP DOI BibTeX RDF
1	Amir Pnueli, Aleksandr Zaks	PSL Model Checking and Run-Time Verification Via Testers.	FM	2006	DBLP DOI BibTeX RDF
1	Xinping Zhu, Wei Qin	Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery.	DAC	2006	DBLP DOI BibTeX RDF	fault-tolerance, system-on-chip, network-on-chip, multiprocessor system, run-time verification, retargetable simulation
1	Mohamed H. Zaki, Sofiène Tahar, Guy Bois	A practical approach for monitoring analog circuits.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF
1	Gihan R. Mudalige, Stephen A. Jarvis, Daniel P. Spooner, Graham R. Nudd	Predictive Performance Analysis of a Parallel Pipelined Synchronous Wavefront Application for Commodity Processor Cluster Systems.	CLUSTER	2006	DBLP DOI BibTeX RDF
1	Yujian Fu, Zhijiang Dong, Xudong He	A Method for Realizing Software Architecture Design.	QSIC	2006	DBLP DOI BibTeX RDF
1	Orna Kupferman, Yoad Lustig, Moshe Y. Vardi	On Locally Checkable Properties.	LPAR	2006	DBLP DOI BibTeX RDF
1	Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky	Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, Hussein Zedan	Analysis and Run-Time Verification of Dynamic Security Policies.	DAMAS	2005	DBLP DOI BibTeX RDF
1	Man-tak Shing, Doron Drusinsky	Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan	Passive mid-stream monitoring of real-time properties.	EMSOFT	2005	DBLP DOI BibTeX RDF	monitoring, timed automata, passive testing, run-time verification
1	Li Tan	Model-based self-monitoring embedded programs with temporal logic specifications.	ASE	2005	DBLP DOI BibTeX RDF	embedded systems, temporal logic, run-time verification
1	Séverine Colin, Leonardo Mariani	Run-Time Verification.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
1	David Kortenkamp, Reid G. Simmons, Tod Milam, Joaquín Lopez Fernández	A Suite of Tools for Debugging Distributed Autonomous Systems.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	distributed data logging, verification of distributed control programs, debugging autonomous systems, data visualization, run-time verification, interval logic
1	Milena Milenkovic, Aleksandar Milenkovic, Emil Jovanov	A framework for trusted instruction execution via basic block signature verification.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	trusted execution, intrusion detection, computer security
1	Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt	Runtime Verification of Timing and Probabilistic Properties using WMI and .NET.	EUROMICRO	2004	DBLP DOI BibTeX RDF
1	Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller	JNuke: Efficient Dynamic Analysis for Java.	CAV	2004	DBLP DOI BibTeX RDF
1	Patrick Maier	Intuitionistic LTL and a New Characterization of Safety and Liveness.	CSL	2004	DBLP DOI BibTeX RDF
1	Davide Ancona, Giovanni Lagorio, Elena Zucca	A Formal Framework for Java Separate Compilation.	ECOOP	2002	DBLP BibTeX RDF
1	Sheausong Yang, Jie-Yong Juang	Message Flow Analysis and Run-Time Verification for Parallel Programs.	ICPP	1989	DBLP BibTeX RDF