Search results for "Assertion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Yoonsik Cheon, Ashaveena Perumandla	Specifying and checking method call sequences of Java programs.	Softw. Qual. J.	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.	SAC	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.	ESEC/SIGSOFT FSE	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.	Digital Identity Management	2007	DBLP DOI BibTeX RDF	SIP, voIP, identity, assertion, federation, SAML
17	Laurianne McLaughlin, Barton C. Massey	In the News.	IEEE Softw.	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.	SAC	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.	CONIELECOMP	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.	DAC	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.	Int. J. Parallel Program.	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.	Int. J. Softw. Tools Technol. Transf.	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.	ASE	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.	J. Intell. Inf. Syst.	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.	IEEE Trans. Software Eng.	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.	PLDI	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.	HICSS	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.	SIGecom Exch.	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.	FME	2003	DBLP DOI BibTeX RDF	assertion networks, asynchronous communication, rely-guarantee
17	Andreas Blass, Yuri Gurevich	Inadequacy of computable loop invariants.	ACM Trans. Comput. Log.	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.	SIGMOD Conference	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.	ACM Trans. Design Autom. Electr. Syst.	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.	IEEE Trans. Software Eng.	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.	COMPSAC	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.	REX School/Symposium	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.	ICSE	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.	IEEE Trans. Computers	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.	ACM Trans. Database Syst.	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.	CoRR	2024	DBLP DOI BibTeX RDF
16	Yuelyu Ji, Zeshui Yu, Yanshan Wang	Assertion Detection Large Language Model In-context Learning LoRA Fine-tuning.	CoRR	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.	CoRR	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.	IEEE Trans. Inf. Forensics Secur.	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.	Formal Aspects Comput.	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.	Formal Aspects Comput.	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.	Semantic Web	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.	Artif. Intell. Medicine	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.	Microprocess. Microsystems	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.	J. Informetrics	2023	DBLP DOI BibTeX RDF
16	Henrik Dibowski	Property Assertion Constraints for ontologies and knowledge graphs.	Data Technol. Appl.	2023	DBLP DOI BibTeX RDF
16	Lucas Zamprogno, Braxton Hall, Reid Holmes, Joanne M. Atlee	Dynamic Human-in-the-Loop Assertion Generation.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
16	Saranya Alagarsamy, Chakkrit Tantithamthavorn, Aldeida Aleti	A3Test: Assertion-Augmented Automated Test Case Generation.	CoRR	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?	CoRR	2023	DBLP DOI BibTeX RDF
16	Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon	Assertion Inferring Mutants.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
16	Richard Göbel, Stephanie Kitzing	Defining Anonymity Properties of Datasets with the Compliance Assertion Language (COMPASS).	Digit. Gov. Res. Pract.	2023	DBLP DOI BibTeX RDF
16	Shubam Gupta, Ajith K. John, Mohit Kalra	Assertion Based Verification using Yosys: A Case Study from Nuclear Domain.	ISEC	2023	DBLP DOI BibTeX RDF
16	Jiang Wu, Yaxuan Yang, Pu Sun, Mengxi Zhang	Video Going Viral: Subjective Emotional Clash vs. Objective Emotional Assertion.	WHICEB (1)	2023	DBLP DOI BibTeX RDF
16	Thibaut Benjamin, Julien Signoles	Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates.	SAC	2023	DBLP DOI BibTeX RDF
16	Hasini Witharana, Sahan Sanjaya, Prabhat Mishra 0001	Dynamic Refinement of Hardware Assertion Checkers.	DATE	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.	ISSRE	2023	DBLP DOI BibTeX RDF
16	Thibaut Benajmin, Julien Signoles	Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking.	TAP	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.	QCE	2023	DBLP DOI BibTeX RDF
16	Kouhei Mihara, Shinsuke Matsumoto, Shinji Kusumoto	The Effects of Soft Assertion on Spectrum-Based Fault Localization.	PROFES (1)	2023	DBLP DOI BibTeX RDF
16	Tun Li, Mingchuan Shi, Hongji Zou, Wanxia Qu	Towards Accelerating Assertion Coverage Using Surrogate Logic Models.	ISCAS	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.	NLBSE@ICSE	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.	ASE	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?	SEET@ICSE	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.	CollaborateCom (2)	2023	DBLP DOI BibTeX RDF
16	Samuele Germiniani, Graziano Pravadelli	HARM: A Hint-Based Assertion Miner.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
16	Mingsheng Ying	Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs.	CoRR	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.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
16	Hasini Witharana, Yangdi Lyu, Subodha Charles, Prabhat Mishra 0001	A Survey on Assertion-based Hardware Verification.	ACM Comput. Surv.	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.	J. Biomed. Informatics	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.	CIBSE	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.	DSD	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.	MCSoC	2022	DBLP DOI BibTeX RDF
16	Austin Reid Thompson, Tanmay Bhowmik, Nan Niu	Environment Assertion Driven Requirements Elicitation: A Preliminary Study.	RE Workshops	2022	DBLP DOI BibTeX RDF
16	Aditi, Michael S. Hsiao	Hybrid Rule-based and Machine Learning System for Assertion Generation from Natural Language Specifications.	ATS	2022	DBLP DOI BibTeX RDF
16	Mahmudul Hasan 0012, Tamzidul Hoque	KEATON: Assertion-guided Attack on Combinational and Sequential Locking without Scan Access.	AsianHOST	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.	BIBM	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.	LATS	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.	LATS	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.	ISQED	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.	ICSE	2022	DBLP DOI BibTeX RDF
16	Xuejian Li, Yun Yu	Quantified Assertion Verification Method for Non-linear Arithmetic and Mutable Data Structures.	WSSE	2022	DBLP DOI BibTeX RDF
16	Salim Yahia Kissi, Rabéa Ameur-Boulifa, Yassamine Seladji	Security Vulnerabilities Detection Through Assertion-Based Approach.	TASE	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.	AMIA	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).		2022	RDF
16	John Turri	Truth, fallibility, and justification: new studies in the norms of assertion.	Synth.	2021	DBLP DOI BibTeX RDF
16	Massimiliano Carrara, Daniele Chiffi, Ciro De Florio	Some Remarks on Assertion and Proof.	FLAP	2021	DBLP BibTeX RDF
16	Ciro De Florio	Reflections on Logics for Assertion and Denial.	FLAP	2021	DBLP BibTeX RDF
16	Daniele Chiffi	Asserting Boo! and Horray! Pragmatic Logic for Assertion and Moral Attitudes.	FLAP	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.	CoRR	2021	DBLP BibTeX RDF
16	Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché	Explaining Counterexamples with Giant-Step Assertion Checking.	F-IDE@NFM	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.	CoRR	2021	DBLP BibTeX RDF
16	Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè	GAssert: A Fully Automated Tool to Improve Assertion Oracles.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
16	Ashwani Kumar	Assertion Based Functional Verification of March Algorithm Based MBIST Controller.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
16	Jon Peterson	Personal Assertion Token (PASSporT) Extension for Diverted Calls.	RFC	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.	RFC	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.	J. Biomed. Informatics	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.	Theory Pract. Log. Program.	2021	DBLP DOI BibTeX RDF
16	Giorgio Sbardolini	Assertion, Rejection, and Semantic Universals.	LORI	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.	CIKM	2021	DBLP DOI BibTeX RDF
16	Padmaja Bhamidipati, Shanmukha Murali Achyutha, Ranga Vemuri	Security Analysis of a System-on-Chip Using Assertion-Based Verification.	MWSCAS	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.	ISVLSI	2021	DBLP DOI BibTeX RDF
16	Alexander Shkil, Anatolii Miroshnyk, Georgiy Kulak, Kyrylo Pshenychnyi	Assertion Based Design of Timed Finite State Machine.	EWDTS	2021	DBLP DOI BibTeX RDF
16	Ji Liu 0007, Huiyang Zhou	Systematic Approaches for Precise and Approximate Quantum State Runtime Assertion.	HPCA	2021	DBLP DOI BibTeX RDF