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 |
|