|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1311 occurrences of 799 keywords
|
|
|
Results
Found 1476 publication records. Showing 1476 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Li-C. Wang, Magdy S. Abadir, Nari Krishnamurthy |
Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
PowerPC |
24 | Erran Carmel |
Thirteen Assertions for Globally Dispersed Software Development Research. |
HICSS (3) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Henrik Reif Andersen, Bart Vergauwen |
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
24 | John Lamping, Martín Abadi |
Methods as Assertions. |
ECOOP |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Doina Bucur, Marta Z. Kwiatkowska |
Software verification for TinyOS. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
sensor networks, model checking, reliability, safety, software verification, TinyOS, telos, MSP430 |
23 | Mark Stephenson, Ram Rangan, Emmanuel Yashchin, Eric Van Hensbergen |
Statistically regulating program behavior via mainstream computing. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
collaborative community, mainstream computing |
23 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
A calculus of atomic actions. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
abstraction, concurrent programs, reduction, atomicity |
23 | Mauro Pezzè, Jochen Wuttke |
LuMiNous - model-driven assertion generation for runtime failure detection. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Aaron R. Bradley, Zohar Manna |
Property-directed incremental invariant generation. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Polynomial invariants, Clausal invariants, Model checking, Static analysis, Affine invariants, Invariant generation |
23 | Aytekin Vargun, David R. Musser |
Code-carrying theory. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
secure code delivery, correctness, proof-carrying code, memory safety |
23 | Jianfeng Du, Yi-Dong Shen |
Computing minimum cost diagnoses to repair populated DL-based ontologies. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
ontologies, diagnosis, description logics, disjunctive datalog |
23 | Daniel Leivant |
Reasoning in Dynamic Logic about Program Termination. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ayla Dantas, Francisco Vilar Brasileiro, Walfredo Cirne |
Improving Automated Testing of Multi-threaded Software. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
multi-threaded systems development, Aspect-Oriented Programming, test-driven development, Automated testing, application monitoring |
23 | Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Masoud Daneshtalab, Saeed Safari, Zainalabedin Navabi |
On-Chip Verification of NoCs Using Assertion Processors. |
DSD |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Sumit Gulwani, Ashish Tiwari 0001 |
Computing Procedure Summaries for Interprocedural Analysis. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Pallavi Joshi, Koushik Sen, Mark Shlimovich |
Predictive testing: amplifying the effectiveness of software testing. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs |
23 | Marc Boule, Jean-Samuel Chenard, Zeljko Zilic |
Assertion Checkers in Verification, Silicon Debug and In-Field Diagnosis. |
ISQED |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee 0001 |
A logic for information flow in object-oriented programs. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
information flow, confidentiality, aliasing |
23 | Tao Xie 0001 |
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Eric Bodden, Volker Stolz |
Tracechecks: Defining Semantic Interfaces with Temporal Logic. |
SC@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind |
Live sequence charts applied to hardware requirements specification and verification. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts |
23 | Aaron R. Bradley, Zohar Manna |
Termination and Invariance Analysis of Loops. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi |
Adaptive Runtime Verification for Autonomic Communication Infrastructures. |
WOWMOM |
2005 |
DBLP DOI BibTeX RDF |
|
23 | John P. Gallagher, Germán Puebla, Elvira Albert |
Converting One Type-Based Abstract Domain to Another. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Elvira Albert, Germán Puebla, John P. Gallagher |
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001 |
The BUSpec platform for automated generation of verification aids for standard bus protocols. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Therapon Skotiniotis, David H. Lorenz |
Cona: aspects for contracts and contracts for aspects. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
design by contract (DBC), aspect-oriented programming (AOP) |
23 | Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron |
Filtering TOBIAS Combinatorial Test Suites. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
VDM, combinatorial testing, JML, model-based specifications |
23 | C. A. R. Hoare |
Towards the Verifying Compiler. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Pedro Guerreiro |
Simple Support for Design by Contract in C++. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Manuel V. Hermenegildo |
A Documentation Generator for (C)LP Systems. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Tim Van Allen, James P. Delgrande, Arvind Gupta |
Point-Based Approaches to Qualitative Temporal Reasoning. |
PRICAI |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Weidong Chen |
Declarative Specification and Evaluation of Database Updates. |
DOOD |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Robert P. Kurshan |
Analysis of Discrete Event Coordination. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
coordination analysis, formal verification, refinement, reduction, homomorphism |
23 | Ziya Aral, Ilya Gertner |
High-Level Debugging in Parasight. |
Workshop on Parallel and Distributed Debugging |
1988 |
DBLP DOI BibTeX RDF |
|
23 | Joseph Y. Halpern, Albert R. Meyer |
Axiomatic Definitions of Programming Languages, II. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
23 | Albert R. Meyer, Joseph Y. Halpern |
Axiomatic Definitions of Programming Languages: A Theoretical Assessment. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
23 | Cheng-Wen Cheng, Jonas Rabin |
Synthesis of Decision Rules. |
Commun. ACM |
1976 |
DBLP DOI BibTeX RDF |
|
17 | 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 |
17 | 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 |
17 | Martin Süßkraut, Thomas Knauth, Stefan Weigert, Ute Schiffel, Martin Meinhold, Christof Fetzer |
Prospect: a compiler framework for speculative parallelization. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
bounds checker, stack translation, parallelization, assertions, speculation |
17 | Gordon Fraser 0001, Andreas Zeller |
Mutation-driven generation of unit tests and oracles. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
unit testing, assertions, test case generation, mutation testing, test oracles, mutation analysis, search based testing |
17 | Wenchao Li 0001, Alessandro Forin, Sanjit A. Seshia |
Scalable specification mining for verification and diagnosis. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
error localization, verification, formal specification, debugging, diagnosis, assertions, post-silicon validation |
17 | Iman Narasamdya, Michaël Périn |
Certification of smart-card applications in common criteria. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques |
17 | David Briggs, Suad Alagic |
Algebraic specification techniques for parametric types with logic-based constraints. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
parametric types, verification theories, assertions, PVS, JML |
17 | Tom Ridge |
Verifying distributed systems: the operational approach. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning |
17 | Jiang Long, Andrew Seawright, Paparao Kavalipati |
Multi-clock SVA synthesis without re-writing. |
ASP-DAC |
2009 |
DBLP DOI BibTeX RDF |
SVA, multi-clock SVA assertions |
17 | Bassem Elkarablieh, Sarfraz Khurshid |
Juzi: a tool for repairing complex data structures. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
systematic search, symbolic execution, assertions, error recovery, data structure repair |
17 | Beverly A. Sanders, KyungHee Kim |
Assertional reasoning about data races in relaxed memory models. |
PPoPP |
2008 |
DBLP DOI BibTeX RDF |
assertions, memory model, data race, sequential consistency |
17 | Babu Turumella, Mukesh Sharma |
Assertion-based verification of a 32 thread SPARCTM CMT microprocessor. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
simulation, verification, coverage, assertions, multi-threading |
17 | Richard Riehle |
Designing software components to tolerances. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
post-conditions, pre-conditions, snugness of fit, design, metrics, components, constraints, invariants, assertions, tolerances |
17 | 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 |
17 | Angelo Furfaro, Libero Nigro, Francesco Pupo |
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. |
Real Time Syst. |
2006 |
DBLP DOI BibTeX RDF |
real-time constrains, Java, prototyping, assertions, integrated development environment, hierarchical state machines, modular modelling |
17 | Klaus Meffert |
Supporting Design Patterns with Annotations. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
words: semantic assertions, selecting design patterns, design pattern intentions, design pattern templates, Java, annotations |
17 | Marc Shapiro 0001 |
Practical proofs of concurrent programs. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
concurrent programming, assertions, hoare logic, program proofs, rely-guarantee |
17 | Harry M. Sneed |
Selective Regression Testing of a Host to DotNet Migration. |
ICSM |
2006 |
DBLP DOI BibTeX RDF |
DotNet, SQLServer, XML, Regression Testing, Assertions, File Comparison |
17 | Sidi O. Ehmety, Lawrence C. Paulson |
Mechanizing compositional reasoning for concurrent systems: some lessons. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Existential properties, Universal properties, Guarantees assertions, UNITY, Isabelle, Compositional reasoning |
17 | Fernando Cortez Sica, Claudionor José Nunes Coelho Jr., José Augusto Miranda Nacif, Harry Foster, Antônio Otávio Fernandes |
Exception handling in microprocessors using assertion libraries. |
SBCCI |
2004 |
DBLP DOI BibTeX RDF |
exceptions handling, assertions |
17 | Harry M. Sneed |
Testing a Web Application. |
WSE |
2004 |
DBLP DOI BibTeX RDF |
Web Applications, Evolution, Regression Testing, Assertions, File Comparison |
17 | Wolfgang Schreiner |
A java toolkit for teaching distributed algorithms. |
ITiCSE |
2002 |
DBLP DOI BibTeX RDF |
Java, visualization, distributed computing, message passing, assertions, applets |
17 | C. Joncheng Kuo, Polar Humenn |
Dynamically authorized role-based access control for secure distributed computation. |
XML Security |
2002 |
DBLP DOI BibTeX RDF |
XML-based security assertions, authorization domain, CORBA, Role-based access control, attribute certificates |
17 | Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham |
Validation of PowerPC(tm) Custom Memories using Symbolic Simulation. |
VTS |
2000 |
DBLP DOI BibTeX RDF |
Simulation, Validation, Memories, Assertions, Symbolic |
17 | Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer |
Specification of Realtime Systems Using ASTRAL. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems |
17 | Jeffrey M. Voas, Keith W. Miller 0001 |
The Avalanche Paradigm: An Experimental Software Programming Technique for Improving Fault-tolerance. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
static error flow analysis, fault-tolerance, fault, assertions, propagation, software safety, hazard |
17 | Oded Goldreich 0001, Shafi Goldwasser, Dana Ron |
Property Testing and Its Connection to Learning and Approximation. |
FOCS |
1996 |
DBLP DOI BibTeX RDF |
unknown function, property testing algorithm, graph property testing, k-colorable graph, /spl rho/-clique, input graph, testing, approximation, querying, assertions, probabilistic algorithm, learning theory, property testing |
17 | Giuseppe Di Battista, Maurizio Lenzerini |
Deductive Entity-Relationship Modeling. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
deductive entity relationship modelling, IS-A, disjointness relations, mandatory participation, formal basis, computational complexity, semantics, conceptual modeling, deductive databases, first-order logic, inference mechanisms, assertions, classes, entity-relationship modelling, interdependencies, polynomial time complexity, inference algorithm |
17 | Roberto Maiocchi, Barbara Pernici, Federico Barbic |
Automatic Deduction of Temporal Information. |
ACM Trans. Database Syst. |
1992 |
DBLP DOI BibTeX RDF |
meta-level temporal assertions, temporal modalities, time calculus, events, temporal database, propositions |
17 | Stephen L. Bloom, Zoltán Ésik |
Floyd-Hoare Logic in Iteration Theories. |
J. ACM |
1991 |
DBLP DOI BibTeX RDF |
correction assertions, Hoare logic |
17 | Ichiro Suzuki, Harngdar Lu |
Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
Temporal Petri nets, handshake daisy chain arbiter, temporal logic operations, temporal assertions, eventuality, modeling, Petri nets, fairness, analysis, timing constraints, formal logic, temporal relationships, causal relationships |
17 | Vijay Pitchumani, Edward P. Stabler |
An Inductive Assertion Method for Register Transfer Level Design Verification. |
IEEE Trans. Computers |
1983 |
DBLP DOI BibTeX RDF |
inductive assertion method, synchronous logic, theorem proving, Assertions, predicate calculus, register transfer level design, verification condition |
17 | Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe |
The Euclid Language: a progress report. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
Legality assertions, Machine dependencies, Visibility of names, Reliability, Verification, Language, Pascal, Aliasing, Storage allocation, Systems programming, Data encapsulation, Parameterized types, Euclid, EUCLID |
17 | George W. Ernst, Raymond J. Hookway |
The Use of Higher Order Logic in Program Verification. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
inductive assertions, program verification, Heuristic search, higher order logic, mechanical theorem proving |
17 | Matthew M. Geller |
Test Data as an Aid in Proving Program Correctness. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
Inductive assertions, Modular programming, Program verification, Program testing, Recursive programs |
16 | Konstantinos Mamouras, Agnishom Chattopadhyay |
Efficient Matching of Regular Expressions with Lookaround Assertions. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Wenji Fang, Mengming Li, Min Li, Zhiyuan Yan, Shang Liu, Hongce Zhang, Zhiyao Xie |
AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Shreya Shankar, Haotian Li, Parth Asawa, Madelon Hulsebos, Yiming Lin, J. D. Zamfirescu-Pereira, Harrison Chase, Will Fu-Hinthorn, Aditya G. Parameswaran, Eugene Wu 0002 |
SPADE: Synthesizing Assertions for Large Language Model Pipelines. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Arumoy Shome, Luis Cruz 0002, Arie van Deursen |
Towards Automatic Translation of Machine Learning Visual Insights to Analytical Assertions. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Yoonsik Cheon |
Constructive Assertions with Abstract Models. |
MODELSWARD |
2024 |
DBLP BibTeX RDF |
|
16 | Hasini Witharana, Aruna Jayasena, Andrew Whigham, Prabhat Mishra 0001 |
Automated Generation of Security Assertions for RTL Models. |
ACM J. Emerg. Technol. Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Yuan Feng 0001, Li Zhou, Yingte Xu |
Refinement calculus of quantum programs with projective assertions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Ehsan Faghih, Huiyang Zhou |
Dynamic Runtime Assertions in Quantum Ternary Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Rahul Kande, Hammond Pearce, Benjamin Tan 0001, Brendan Dolan-Gavitt, Shailja Thakur, Ramesh Karri, Jeyavijayan Rajendran |
LLM-assisted Generation of Hardware Assertions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Arnav Singhvi, Manish Shetty, Shangyin Tan, Christopher Potts, Koushik Sen, Matei Zaharia, Omar Khattab |
DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh |
Solving the insecurity problem for assertions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hasini Witharana, Daniel Volya, Prabhat Mishra 0001 |
quAssert: Automatic Generation of Quantum Assertions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Sihem Belabbes, Salem Benferhat |
Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Linda Brodo, Roberto Bruni, Moreno Falaschi |
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah |
Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. |
SAC |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola |
Exploiting assertions mining and fault analysis to guide RTL-level approximation. |
DATE |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Masoumeh Taromirad, Per Runeson |
A Literature Survey of Assertions in Software Testing. |
ECBS |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Audrey Yang, Sam Kamien, Anahita Davoudi, Sy Hwang, Meet Gandhi, Ryan J. Urbanowicz, Danielle L. Mowery |
Relation Detection to Identify Stroke Assertions from Clinical Notes Using Natural Language Processing. |
MedInfo |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Ondrej Guth |
On Expressive Power of Regular Expressions with Subroutine Calls and Lookaround Assertions. |
PSC |
2023 |
DBLP BibTeX RDF |
|
16 | Yoonsik Cheon, Ricardo Lozano, Rajasoundarya Senthil Prabhu |
A Library-Based Approach for Writing Design Assertions. |
SERA |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller 0001 |
Formal Reasoning Using Distributed Assertions. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler |
Indexed and fibered structures for partial and total correctness assertions. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Sébastien Perron, Mourad Badri, Linda Badri |
Detecting and Confining Software Errors: An Evaluation of Three Executable Assertions Based Solutions. |
J. Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Aruna Jayasena, Binod Kumar, Subodha Charles, Hasini Witharana, Prabhat Mishra 0001 |
Network-on-Chip Trust Validation Using Security Assertions. |
J. Hardw. Syst. Secur. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Samuele Germiniani, Alessandro Danese, Graziano Pravadelli |
Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences. |
IEEE Trans. Emerg. Top. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Sudipa Mandal, Pallab Dasgupta |
Migrating Assertions From Dense to Discrete Time. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Kang, Nikos Aréchiga, Sudeep Pillai, Peter Bailis, Matei Zaharia |
Finding Label and Model Errors in Perception Data With Learned Observation Assertions. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
Displaying result #201 - #300 of 1476 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|