|
|
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. |
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 |
|
Displaying result #201 - #300 of 1208 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|