Search results for "assertion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Takeshi Arikuma, Sumi Yoshikawa, Ryuzo Azuma, Kentaro Watanabe, Kazumi Matsumura, Akihiko Konagaya	Drug interaction prediction using ontology-driven hypothetical assertion framework for pathway generation followed by numerical simulation.	BMC Bioinform.	2008	DBLP DOI BibTeX RDF
16	Gábor Horváth 0004, Chrystopher L. Nehaniv, Csaba A. Szabó	An assertion concerning functionally complete algebras and NP-completeness.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
16	Emine Gokce Aydal, Richard F. Paige, Jim Woodstock	Observations for Assertion-based Scenarios in the context of Model Validation.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2008	DBLP DOI BibTeX RDF
16	Kamran Munir, Mohammed Odeh, Richard McClatchey	Ontology Assisted Query Reformulation Using Semantic and Assertion Capabilities of OWL-DL Ontologies	CoRR	2008	DBLP BibTeX RDF
16	Maryna Kaminska, Roman Prikhodchenko, Artem Kubirya, Pavel Mocar	Testability analysis method for hardware and software based on assertion libraries.	EWDTS	2008	DBLP DOI BibTeX RDF
16	Katell Morin-Allory, Marc Boule, Dominique Borrione, Zeljko Zilic	Proving and disproving assertion rewrite rules with automated theorem provers.	HLDVT	2008	DBLP DOI BibTeX RDF
16	Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh 0002, P. Vignesh V. Ganesan	A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.	ATVA	2008	DBLP DOI BibTeX RDF
16	Emine Gokce Aydal, Richard F. Paige, Jim Woodcock 0001	Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation.	ICST Workshops	2008	DBLP DOI BibTeX RDF
16	Kuniaki Tabata, Akira Hattori	An assertion-based information acquisition system exploiting hierarchical structures of documents.	SMC	2008	DBLP DOI BibTeX RDF
16	Paul Craig, Jessie B. Kennedy	Concept relationship editor: a visual interface to support the assertion of synonymy relationships between taxonomic classifications.	Visualization and Data Analysis	2008	DBLP DOI BibTeX RDF
16	Yusuke Endoh, Takeo Imai, Mikito Iwamasa, Yoshio Kataoka	A pointcut-based assertion for high-level hardware design.	ACP4IS@AOSD	2008	DBLP DOI BibTeX RDF
16	Hassan Hatefi-Ardakani, Amir Masoud Gharehbaghi, Shaahin Hessabi	System-Level Assertion-Based Performance Verification for Embedded Systems.	CSICC	2008	DBLP DOI BibTeX RDF
16	Adrien Coulet, Malika Smaïl-Tabbone, Amedeo Napoli, Marie-Dominique Devignes	Ontology Refinement through Role Assertion Analysis: Example in Pharmacogenomics.	Description Logics	2008	DBLP BibTeX RDF
16	Masanori Sakakibara, Kohei Sakurai, Seiichi Komiya	An Assertion Mechanism for Software Unit Testing to Remain Unaffected by Program Modification - The Mechanism to Eliminate Dependency from/to Unnecessary Object.	JCKBSE	2008	DBLP DOI BibTeX RDF
16	Özlem Uzuner, Xiaoran Zhang, Tawanda C. Sibanda	Two Approaches to Assertion Classification.	AMIA	2008	DBLP BibTeX RDF
16	Volkan Esen	A new assertion language covering multiple levels of abstraction. (PDF / PS)		2008	RDF
16	Maria van der Schaar	The assertion-candidate and the meaning of mood.	Synth.	2007	DBLP DOI BibTeX RDF
16	Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni	Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata.	TTSS	2007	DBLP DOI BibTeX RDF
16	Nicholas G. Paulter Jr., Donald R. Larson	Uncertainty in the Nose-to-Nose Sampler Calibration Method Due to the Assertion That the Generator and Receiver Functions Are Identical.	IEEE Trans. Instrum. Meas.	2007	DBLP DOI BibTeX RDF
16	Marc Boule, Jean-Samuel Chenard, Zeljko Zilic	Debug enhancements in assertion-checker generation.	IET Comput. Digit. Tech.	2007	DBLP DOI BibTeX RDF
16	Amir Masoud Gharehbaghi, Benyamin Hamdin Yaran, Shaahin Hessabi, Maziar Goudarzi	An assertion-based verification methodology for system-level design.	Comput. Electr. Eng.	2007	DBLP DOI BibTeX RDF
16	Ambar A. Gadkari, S. Ramesh 0002	Automated Synthesis of Assertion Monitors using Visual Specifications	CoRR	2007	DBLP BibTeX RDF
16	Jia Yu 0008, Wei Wu 0024, Xi Chen 0024, Harry Hsieh, Jun Yang 0002, Felice Balarin	Assertion-Based Design Exploration of DVS in Network Processor Architectures	CoRR	2007	DBLP BibTeX RDF
16	David A. Naumann	On assertion-based encapsulation for object invariants and simulations.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Object invariants, Encapsulation and abstraction, Separation and alias control
16	Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir	Creating and Validating Embedded Assertion Statecharts.	IEEE Distributed Syst. Online	2007	DBLP DOI BibTeX RDF
16	Hans Eveking, Martin Braun 0001, Martin Schickel, Martin Schweikert, Volker Nimbler	Multi-Level Assertion-Based Design.	MEMOCODE	2007	DBLP DOI BibTeX RDF
16	Sumit Ahuja, Deepak Mathaikutty, Sandeep K. Shukla, Ajit Dingankar	Assertion-Based Modal Power Estimation.	MTV	2007	DBLP DOI BibTeX RDF
16	Ian Wootten, Shrija Rajbhandari, Omer F. Rana	Automatic Assertion of Actor State in Service Oriented Architectures.	ICWS	2007	DBLP DOI BibTeX RDF
16	Junwu Zhu, Jiandong Wang, Bin Li 0006	SSOA: a Semantic Service-Oriented Architecture Based on Fuzzy Assertion System.	CSCWD	2007	DBLP DOI BibTeX RDF
16	Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten	Requirements and Concepts for Transaction Level Assertion Refinement.	IESS	2007	DBLP DOI BibTeX RDF
16	Lun Li, Frank P. Coyle, Mitchell A. Thornton	Automatic High Level Assertion Generation and Synthesis for Embedded System Design.	FDL	2007	DBLP BibTeX RDF
16	Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar	Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL.	FDL	2007	DBLP BibTeX RDF
16	Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Masoud Daneshtalab, Saeed Safari	Assertion based design error diagnosis for core-based SoCs.	SoCC	2007	DBLP DOI BibTeX RDF
16	Michael Maaser, Steffen Ortmann, Peter Langendörfer	The Privacy Advocate: Assertion of Privacy by Personalised Contracts.	WEBIST (Selected Papers)	2007	DBLP DOI BibTeX RDF	privacy contract, Privacy, mobile devices, negotiation, personalisation, user preferences, P3P
16	Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain	Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting.	VLSI Design	2007	DBLP DOI BibTeX RDF
16	Min An Song	System Level Assertion-Based Verification Environment for PCI/PCI-X and PCI-Express.	CIS	2007	DBLP DOI BibTeX RDF
16	Sujata Ghosh, Fernando R. Velázquez-Quesada	Expressing Belief Flow in Assertion Networks.	TbiLLC	2007	DBLP DOI BibTeX RDF
16	Marco Aiello 0001, Alexander Lazovik	Monitoring Assertion-Based Business Processes.	Int. J. Cooperative Inf. Syst.	2006	DBLP DOI BibTeX RDF
16	Herbert Toth	ABS++: Assertion Based Subtyping in C++.	J. Object Technol.	2006	DBLP DOI BibTeX RDF
16	Kurt D. Zeilenga	Lightweight Directory Access Protocol (LDAP) Assertion Control.	RFC	2006	DBLP DOI BibTeX RDF
16	Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed	Efficient assertion based verification using TLM.	DATE	2006	DBLP DOI BibTeX RDF
16	Marc Boule, Zeljko Zilic	Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties.	HLDVT	2006	DBLP DOI BibTeX RDF
16	Sandeep K. Shukla, Alan J. Hu, Jacob Abrahams, Pranav Ashar, Harry Foster, Avner Landver, Carl Pixley	Panel: Assertion-Based Verification -What's the Big Deal?	HLDVT	2006	DBLP DOI BibTeX RDF
16	Íñigo Ugarte, Pablo Sanchez	Assertion-based Verification of Behavioral Descriptions with Non-linear Solver.	HLDVT	2006	DBLP DOI BibTeX RDF
16	Bernhard Niemann, Christian Haubelt	Assertion-Based Verification of Transaction Level Models.	MBMV	2006	DBLP BibTeX RDF
16	Werner Dilger, Steve Strangfeld	Properties of the bersini experiment on self-assertion.	GECCO	2006	DBLP DOI BibTeX RDF	affinity region, shape-space, affinity function
16	Katell Morin-Allory, Laurent Fesquet, Dominique Borrione	Asynchronous Assertion Monitors for multi-Clock Domain System Verification.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
16	Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir	Creation and Validation of Embedded Assertion Statecharts.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
16	Vimal K. Reddy, Eric Rotenberg, Ahmed S. Al-Zawawi	Assertion-Based Microarchitecture Design for Improved Reliability.	ICCD	2006	DBLP DOI BibTeX RDF
16	Marc Boule, Jean-Samuel Chenard, Zeljko Zilic	Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug.	ICCD	2006	DBLP DOI BibTeX RDF
16	Andrew Tjang, Fábio Oliveira, Richard P. Martin, Thu D. Nguyen	A: an assertion language for distributed systems.	PLOS	2006	DBLP DOI BibTeX RDF
16	Herbert Toth	On theory and practice of Assertion Based Software Development.	J. Object Technol.	2005	DBLP DOI BibTeX RDF
16	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	An assertion-based proof system for multithreaded Java.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
16	Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok	How the design of JML accommodates both runtime assertion checking and formal verification.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
16	Denis Vernant	The Limits of a Logical Treatment of Assertion.	Logic, Thought and Action	2005	DBLP DOI BibTeX RDF
16	Edward Smith	A method for generation of GSTE assertion graphs.	HLDVT	2005	DBLP DOI BibTeX RDF
16	Mostafa Naderi, Zainalabedin Navabi	Combination of Assertion and HSAT Methods For Automated Test Vectors Generation.	FDL	2005	DBLP BibTeX RDF
16	Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn	Smallfoot: Modular Automatic Assertion Checking with Separation Logic.	FMCO	2005	DBLP DOI BibTeX RDF
16	Jing Zhang 0003, Jeff Gray 0001, Yuehua Lin	A model-driven approach to enforce crosscutting assertion checking.	MACS@ICSE	2005	DBLP DOI BibTeX RDF
16	Ping Yeung, Kenneth Larsen	Practical Assertion-based Formal Verification for SoC Designs.	SoC	2005	DBLP DOI BibTeX RDF
16	Sayantan Das 0001, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti 0001, Chunduri Rama Mohan, Limor Fix	Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.	VLSI Design	2005	DBLP DOI BibTeX RDF
16	Tamer Elsharnouby	SeSFJava: A Framework for Design and Assertion-Testing Of Concurrent Systems.		2005	RDF
16	Xi Chen 0024, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Felice Balarin	Assertion Based Verification and Analysis of Network Processor Architectures.	Des. Autom. Embed. Syst.	2004	DBLP DOI BibTeX RDF
16	Harry Foster, Adam Krolnik, David Lacey	Assertion-based design, Second Edition.		2004	RDF
16	Ali Habibi, Sofiène Tahar	Towards an efficient assertion based verification of SystemC designs.	HLDVT	2004	DBLP DOI BibTeX RDF
16	Jia Yu 0008, Wei Wu 0024, Xi Chen 0024, Harry Hsieh, Jun Yang 0002, Felice Balarin	Assertion-based power/performance analysis of network processor architectures.	HLDVT	2004	DBLP DOI BibTeX RDF
16	Joo-Young Lee, Ki-Young Moon	Security Assertion Exchange for the Agent on the Semantic Web.	ICWI	2004	DBLP BibTeX RDF
16	Quoc Bao Vo	Contextualized Abstraction for Assertion-Level Theorem Proving.	ECAI	2004	DBLP BibTeX RDF
16	Christian Decker 0001, Michael Beigl, Albert Krohn, Philip Robinson, Uwe Kubach	eSeal - A System for Enhanced Electronic Assertion of Authenticity and Integrity.	Pervasive	2004	DBLP DOI BibTeX RDF
16	Jeffy Mwakalinga	Integrated Security System Based On Security Assertion Markup Language Standard.	ISSA	2004	DBLP BibTeX RDF
16	David A. Naumann	Assertion-Based Encapsulation, Object Invariants and Simulations.	FMCO	2004	DBLP DOI BibTeX RDF
16	Kelvin Ng, Alan J. Hu, Jin Yang	Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs.	ICCD	2004	DBLP DOI BibTeX RDF
16	Kevin Peterson, Yvon Savaria	Assertion-based on-line verification and debug environment for complex hardware systems.	ISCAS (2)	2004	DBLP BibTeX RDF
16	Ali Habibi, Amjad Gawanmeh, Sofiène Tahar	Assertion based verification of PSL for SystemC designs.	SoC	2004	DBLP DOI BibTeX RDF
16	Jongil Jeong, Dongkyoo Shin, Dongil Shin, Kiyoung Moon	Java-Based Single Sign-On Library Supporting SAML (Security Assertion Markup Language) for Distributed Web Services.	APWeb	2004	DBLP DOI BibTeX RDF
16	Kuniaki Tabata, Sadamichi Mitsumori	An Assertion-Based Information-Probe System: Document-Skeleton and Glossary-Skeleton Approach.	Inf. Knowl. Syst. Manag.	2003	DBLP BibTeX RDF
16	Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo	Assertion-level Proof Representation with Under-Specification.	MKM Symposium	2003	DBLP DOI BibTeX RDF
16	Babita Sharma, S. D. Dhodapkar, S. Ramesh 0001	Assertion checking environment (ACE) for formal verification of C programs.	Reliab. Eng. Syst. Saf.	2003	DBLP DOI BibTeX RDF
16	José Augusto Miranda Nacif, Claudionor Nunes Coelho, Harry Foster, Flávio Miana de Paula, Edjard Mota, Márcia Roberta Falcão Mota, Antônio Otávio Fernandes	On-Chip Property Verification Using Assertion Processors.	VLSI-SoC (Selected Papers)	2003	DBLP DOI BibTeX RDF
16	José Augusto Miranda Nacif, Flávio Miana de Paula, Harry Foster, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes	The Chip is Ready. Am I done? On-chip Verification using Assertion Processors.	VLSI-SOC	2003	DBLP BibTeX RDF
16	Flávio Miana de Paula, Claudionor José Nunes Coelho Jr., Harry Foster, José Augusto Miranda Nacif, Joseph Tompkins, Antônio Otávio Fernandes, Diógenes Cecilio da Silva Jr.	Refactoring digital hardware designs with assertion libraries.	HLDVT	2003	DBLP DOI BibTeX RDF
16	Íñigo Ugarte, Pablo Sanchez	Functional vector generation for assertion-based verification at behavioral level using interval analysis.	HLDVT	2003	DBLP DOI BibTeX RDF
16	Dongkyoo Shin, Jongil Jeong, Dongil Shin	Design and Implementaion of a Single Sign-On Library Supporting SAML (Security Assertion Markup Language) for Grid and Web Services Security.	GCC (2)	2003	DBLP DOI BibTeX RDF
16	Quoc Bao Vo, Christoph Benzmüller, Serge Autexier	Assertion Application in Theorem Proving and Proof Planning.	IJCAI	2003	DBLP BibTeX RDF
16	Reinhold Plösch	Evaluation of Assertion Support for the Java Programming Language.	J. Object Technol.	2002	DBLP DOI BibTeX RDF
16	Samin S. Ishtiaq, Peter W. O'Hearn	BI as an Assertion Language for Mutable Data Structures.	POPL	2001	DBLP DOI BibTeX RDF
16	Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn	Computability and Complexity Results for a Spatial Assertion Language for Data Structures.	APLAS	2001	DBLP BibTeX RDF
16	K.-Y. Sung	Specification with Safety Assertion for Distributed Applications using Java RMI.	IMSA	2001	DBLP BibTeX RDF
16	Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen	Assertion-Based Analysis of Hybrid Systems with PVS.	EUROCAST	2001	DBLP DOI BibTeX RDF	deductive methods, machine-assisted verification, hybrid systems
16	Marco Comini, Roberta Gori, Giorgio Levi	Assertion based Inductive Verification Methods for Logic Programs.	MFCSIT	2000	DBLP DOI BibTeX RDF
16	Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo	An Assertion Language for Constraint Logic Programs.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
16	Mikhail Auguston	Assertion checker for the C programming language based on computations over event traces.	AADEBUG	2000	DBLP BibTeX RDF
16	Philippe Collet, Roger Rousseau	Efficient Implementation Techniques for Advanced Assertion Languages.	Obj. Logiciel Base données Réseaux	1999	DBLP BibTeX RDF
16	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno	Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging.	The Logic Programming Paradigm	1999	DBLP DOI BibTeX RDF
16	Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo	Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs.	LOPSTR	1999	DBLP DOI BibTeX RDF
16	Igor D. D. Curcio	ASAP - A Simple Assertion Pre-processor.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
16	David Welch, Scott Strong	An Exception-Based Assertion Mechanism for C++.	J. Object Oriented Program.	1998	DBLP BibTeX RDF
16	Afshin Ganjoo	Branch assertion and elimination.	ICCD	1998	DBLP DOI BibTeX RDF
16	Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo	A Framework for Assertion-Based Debugging in Constraint Logic Programming.	CP	1998	DBLP DOI BibTeX RDF
16	John T. Kearns	Propositional Logic of Supposition and Assertion.	Notre Dame J. Formal Log.	1997	DBLP DOI BibTeX RDF