|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 910 occurrences of 589 keywords
|
|
|
Results
Found 1208 publication records. Showing 1208 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Yoonsik Cheon, Ashaveena Perumandla |
Specifying and checking method call sequences of Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 15(1), pp. 7-25, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Method call sequence specification, Programming by contract, Assertion, Pre and postconditions, Runtime checking, JML language |
17 | Deendayal Dinakarpandian, Tuanjie Tong, Yugyung Lee |
Modeling biomedical assertions in the semantic web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1357-1361, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scientific assertion, ontology, semantic web, representation, query, inferenceing |
17 | Pallavi Joshi, Koushik Sen, Mark Shlimovich |
Predictive testing: amplifying the effectiveness of software testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 561-564, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs |
17 | Samir Saklikar, Subir Saha |
Identity federation for voip-based services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Identity Management ![In: Proceedings of the 2007 Workshop on Digital Identity Management, Fairfax, VA, USA, November 2, 2007, pp. 62-71, 2007, ACM, 978-1-59593-889-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
SIP, voIP, identity, assertion, federation, SAML |
17 | Laurianne McLaughlin, Barton C. Massey |
In the News. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(1), pp. 108-113, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
identity metasystem, InfoCard, Security Assertion Markup Language, Sxip Identity, Liberty Alliance, GOSCON, security, Internet, IT, open source, government, SAML, Kerberos, X.509 |
17 | Philippe Collet, Alain Ozanne, Nicolas Rivierre |
On contracting different behavioral properties in component-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1798-1799, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
verification, component, contract, assertion, TLA |
17 | Deni Torres Román, Joaquín Cortez González, Raul Ernesto Gonzalez-Torres |
Improving the Digital Design with Semi-formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONIELECOMP ![In: 16th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2006), 27 February 2005 - 1 March 2006, Cholula, Puebla, Mexico, pp. 55, 2006, IEEE Computer Society, 0-7695-2505-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
semiformal specification, model checking tools, assertions, properties, Assertion based verification |
17 | Miron Abramovici, Paul Bradley, Kumar N. Dwarakanath, Peter Levin, Gérard Memmi, Dave Miller |
A reconfigurable design-for-debug infrastructure for SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 7-12, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
assertion-based debug, at-speed debug, what-if experiments, silicon debug |
17 | Íñigo Ugarte, Pablo Sanchez |
Verification of Embedded Systems Based on Interval Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 33(6), pp. 697-720, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Embedded system verification, design for verification, interval analysis, assertion-based verification |
17 | Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll |
An overview of JML tools and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(3), pp. 212-232, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Assertion checking, Java, Formal specification, Program verification, Design by Contract |
17 | Jean-François Couchot, Alain Giorgetti, Nikolai Kosmatov |
A uniform deductive approach for parameterized protocol safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 364-367, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
generalized substitutions, safety, assertion, symbolic model checking, reachability |
17 | Hasan M. Jamil, Gillian Dobbie |
On Logical Foundations of Multilevel Secure Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 23(3), pp. 271-294, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
MLS databases, belief assertion, inheritance and overriding, security, reasoning, deductive databases, declarative language, soundness and completeness |
17 | Nelly Delgado, Ann Q. Gates, Steve Roach |
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(12), pp. 859-872, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Assertion checkers, specification, survey, specification language, runtime monitors, software/program verification |
17 | Shaz Qadeer, Dinghao Wu |
KISS: keep it simple and sequential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 14-24, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
assertion checking, concurrent software, model checking, program analysis, race detection |
17 | Patrick C. K. Hung |
From Conflict of Interest to Separation of Duties in WS-Policy for Web Services Matchmaking Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
WS-PolicyAttachment, security assertion, Web services, delegation, matchmaking, separation of duties, conflict of interest, WS-Policy, service locator |
17 | Patrick C. K. Hung, Guang-Sha Qiu |
Specifying conflict of interest assertions in WS-policy with Chinese wall security policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGecom Exch. ![In: SIGecom Exch. 4(1), pp. 11-19, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
WS-policy attachment, security assertion, XML, security policy, delegation, matchmaking, conflict of interest, WS-policy, service locators, Chinese wall security policy |
17 | Neil Henderson |
Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 244-263, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
assertion networks, asynchronous communication, rely-guarantee |
17 | Andreas Blass, Yuri Gurevich |
Inadequacy of computable loop invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 2(1), pp. 1-11, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
postcondition uncomputable, recursive inseparability, assertion, automated reasoning, precondition, Hoare logic, automated deduction, loop invariants |
17 | Hasan M. Jamil |
Belief Reasoning in MLS Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1999, Proceedings ACM SIGMOD International Conference on Management of Data, June 1-3, 1999, Philadelphia, Pennsylvania, USA., pp. 109-120, 1999, ACM Press, 1-58113-084-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
MLS database, beleif assertion, inheritance and overriding, reasoning, Datalog, deductive databases, CORAL |
17 | Li-C. Wang, Magdy S. Abadir, Jing Zeng |
On measuring the effectiveness of various design validation approaches for PowerPC microprocessor embedded arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 3(4), pp. 524-532, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
assertion test generation, design error model, validation, ATPG, logic verification, symbolic trajectory evaluation |
17 | Alexander Borgida, John Mylopoulos, Raymond Reiter |
On the Frame Problem in Procedure Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(10), pp. 785-798, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
frame assertion, semantics of specification languages, specifications, languages, inheritance, Formal, proof obligations |
17 | Martina Schollmeyer, Bruce M. McMillin |
Checking Program Proofs Made Eas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 102-107, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
temporal subsumption, proof checking, assertion-based reasoning, formal methods, program verification |
17 | Nancy A. Lynch |
Simulation Techniques for Proving Properties of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX School/Symposium ![In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings, pp. 375-424, 1993, Springer, 3-540-58043-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
timing-based system, untimed system, invariant assertion, progress function, execution correspondence, Simulation, real-time system, lower bound, invariant, mutual exclusion, upper bound, clock synchronization, leader election, time bound |
17 | Yabo Wang, David Lorge Parnas |
Simulating the Behaviour of Software Modules by Trace Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993., pp. 14-23, 1993, IEEE Computer Society / ACM Press, 0-89791-588-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
formal specification method, module interface specification, module simulation, trace assertion method, software tool, finite state machine, term rewriting |
17 | Vijay Pitchumani, Edward P. Stabler |
Verification of Register Transfer Level Parallel Control Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 34(8), pp. 761-765, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
critical region, parallel control sequence, Assertion, register transfer level, shared resource, clock cycle, auxiliary variable, verification condition |
17 | Y. C. Hong, Stanley Y. W. Su |
Associative Hardware and Software Techniques for Integrity Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 6(3), pp. 416-440, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
assertion and trigger, associative techniques, cellular-logic devices, integrity control, database management, database integrity |
16 | Sijia Gu, Ali Mesbah 0001 |
Fine-Grained Assertion-Based Test Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.16001, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Yuelyu Ji, Zeshui Yu, Yanshan Wang |
Assertion Detection Large Language Model In-context Learning LoRA Fine-tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.17602, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Bhabesh Mali, Karthik Maddala, Sweeya Reddy, Vatsal Gupta, Chandan Karfa, Ramesh Karri |
ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.00093, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Nusrat Farzana Dipu, Avinash Ayalasomayajula, Mark M. Tehranipoor, Farimah Farahmandi |
AGILE: Automated Assertion Generation to Detect Information Leakage Vulnerabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 19, pp. 1794-1809, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles |
Sound Runtime Assertion Checking for Memory Properties via Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 36(1), pp. 4:1-4:46, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller |
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 36(1), pp. 2:1-2:24, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks 0001, Xi Chen 0003, Erik Bryhn Myklebust |
An assertion and alignment correction framework for large scale knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web ![In: Semantic Web 14(1), pp. 29-53, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Naiara Pérez, Montse Cuadros, German Rigau |
Negation and speculation processing: A study on cue-scope labelling and assertion classification in Spanish clinical text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Medicine ![In: Artif. Intell. Medicine 145, pp. 102682, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri |
An automated method for mining high-quality assertion sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 97, pp. 104773, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jeeyoung Yoon, Arida Ferti Syafiandini, Min Song 0001 |
Exploring the knowledge certainty shift: Metaknowledge analysis on drugs via assertion uncertainty burstiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Informetrics ![In: J. Informetrics 17(2), pp. 101412, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Henrik Dibowski |
Property Assertion Constraints for ontologies and knowledge graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Technol. Appl. ![In: Data Technol. Appl. 57(2), pp. 157-176, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Lucas Zamprogno, Braxton Hall, Reid Holmes, Joanne M. Atlee |
Dynamic Human-in-the-Loop Assertion Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(4), pp. 2337-2351, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Saranya Alagarsamy, Chakkrit Tantithamthavorn, Aldeida Aleti |
A3Test: Assertion-Augmented Automated Test Case Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.10352, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Wajdi Aljedaani, Mohamed Wiem Mkaouer, Anthony Peruma, Stephanie Ludi |
Do the Test Smells Assertion Roulette and Eager Test Impact Students' Troubleshooting and Debugging Capabilities? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.04234, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon |
Assertion Inferring Mutants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.12284, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Taryn Takebayashi, Anthony Peruma, Mohamed Wiem Mkaouer, Christian D. Newman |
An Exploratory Study on the Usage and Readability of Messages Within Assertion Methods of Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.00169, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tasmia Shahriar, Noboru Matsuda, Kelly Ramos |
Assertion Enhanced Few-Shot Learning: Instructive Technique for Large Language Models to Generate Educational Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.03122, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Weifeng Sun, Hongyan Li, Meng Yan 0001, Yan Lei, Hongyu Zhang |
Revisiting and Improving Retrieval-Augmented Deep Assertion Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.10264, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Richard Göbel, Stephanie Kitzing |
Defining Anonymity Properties of Datasets with the Compliance Assertion Language (COMPASS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Gov. Res. Pract. ![In: Digit. Gov. Res. Pract. 4(3), pp. 12:1-12:15, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Shubam Gupta, Ajith K. John, Mohit Kalra |
Assertion Based Verification using Yosys: A Case Study from Nuclear Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: 16th Innovations in Software Engineering Conference, ISEC2023, Allahabad, India, February 23-25, 2023, pp. 16:1-16:5, 2023, ACM, 979-8-4007-0064-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jiang Wu, Yaxuan Yang, Pu Sun, Mengxi Zhang |
Video Going Viral: Subjective Emotional Clash vs. Objective Emotional Assertion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WHICEB (1) ![In: E-Business. Digital Empowerment for an Intelligent Future - 22nd Wuhan International Conference, WHICEB 2023, Wuhan, China, May 26-28, 2023, Proceedings, Part I, pp. 156-169, 2023, Springer, 978-3-031-32298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Thibaut Benjamin, Julien Signoles |
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 1673-1680, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hasini Witharana, Sahan Sanjaya, Prabhat Mishra 0001 |
Dynamic Refinement of Hardware Assertion Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023, pp. 1-6, 2023, IEEE, 978-3-9819263-7-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon |
Enabling Efficient Assertion Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, pp. 623-634, 2023, IEEE, 979-8-3503-1594-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Thibaut Benajmin, Julien Signoles |
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 168-186, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tian-Fu Chen, Chun-Yu Wei, Jie-Hong R. Jiang |
VanQiRA: A Vanishing-State-Based Framework for Quantum Circuit Runtime Assertion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QCE ![In: IEEE International Conference on Quantum Computing and Engineering, QCE 2023, Bellevue, WA, USA, September 17-22, 2023, pp. 1033-1043, 2023, IEEE, 979-8-3503-4323-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Kouhei Mihara, Shinsuke Matsumoto, Shinji Kusumoto |
The Effects of Soft Assertion on Spectrum-Based Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES (1) ![In: Product-Focused Software Process Improvement - 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I, pp. 379-386, 2023, Springer, 978-3-031-49265-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tun Li, Mingchuan Shi, Hongji Zou, Wanxia Qu |
Towards Accelerating Assertion Coverage Using Surrogate Logic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2023, Monterey, CA, USA, May 21-25, 2023, pp. 1-5, 2023, IEEE, 978-1-6654-5109-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Taryn Takebayashi, Anthony Peruma, Mohamed Wiem Mkaouer, Christian D. Newman |
An Exploratory Study on the Usage and Readability of Messages Within Assertion Methods of Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLBSE@ICSE ![In: 2nd IEEE/ACM International Workshop on Natural Language-Based Software Engineering, NLBSE@ICSE 2023, Melbourne, Australia, May 20, 2023, pp. 32-39, 2023, IEEE, 979-8-3503-0178-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Weifeng Sun, Hongyan Li, Meng Yan 0001, Yan Lei, Hongyu Zhang |
Revisiting and Improving Retrieval-Augmented Deep Assertion Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 1123-1135, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Wajdi Aljedaani, Mohamed Wiem Mkaouer, Anthony Peruma, Stephanie Ludi |
Do the Test Smells Assertion Roulette and Eager Test Impact Students' Troubleshooting and Debugging Capabilities? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEET@ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, SEET@ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 29-39, 2023, IEEE, 979-8-3503-2259-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Min Li, Shizhan Chen, Guodong Fan, Lu Zhang, Hongyue Wu, Xiao Xue 0001, Zhiyong Feng 0002 |
Robustness-Enhanced Assertion Generation Method Based on Code Mutation and Attack Defense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom (2) ![In: Collaborative Computing: Networking, Applications and Worksharing - 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II, pp. 281-300, 2023, Springer, 978-3-031-54527-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Samuele Germiniani, Graziano Pravadelli |
HARM: A Hint-Based Assertion Miner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11), pp. 4277-4288, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Mingsheng Ying |
Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.01959, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves, Greg Chance, Tony Pipe, Kerstin Eder |
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.05273, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Railana Santana, Luana Almeida Martins, Tássio Virgínio, Larissa Rocha Soares, Heitor A. X. Costa, Ivan Machado |
Refactoring Assertion Roulette and Duplicate Assert test smells: a controlled experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.05539, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Hasini Witharana, Yangdi Lyu, Subodha Charles, Prabhat Mishra 0001 |
A Survey on Assertion-based Hardware Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 54(11s), pp. 225:1-225:33, January 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Song Wang, Liyan Tang, Akash Majety, Justin F. Rousseau, George Shih, Ying Ding 0001, Yifan Peng |
Trustworthy assertion classification through prompting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 132, pp. 104139, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Railana Santana, Luana Almeida Martins, Tássio Virgínio, Larissa Rocha Soares, Heitor A. X. Costa, Ivan Machado |
Refactoring Assertion Roulette and Duplicate Assert test smells: a controlled experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIBSE ![In: 25th Iberoamerican Conference on Software Engineering, CIbSE 2022, Cordoba, Argentina, 13 June - 17 June 2022., pp. 263-277, 2022, Curran Associates, 978-1-7138-5558-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Reza Heidari Iman, Jaan Raik, Gert Jervan, Tara Ghasempouri |
IMMizer: An Innovative Cost-Effective Method for Minimizing Assertion Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 25th Euromicro Conference on Digital System Design, DSD 2022, Maspalomas, Spain, August 31 - Sept. 2, 2022, pp. 671-678, 2022, IEEE, 978-1-6654-7404-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Ing-Jer Huang, Yi-Ju Ke, Shih-Jung Pao |
Critical Signature Assertion and On-the-Fly Recovery for Control Flow Errors in Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCSoC ![In: 15th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC 2022, Penang, Malaysia, December 19-22, 2022, pp. 284-290, 2022, IEEE, 978-1-6654-6499-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Austin Reid Thompson, Tanmay Bhowmik, Nan Niu |
Environment Assertion Driven Requirements Elicitation: A Preliminary Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE Workshops ![In: 30th IEEE International Requirements Engineering Conference Workshops, RE 2022 - Workshops, Melbourne, Australia, August 15-19, 2022, pp. 6-9, 2022, IEEE, 978-1-6654-6000-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Aditi, Michael S. Hsiao |
Hybrid Rule-based and Machine Learning System for Assertion Generation from Natural Language Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: IEEE 31st Asian Test Symposium, ATS 2022, Taichung City, Taiwan, November 21-24, 2022, pp. 126-131, 2022, IEEE, 978-1-6654-7227-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Mahmudul Hasan 0012, Tamzidul Hoque |
KEATON: Assertion-guided Attack on Combinational and Sequential Locking without Scan Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsianHOST ![In: Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2022, Singapore, Singapore, December 14-16, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-6114-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Zongxin Du, Xiaohong Liu 0007, Jie Xu, Guoshun Nan, Guangyu Wang |
Semantic Reasoning with NLI for Assertion Detection in Medical Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2022, Las Vegas, NV, USA, December 6-8, 2022, pp. 744-748, 2022, IEEE, 978-1-6654-6819-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Bosio, Moreno Bragaglio, Samuele Germiniani, Samuele Mori, Graziano Pravadelli, Marcello Traiola |
Assertion-aware approximate computing design exploration on behavioral models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATS ![In: 23rd IEEE Latin American Test Symposium, LATS 2022, Montevideo, Uruguay, September 5-8, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-5707-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Michele Boldo, Nicola Bombieri, Mirco De Marchi, Luca Geretti, Samuele Germiniani, Graziano Pravadelli |
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATS ![In: 23rd IEEE Latin American Test Symposium, LATS 2022, Montevideo, Uruguay, September 5-8, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-5707-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Zahra Kazemi, Amin Norollah, Mahdi Fazeli, David Hély, Vincent Beroulle |
An Offline Hardware Security Assessment Approach using Symbol Assertion and Code Shredding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 23rd International Symposium on Quality Electronic Design, ISQED 2022, Santa Clara, CA, USA, April 6-7, 2022, pp. 1, 2022, IEEE, 978-1-6654-9466-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Hao Yu, Yiling Lou, Ke Sun, Dezhi Ran, Tao Xie 0001, Dan Hao 0001, Ying Li 0012, Ge Li 0001, Qianxiang Wang |
Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, pp. 163-174, 2022, ACM, 978-1-4503-9221-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Xuejian Li, Yun Yu |
Quantified Assertion Verification Method for Non-linear Arithmetic and Mutable Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSSE ![In: Proceedings of the 4th World Symposium on Software Engineering, WSSE 2022, Xiamen, China, September 28-30, 2022, pp. 39-44, 2022, ACM, 978-1-4503-9695-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Salim Yahia Kissi, Rabéa Ameur-Boulifa, Yassamine Seladji |
Security Vulnerabilities Detection Through Assertion-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 381-387, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Song Wang, Liyan Tang, Akash Majety, Justin F. Rousseau, George Shih, Ying Ding 0001, Yifan Peng |
Prompt-based Learning for Assertion Classification in Clinical Notes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2022, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 5-9, 2022, 2022, AMIA. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
16 | Dara Ly |
Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C. (Formalization of a Runtime Assertion Checker for Memory Properties of C Programs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
16 | John Turri |
Truth, fallibility, and justification: new studies in the norms of assertion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(9), pp. 8073-8084, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Massimiliano Carrara, Daniele Chiffi, Ciro De Florio |
Some Remarks on Assertion and Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 321-328, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Ciro De Florio |
Reflections on Logics for Assertion and Denial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 453-468, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Daniele Chiffi |
Asserting Boo! and Horray! Pragmatic Logic for Assertion and Moral Attitudes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 397-422, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo |
VeriFly: On-the-fly Assertion Checking via Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.07045, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché |
Explaining Counterexamples with Giant-Step Assertion Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 82-88, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Maneet Singh, Rishemjit Kaur, Akiko Matsuo, S. R. S. Iyengar, Kazutoshi Sasahara |
Morality-based Assertion and Homophily on Social Media: A Cultural Comparison between English and Japanese Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.10643, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè |
GAssert: A Fully Automated Tool to Improve Assertion Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.02901, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
Assertion-based Approaches to Auditing Complex Elections, with application to party-list proportional elections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.11903, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Ashwani Kumar |
Assertion Based Functional Verification of March Algorithm Based MBIST Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.11461, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Christopher Harper, Greg Chance, Abanoub Ghobrial, Saquib Alam, Tony Pipe, Kerstin Eder |
Safety Validation of Autonomous Vehicles using Assertion-based Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.04611, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Jon Peterson |
Personal Assertion Token (PASSporT) Extension for Diverted Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8946, pp. 1-17, February 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Martin Dolly, Chris Wendt |
Assertion Values for Resource Priority Header and SIP Priority Header Claims in Support of Emergency Services Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9027, pp. 1-7, June 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Sankaran Narayanan, Pradeep Achan, P. Venkat Rangan, Sreeranga P. Rajan |
Unified concept and assertion detection using contextual multi-task learning in a clinical decision support system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 122, pp. 103898, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo |
VeriFly: On-the-fly Assertion Checking via Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 21(6), pp. 768-784, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Giorgio Sbardolini |
Assertion, Rejection, and Semantic Universals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings, pp. 183-191, 2021, Springer, 978-3-030-88707-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Toon Koppelaars, Xavier Oriol, Ernest Teniente, Sergi Curto, Eduard Pujol |
UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021, pp. 3152-3156, 2021, ACM, 978-1-4503-8446-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Padmaja Bhamidipati, Shanmukha Murali Achyutha, Ranga Vemuri |
Security Analysis of a System-on-Chip Using Assertion-Based Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: 64th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2021, Lansing, MI, USA, August 9-11, 2021, pp. 826-831, 2021, IEEE, 978-1-6654-2461-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Subashree Raja, Padmaja Bhamidipati, Xiaobang Liu, Ranga Vemuri |
Security Capsules: An Architecture for Post-Silicon Security Assertion Validation for Systems-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2021, Tampa, FL, USA, July 7-9, 2021, pp. 248-253, 2021, IEEE, 978-1-6654-3946-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Shkil, Anatolii Miroshnyk, Georgiy Kulak, Kyrylo Pshenychnyi |
Assertion Based Design of Timed Finite State Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: IEEE East-West Design & Test Symposium, EWDTS 2021, Batumi, Georgia, September 10-13, 2021, pp. 1-4, 2021, IEEE, 978-1-6654-4503-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Ji Liu 0007, Huiyang Zhou |
Systematic Approaches for Precise and Approximate Quantum State Runtime Assertion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: IEEE International Symposium on High-Performance Computer Architecture, HPCA 2021, Seoul, South Korea, February 27 - March 3, 2021, pp. 179-193, 2021, IEEE, 978-1-6654-2235-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1208 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|