Search results for "dynamic verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	Scheduling considerations for building dynamic verification tools for MPI.	PADTAD	2008	DBLP DOI BibTeX RDF	model checking, MPI, message passing, distributed programming, partial order reduction, dynamic verification
2	Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin	Specifying and dynamically verifying address translation-aware memory consistency.	ASPLOS	2010	DBLP DOI BibTeX RDF	virtual memory, memory consistency, address translation, dynamic verification
2	Albert Meixner, Daniel J. Sorin	Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures.	IEEE Trans. Dependable Sec. Comput.	2009	DBLP DOI BibTeX RDF
2	Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.	PVM/MPI	2009	DBLP DOI BibTeX RDF
2	Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.	PVM/MPI	2009	DBLP DOI BibTeX RDF
2	Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).	PVM/MPI	2009	DBLP DOI BibTeX RDF
2	Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby	Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.	CAV	2008	DBLP DOI BibTeX RDF
2	Theofrastos Koulouris, George Spanoudakis, Theocharis Tsigkritis	Towards a Framework for Dynamic Verification of Peer-to-Peer Systems.	ICIW	2007	DBLP DOI BibTeX RDF
2	Albert Meixner, Daniel J. Sorin	Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures.	DSN	2006	DBLP DOI BibTeX RDF
2	Albert Meixner, Daniel J. Sorin	Dynamic Verification of Sequential Consistency.	ISCA	2005	DBLP DOI BibTeX RDF
2	Grant Martin	Verification by the pound.	IEEE Design & Test of Computers	2005	DBLP DOI BibTeX RDF	complex ICs, verification methodologies, hardware verification languages, formal verification, functional verification, dynamic verification
2	Daniel J. Sorin, Mark D. Hill, David A. Wood	Dynamic Verification of End-to-End Multiprocessor Invariants.	DSN	2003	DBLP DOI BibTeX RDF
2	Olivera Marjanovic	Dynamic Verification of Temporal Constraints in Production Workflows.	Australasian Database Conference	2000	DBLP DOI BibTeX RDF	production workflows, verification, time management
2	Changqing Wang, David R. Musser	Dynamic Verification of C++ Generic Algorithms.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	verification, C++, Specification, templates, software libraries, generic algorithms, Standard Template Library
1	Jinjun Chen, Yun Yang	Temporal dependency-based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems.	ACM Trans. Softw. Eng. Methodol.	2011	DBLP DOI BibTeX RDF
1	Hongda Wang, Wei Song, Jianchun Xing, Qiliang Yang	Global-Time-Offsets Based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid Workflows.	APSCC	2011	DBLP DOI BibTeX RDF
1	Jason G. Tong, Marc Boule, Zeljko Zilic	Defining and Providing Coverage for Assertion-Based Dynamic Verification.	J. Electronic Testing	2010	DBLP BibTeX RDF
1	Wei-Fan Chiang, Grzegorz Szubzda, Ganesh Gopalakrishnan, Rajeev Thakur	Dynamic Verification of Hybrid Programs.	EuroMPI	2010	DBLP DOI BibTeX RDF
1	Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer	Dynamic verification of Multicore Communication applications in MCAPI.	HLDVT	2009	DBLP DOI BibTeX RDF
1	Jason G. Tong, Marc Boule, Zeljko Zilic	Airwolf-TG: A test generator for assertion-based dynamic verification.	HLDVT	2009	DBLP DOI BibTeX RDF
1	Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni	Some resources for teaching concurrency.	PADTAD	2009	DBLP DOI BibTeX RDF	education, concurrency, MPI, computer science education, multi-core, memory models, pthreads, dynamic verification
1	Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt	MCC: A runtime verification tool for MCAPI user applications.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby	Reduced Execution Semantics of MPI: From Theory to Practice.	FM	2009	DBLP DOI BibTeX RDF
1	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang	Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis.	SPIN	2009	DBLP DOI BibTeX RDF
1	Dan Lu, Yoshitake Kobayashi, Ken Nakayama, Mamoru Maekawa	Java Mobile Code Dynamic Verification by Bytecode Modification for Host Confidentiality.	I. J. Network Security	2008	DBLP BibTeX RDF
1	Jinjun Chen, Yun Yang	Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems.	IJHPCA	2008	DBLP DOI BibTeX RDF
1	Gurvan Le Guernic	Precise Dynamic Verification of Confidentiality.	VERIFY	2008	DBLP BibTeX RDF
1	Jinjun Chen, Yun Yang	Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems.	ICSE	2008	DBLP DOI BibTeX RDF	checkpoint selection, fixed-time constraints, grid workflows, temporal dependency
1	Wei-Tek Tsai, Jay Elston, Yinong Chen	Composing Highly Reliable Service-Oriented Applications Adaptively.	SOSE	2008	DBLP DOI BibTeX RDF
1	Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon	Code-Carrying Authorization.	ESORICS	2008	DBLP DOI BibTeX RDF
1	Brian Bailey	Can Mutation Analysis Help Fix Our Broken Coverage Metrics?.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Shiqi Li, Mingfu Li, Di Zhao, Wenge Zhu	A Tele-operation System for Collaborative Works with Vision-Guided Autonomous Robot.	ICIRA	2008	DBLP DOI BibTeX RDF	Dynamic autonomy, User interface, Human-robot interaction, Tele-operation
1	Joonhyuk Yoo, Manoj Franklin	Hierarchical Verification for Increasing Performance in Reliable Processors.	J. Electronic Testing	2008	DBLP DOI BibTeX RDF	Active verification management, Filter checker, Correctness non-critically, Fault tolerance, Performance, Hierarchical verification
1	Jinjun Chen, Yun Yang	Multiple states based temporal consistency for dynamic verification of fixed-time constraints in Grid workflow systems.	Concurrency and Computation: Practice and Experience	2007	DBLP DOI BibTeX RDF
1	Jinjun Chen, Yun Yang	Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems.	TAAS	2007	DBLP DOI BibTeX RDF	adaptive checkpoint selection, temporal verification, temporal constraints, Grid workflows
1	Nardine Osman, David Robertson	Dynamic Verification of Trust in Distributed Open Systems.	IJCAI	2007	DBLP BibTeX RDF
1	Fred A. Bower, Daniel J. Sorin, Sule Ozev	Online diagnosis of hard faults in microprocessors.	TACO	2007	DBLP DOI BibTeX RDF	Hard fault tolerance, fine-grained diagnosis, processor microarchitecture
1	Alon Flaisher, Alon Gluska, Eli Singerman	Case study: Integrating FV and DV in the Verification of the Intel CoreTM 2 Duo Microprocessor.	FMCAD	2007	DBLP DOI BibTeX RDF
1	Andrea Fedeli, Franco Fummi, Graziano Pravadelli	Properties Incompleteness Evaluation by Functional Verification.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	property coverage, Model checking, fault models, functional verification
1	John Mullins, Raveca Oarga	Model Checking of Extended OCL Constraints on UML Models in SOCLe.	FMOODS	2007	DBLP DOI BibTeX RDF
1	Alan J. Hu	Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Jinjun Chen, Yun Yang	Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems.	Business Process Management	2006	DBLP DOI BibTeX RDF
1	Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten	Bridging the gap between web application firewalls and web applications.	FMSE	2006	DBLP DOI BibTeX RDF	run-time enforcement, shared data repository, web spplication girewall, static verification
1	Görschwin Fey, Sean Safarpour, Andreas G. Veneris, Rolf Drechsler	On the relation between simulation-based and SAT-based diagnosis.	DATE	2006	DBLP DOI BibTeX RDF
1	Joonhyuk Yoo, Manoj Franklin	The Filter Checker: An Active Verification Management Approach.	DFT	2006	DBLP DOI BibTeX RDF
1	Wei-Tek Tsai, Qian Huang, Bingnan Xiao, Yinong Chen	Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture.	QSIC	2006	DBLP DOI BibTeX RDF
1	Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	Deterministic Dynamic Monitors for Linear-Time Assertions.	FATES/RV	2006	DBLP DOI BibTeX RDF
1	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	Hardware Design and Simulation for Verification.	SFM	2006	DBLP DOI BibTeX RDF
1	Christopher E. Hann, J. Geoffrey Chase, Jessica Lin 0002, Thomas Lotz, Carmen V. Doran, Geoffrey M. Shaw	Integral-based parameter identification for long-term dynamic verification of a glucose-insulin system model.	Computer Methods and Programs in Biomedicine	2005	DBLP DOI BibTeX RDF
1	Jinjun Chen, Yun Yang	A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems.	APSEC	2005	DBLP DOI BibTeX RDF
1	Jin Yang, Avi Puder	Tightly integrate dynamic verification with formal verification: a GSTE based approach.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Jinjun Chen, Yun Yang	Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems.	APWeb	2005	DBLP DOI BibTeX RDF
1	Jinjun Chen, Yun Yang	An Activity Completion Duration based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems.	NODe/GSEM	2005	DBLP BibTeX RDF
1	Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet	A generic micro-architectural test plan approach for microprocessor verification.	DAC	2005	DBLP DOI BibTeX RDF	generic test plan, test generation, coverage, micro-architecture, dynamic verification
1	Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil	Synthesis of synchronous assertions with guarded atomic actions.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Fred A. Bower, Daniel J. Sorin, Sule Ozev	A Mechanism for Online Diagnosis of Hard Faults in Microprocessors.	MICRO	2005	DBLP DOI BibTeX RDF
1	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Security Protocols Verification in Abductive Logic Programming: A Case Study.	ESAW	2005	DBLP DOI BibTeX RDF
1	Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen	Dynamic and Formal Verification of Embedded Systems: A Comparative Survey.	International Journal of Parallel Programming	2005	DBLP DOI BibTeX RDF	Embedded systems, validation, functional test
1	Jinjun Chen, Yun Yang, T. Y. Chen	Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems.	APSEC	2004	DBLP DOI BibTeX RDF
1	Jinjun Chen, Yun Yang	Temporal Dependency for Dynamic Verification of Temporal Constraints in Workflow Systems.	GCC	2004	DBLP DOI BibTeX RDF
1	Kelvin Ng, Alan J. Hu, Jin Yang	Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs.	ICCD	2004	DBLP DOI BibTeX RDF
1	Hongchen Li, Yun Yang	Verification of Temporal Constraints for Concurrent Workflows.	APWeb	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	Shai Fine, Avi Ziv	Coverage directed test generation for functional verification using bayesian networks.	DAC	2003	DBLP DOI BibTeX RDF	bayesian networks, functional verification, coverage analysis
1	Alan J. Hu, Jeremy Casas, Jin Yang	Efficient Generation of Monitor Circuits for GSTE Assertion Graphs.	ICCAD	2003	DBLP DOI BibTeX RDF
1	Michael J. C. Gordon	Validating the PSL/Sugar Semantics Using Automated Reasoning.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Accellera, Property language, Sugar, Model checking, Semantics, Formal verification, Theorem proving, Higher-order logic, PSL, HOL
1	André Windisch, Dieter Monjau	An operational framework for the multi-lingual system simulation based on pi-calculus.	SCCC	2001	DBLP DOI BibTeX RDF
1	Todd M. Austin	DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design. (PDF / PS)	MICRO	1999	DBLP DOI BibTeX RDF
1	Robert S. Fabry	Dynamic Verification of Operating System Decisions.	Commun. ACM	1973	DBLP DOI BibTeX RDF