Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Vladimir Hahanov, Karyna Mostova, Oleksandr Paschenko |
Assertion based method of functional defects for diagnosing and testing multimedia devices. |
EWDTS |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Bahram N. Uchevler, Kjetil Svarstad |
Synthesizable assertion checkers in high levels of abstraction. |
ICECS |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Luís Eufrasio T. Neto, Vânia Maria Ponte Vidal, Marco A. Casanova, José Maria Monteiro |
R2RML by Assertion: A Semi-automatic Tool for Generating Customised R2RML Mappings. |
ESWC (Satellite Events) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Nikolai Kosmatov, Guillaume Petiot, Julien Signoles |
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Nikolai Kosmatov, Julien Signoles |
A Lesson on Runtime Assertion Checking with Frama-C. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma 0001, Chris Hawblitzel |
Differential assertion checking. |
ESEC/SIGSOFT FSE |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Carna Radojicic, Javier Moreno 0003, Xiao Pan, Christoph Grimm 0001 |
On more dependable assertion-based verification. |
IECON |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jérôme Quévremont |
On the Effectiveness of Assertion-Based Verification in an Industrial Context. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Dogan Ulus, Alper Sen 0001, I. Faik Baskaya |
Integrating circuit analyses for assertion-based verification of programmable AMS circuits. |
FDL |
2013 |
DBLP BibTeX RDF |
|
16 | Moustafa Kassem, Marianne Michel, Mohamed Abdelsalam, Ashraf Salem |
A novel approach for assertion based verification of DDR memory protocols. |
FDL |
2013 |
DBLP BibTeX RDF |
|
16 | Dhanashree Kulkarni, Andrew N. Fisher, Chris J. Myers |
A new assertion property language for analog/mixed-signal circuits. |
FDL |
2013 |
DBLP BibTeX RDF |
|
16 | Anand Yeolekar, Divyesh Unadkat |
Assertion Checking Using Dynamic Inference. |
Haifa Verification Conference |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Sonali Dutta, Moshe Y. Vardi, Deian Tabakov |
CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. |
DIFTS@FMCAD |
2013 |
DBLP BibTeX RDF |
|
16 | Marcius Armada de Oliveira, Kate Revoredo, José Eduardo Ochoa Luna, Fábio Gagliardi Cozman |
Assertion Role in a Hybrid Link Prediction Approach through Probabilistic Ontology. |
ONTOBRAS |
2013 |
DBLP BibTeX RDF |
|
16 | Mingsong Chen, Prabhat Mishra 0001 |
Assertion-Based Functional Consistency Checking between TLM and RTL Models. |
VLSI Design |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel |
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Peter Pagin |
Assertion, inference, and consequence. |
Synth. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Belal Mohammad Zaqaibeh, Firas Ali Albalas, Awajan W. A. |
Designing a New Assertion Constraints Model for Mobile Databases. |
Int. J. Interact. Mob. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti 0001, S. Ramesh 0002, P. Vignesh V. Ganesan |
A dynamic assertion-based verification platform for validation of UML designs. |
ACM SIGSOFT Softw. Eng. Notes |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Subhankar Mukherjee 0001, Pallab Dasgupta |
Assertion Aware Sampling Refinement: A Mixed-Signal Perspective. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | ShengYu Shen, Ying Qin, Kefei Wang, Zhengbin Pang, Jianmin Zhang, Sikun Li |
Inferring Assertion for Complementary Synthesis. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Klaas Wierenga, Eliot Lear, Simon Josefsson |
A Simple Authentication and Security Layer (SASL) and GSS-API Mechanism for the Security Assertion Markup Language (SAML). |
RFC |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Hossein Neishaburi, Zeljko Zilic |
An infrastructure for debug using clusters of assertion-checkers. |
Microelectron. Reliab. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Yukun Chen, Subramani Mani, Hua Xu 0001 |
Applying active learning to assertion classification of concepts in clinical text. |
J. Biomed. Informatics |
2012 |
DBLP DOI BibTeX RDF |
|
16 | José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
Assertion-based slicing and slice graphs. |
Formal Aspects Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
Enabling dynamic assertion-based verification of embedded software through model-driven design. |
DATE |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Dogan Ulus, Alper Sen 0001 |
Using haloes in mixed-signal assertion based verification. |
HLDVT |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Sourasis Das, Ansuman Banerjee, Pallab Dasgupta |
A Generalized Theory for Formal Assertion Coverage. |
Asian Test Symposium |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Laurence Pierre |
A formal framework for testing with assertion checkers in mixed-signal simulation. |
ICECS |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Danielle L. Mowery, Pamela W. Jordan, Janyce Wiebe, Wendy Webber Chapman, Lin Liu |
Does Domain Knowledge Matter for Assertion Annotation in Clinical Texts? |
HISB |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Lingyi Liu, Chen-Hsuan Lin, Shobha Vasudevan |
Word level feature discovery to enhance quality of assertion mining. |
ICCAD |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm 0001 |
Assertion-based verification of signal processing systems with affine arithmetic. |
FDL |
2012 |
DBLP BibTeX RDF |
|
16 | Sebastian Steinhorst, Lars Hedrich |
Analog assertion-based verification on partial state space representations using ASL. |
FDL |
2012 |
DBLP BibTeX RDF |
|
16 | Shabnam Mirshokraie, Ali Mesbah 0001 |
JSART: JavaScript Assertion-Based Regression Testing. |
ICWE |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Shohei Ono, Takeshi Matsumoto, Masahiro Fujita |
Automatic assertion extraction in gate-level simulation using GPGPUs. |
ICCD |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Edmund Soon Lee Lam, Iliano Cervesato |
Modeling datalog fact assertion and retraction in linear logic. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Maksim Jenihhin, Samary Baranov, Jaan Raik, Valentin Tihhomirov |
PSL assertion checkers synthesis with ASM based HLS tool ABELITE. |
LATW |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin |
Evaluating security requirements in a general-purpose processor by combining assertion checkers with code coverage. |
HOST |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jason G. Tong, Marc Bottle, Zeljko Zilic |
Assertion clustering for compacted test sequence generation. |
ISQED |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jiewen Wu, Alexander K. Hudek, David Toman 0001, Grant E. Weddell |
Assertion Absorption in Object Queries over Knowledge Bases. |
KR |
2012 |
DBLP BibTeX RDF |
|
16 | Kevin Boos, Chien-Liang Fok, Christine Julien 0001, Miryung Kim |
BRACE: An assertion framework for debugging cyber-physical systems. |
ICSE |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Arvind Jain, Maheedhar Jalasutram, Srinivas Vooka, Prasun Nair, Neeraj Pradhan |
At-speed Testing of Asynchronous Reset De-assertion Faults. |
VLSI Design |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Dominik Dietrich |
Assertion level proof planning with compiled strategies. |
|
2012 |
RDF |
|
16 | |
Web SSO and Security Assertion Markup Language. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki |
Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints. |
IEICE Trans. Inf. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Anne-Lyse Minard, Anne-Laure Ligozat, Asma Ben Abacha, Delphine Bernhard, Bruno Cartoni, Louise Deléger, Brigitte Grau, Sophie Rosset, Pierre Zweigenbaum, Cyril Grouin |
Hybrid methods for improving information access in clinical documents: concept, assertion, and relation identification. |
J. Am. Medical Informatics Assoc. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Cheryl Clark, John S. Aberdeen, Matthew Coarr, David Tresner-Kirsch, Ben Wellner, Alexander S. Yeh, Lynette Hirschman |
MITRE system for clinical assertion status classification. |
J. Am. Medical Informatics Assoc. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Thomas W. Lynch |
More Jabber about the Collatz Conjecture and a Closed Form for Detecting Cycles on Special Subsequences [Assertion: Collatz cycles]. |
CoRR |
2011 |
DBLP BibTeX RDF |
|
16 | Alexander M. Hoole, Issa Traoré, Isabelle Simplot-Ryl |
Application of contract-based security assertion monitoring framework for telecommunications software engineering. |
Math. Comput. Model. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita |
Optimization of Assertion Placement in Time-Constrained Embedded Systems. |
ETS |
2011 |
DBLP DOI BibTeX RDF |
time-constrained embedded systems, soft errors, executable assertions |
16 | Tristan Lavarack, Marijke Coetzee |
Web Services Security Policy Assertion Trade-offs. |
ARES |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
Interactive presentation abstract: Assertion-based verification in embedded-software design. |
HLDVT |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ryuichi Takahashi, Yoshiyasu Takefuji |
SystemVerilog assertion for microarchitecture education considering situated nature of learning: A senior project. |
MSE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | ShengYu Shen, Ying Qin, Jianmin Zhang |
Inferring assertion for complementary synthesis. |
ICCAD |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Aurélien Ribon, Bertrand Le Gal, Christophe Jégo, Dominique Dallet |
Assertion support in high-level synthesis design flow. |
FDL |
2011 |
DBLP BibTeX RDF |
|
16 | Laurence Pierre, Laila Damri |
Improvement of Assertion-Based Verification through the generation of proper test sequences. |
FDL |
2011 |
DBLP BibTeX RDF |
|
16 | Minh Ngoc Dinh, David Abramson 0001, Donny Kurniawan, Chao Jin, Bob Moench, Luiz De Rose |
Assertion Based Parallel Debugging. |
CCGRID |
2011 |
DBLP DOI BibTeX RDF |
|
16 | David Abramson 0001 |
Keynote: Assertion Based Parallel Debugging. |
ICA3PP (1) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Youngkon Lee |
Prescription-Level Based Test Assertion Model for SOA. |
FGIT-FGCN (1) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Youngkon Lee |
Business-Centric Test Assertion Model for SOA. |
FGIT-ASEA/DRBC/EL |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Youngkon Lee |
Semi-automatic Test Assertion Transformation Scheme for SOA. |
FGIT-UNESST |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jeffrey Pound, David Toman 0001, Grant E. Weddell, Jiewen Wu |
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases. |
IJCAI |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Hermann Lehner |
A formal definition of JML in Coq and its application to runtime assertion checking. |
|
2011 |
RDF |
|
16 | |
Assertion. |
Encyclopedia of Machine Learning |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan 0001, Darko Marinov, Jennifer C. Hou |
Assertion Checking in J-Sim Simulation Models of Network Protocols. |
Simul. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jeremy D. Selengut, Douglas B. Rusch, Daniel H. Haft |
Sites Inferred by Metabolic Background Assertion Labeling (SIMBAL): adapting the Partial Phylogenetic Profiling algorithm to scan sequences for signatures that predict protein function. |
BMC Bioinform. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Katell Morin-Allory, Marc Boule, Dominique Borrione, Zeljko Zilic |
Validating Assertion Language Rewrite Rules and Semantics With Automated Theorem Provers. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jason G. Tong, Marc Boule, Zeljko Zilic |
Defining and Providing Coverage for Assertion-Based Dynamic Verification. |
J. Electron. Test. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Patrice Chalin |
Engineering a Sound Assertion Semantics for the Verifying Compiler. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
programming by contract, requirements engineering, Software verification, assertions, logics of programs |
16 | Laurence Pierre, Luca Ferro |
Enhancing the assertion-based verification of TLM designs with reentrancy. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Amirali Ghofrani, Sheis Abolma'ali, Zahra Najafi Haghi, Zainalabedin Navabi |
A TLM2.0 assertion library with centralized monitoring approach. |
EWDTS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Amirali Ghofrani, Fatemeh Javaheri, Zainalabedin Navabi |
Assertion based verification in TLM. |
EWDTS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Maksim Jenihhin, Jaan Raik, Raimund Ubar, Tatjana Shchenova |
An approach for PSL assertion coverage analysis with high-level decision diagrams. |
EWDTS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller 0003 |
Assertion-based verification of RTOS properties. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Shobha Vasudevan, David Sheridan, Sanjay J. Patel, David Tcheng, William Tuohy, Daniel R. Johnson |
GoldMine: Automatic assertion generation using data mining and static analysis. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Lämmermann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich |
Towards assertion-based verification of heterogeneous system designs. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Tay-Jyi Lin |
RunAssert: A non-intrusive run-time assertion for parallel programs debugging. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Po-Hsien Chang, Li-C. Wang |
Automatic assertion extraction via sequential data mining of simulation traces. |
ASP-DAC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ming Gao, Kwang-Ting Cheng |
A case study of Time-Multiplexed Assertion Checking for post-silicon debugging. |
HLDVT |
2010 |
DBLP DOI BibTeX RDF |
|
16 | John Curreri, Greg Stitt, Alan D. George |
High-level synthesis techniques for in-circuit assertion-based verification. |
IPDPS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju |
Prototyping a tool environment for run-time assertion checking in JML with communication histories. |
FTfJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Benzmüller, Marvin R. G. Schiller |
Adaptive Assertion-Level Proofs. |
EMSQMS@IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier |
Assertion-based test oracles for home automation systems. |
MOMPES |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jeffrey Pound, David Toman 0001, Grant E. Weddell, Jiewen Wu |
Query Algebra and Query Optimization for Concept Assertion Retrieval. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
16 | José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
Assertion-based Slicing and Slice Graphs. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Faraz Hussain 0001, Gary T. Leavens |
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Hermann Lehner, Peter Müller 0001 |
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Harry Foster |
Applied Assertion-Based Verification: An Industry Perspective. |
Found. Trends Electron. Des. Autom. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Özlem Uzuner, Xiaoran Zhang, Tawanda C. Sibanda |
Research Paper: Machine Learning and Rule-based Approaches to Assertion Classification. |
J. Am. Medical Informatics Assoc. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | E. V. Kuzmin 0001, Valery A. Sokolov, D. Ju. Chalyy |
Application of the trace assertion method to the specification, design, and verification of automaton programs. |
Program. Comput. Softw. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar |
PSL Assertion Checking Using Temporally Extended High-Level Decision Diagrams. |
J. Electron. Test. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Olaf Noppens |
Negative Property Assertion Pattern (NPAs). |
WOP |
2009 |
DBLP BibTeX RDF |
|
16 | Jason G. Tong, Marc Boule, Zeljko Zilic |
Airwolf-TG: A test generator for assertion-based dynamic verification. |
HLDVT |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Knauth, Christof Fetzer, Pascal Felber |
Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations. |
ICST Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Christian Murphy, Kuang Shen, Gail E. Kaiser |
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Bogdan Korel, Qi Zhang, Li Tao |
Assertion-Based Validation of Modified Programs. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Mauro Pezzè, Jochen Wuttke |
LuMiNous - model-driven assertion generation for runtime failure detection. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Steininger |
Automated assertion transformation across multiple abstraction levels. (PDF / PS) |
|
2009 |
RDF |
|
16 | Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler 0001, Thomas Kropf, Wolfgang Rosenstiel |
Advanced Assertion-Based Design for Mixed-Signal Verification. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|