|
|
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 |
131 | Michael Hammer, Sunil K. Sarin |
Efficient Monitoring of Database Assertions (Abstract). |
SIGMOD Conference |
1978 |
DBLP DOI BibTeX RDF |
|
120 | Nirmal R. Saxena, Edward J. McCluskey |
Linear Complexity Assertions for Sorting. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data |
94 | Yoonsik Cheon, Gary T. Leavens |
A contextual interpretation of undefinedness for runtime assertion checking. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions |
86 | Takashi Ishio, Shinji Kusumoto, Katsuro Inoue, Toshihiro Kamiya |
Aspect-Oriented Modularization of Assertion Crosscutting Objects. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
76 | Marc Boule, Zeljko Zilic |
Automata-based assertion-checker synthesis of PSL properties. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
assertion checkers, emulation, hardware, automata, PSL, Assertion-Based Verification |
68 | Ansuman Banerjee, Kausik Datta, Pallab Dasgupta |
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
68 | Guowu Yang, Jin Yang 0006, Xiaoyu Song, Fei Xie |
Maximal Models of Assertion Graph in GSTE. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
|
68 | Samir Saklikar, Subir Saha |
Next steps for security assertion markup language (saml). |
SWS |
2007 |
DBLP DOI BibTeX RDF |
liberty alliance, multifactor, identity, delegation, assertion, federation, SAML |
67 | Harry Foster |
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial). |
CAV |
2008 |
DBLP DOI BibTeX RDF |
Simulation, Formal Verification, Debugging, Assertion, Functional Verification, Property Specification, Assertion-Based Verification |
61 | Michael Siegel, Adriana Maggiore, Christian Pichler |
Untwist your brain: efficient debugging and diagnosis of complex assertions. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
SystemVerilog assertions, debugging, assertions, fault localization, functional verification, root cause analysis |
60 | Francisco José Galán Morillo, José Miguel Cañete Valdeón |
A Method for Compiling and Executing Expressive Assertions. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
programming with assertions, meaning-preservingtransformation, formal specification, testing, logic program, correctness, Assertion, program synthesis |
60 | Yannick Moy |
Sufficient Preconditions for Modular Assertion Checking. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
60 | Amir Hekmatpour, Azadeh Salehi |
Block-based Schema-driven Assertion Generation for Functional Verification. |
Asian Test Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
60 | Alan J. Hu, Jeremy Casas, Jin Yang 0006 |
Reasoning about GSTE Assertion Graphs. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
59 | Rajdeep Mukhopadhyay, Subrat Kumar Panda, Pallab Dasgupta, John Gough |
Instrumenting AMS assertion verification on commercial platforms. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
OVL, SVA, integrated mixed signal design, verification library, simulation, Assertion |
59 | Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid |
Assertion-based repair of complex data structures. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
assertion-driven development, systematic search, symbolic execution, error recovery, data structure repair |
59 | Kai-Hui Chang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo |
A Temporal Assertion Extension to Verilog. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
temporal assertion, verification, PSL |
59 | Ryszard Janicki, Emil Sekerinski |
Foundations of the Trace Assertion Method of Module Interface Specification. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences |
51 | Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi |
Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
Assertion Synthesis, Assertion Unification, Online Testing |
51 | Grant Martin |
Learning to assert yourself [review of Creating Assertion-Based IP (H.D. Foster and A.C. Krolnik; 2008)]. |
IEEE Des. Test Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Guowu Yang, Jin Yang 0006, William N. N. Hung, Xiaoyu Song |
Implication of assertion graphs in GSTE. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
50 | Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki |
Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
assertion code, constraints, programming languages, OCL |
50 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli |
Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. |
IEEE Des. Test Comput. |
2007 |
DBLP DOI BibTeX RDF |
hybrid, RTL, design flow, TLM, assertion-based verification |
50 | Li-C. Wang, Magdy S. Abadir |
Test Generation Based on High-Level Assertion Specification for PowerPCTM Microprocessor Embedded Arrays. |
J. Electron. Test. |
1998 |
DBLP DOI BibTeX RDF |
high-level test generation, assertion test generation, design validation, logic verification, symbolic trajectory evaluation |
50 | Bogdan Korel, Ali M. Al-Yami |
Assertion-Oriented Automated Test Data Generation. |
ICSE |
1996 |
DBLP BibTeX RDF |
assertion oriented automated test data generation, automatic run time detection, program input, software engineering, program testing, automatic programming, white box testing, automated test data generation, software errors |
44 | 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 |
44 | Stephen D. Brookes |
Semantically Based Axiomatics. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
44 | Edmund M. Clarke |
Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems. |
POPL |
1977 |
DBLP DOI BibTeX RDF |
|
42 | Patrice Chalin, Frédéric Rioux |
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Sumit Gulwani, Ashish Tiwari 0001 |
Assertion Checking Unified. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Íñigo Ugarte, Pablo Sanchez |
Assertion checking of control dominated systems with nonlinear solvers. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Nikhil Sethi, Clark W. Barrett |
cascade: C Assertion Checker and Deductive Engine. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Ambar A. Gadkari, S. Ramesh 0002 |
Automated Synthesis of Assertion Monitors using Visual Specifications. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Marc Boule, Zeljko Zilic |
Incorporating Ef.cient Assertion Checkers into Hardware Emulation. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Alan J. Hu, Jeremy Casas, Jin Yang |
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Xiaorong Huang |
Reconstruction Proofs at the Assertion Level. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
42 | Tun Li, Yang Guo 0003, Sikun Li |
Assertion-based automated functional vectors generation using constraint logic programming. |
ACM Great Lakes Symposium on VLSI |
2004 |
DBLP DOI BibTeX RDF |
test generation, assertion, constraint logic programming, functional verification, decision diagrams |
35 | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti |
Inline Assertions - Embedding Formal Properties in a Test Bench. |
VLSI Design |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Doron Drusinsky, Man-tak Shing |
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Robert Bruce Findler, Matthias Felleisen |
Contracts for higher-order functions. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions |
35 | Philip A. Bernstein, Barbara T. Blaustein |
Fast Methods for Testing Quantified Relational Calculus Assertions. |
SIGMOD Conference |
1982 |
DBLP DOI BibTeX RDF |
|
34 | Mingwu Zhang, Bo Yang 0003, Shenglin Zhu, Wenzheng Zhang |
Assertions Signcryption Scheme in Decentralized Autonomous Trust Environments. |
ATC |
2008 |
DBLP DOI BibTeX RDF |
autonomous trust domain, privacy, Trust management, assertion, signcryption |
34 | Alper Sen 0001, Vinit Ogale, Magdy S. Abadir |
Predictive runtime verification of multi-processor SoCs in SystemC. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
predictive verification, deadlock, SystemC, assertion, ESL |
34 | Ping Hang Cheung, Alessandro Forin |
A C-Language Binding for PSL. |
ICESS |
2007 |
DBLP DOI BibTeX RDF |
C, Assertion Based Verification, Property Specification Language |
34 | Olha Shkaravska |
Types with semantics: soundness proof assistant. |
MERLIN |
2005 |
DBLP DOI BibTeX RDF |
type system, assertion, automated theorem proving, program logic |
34 | Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth |
Contract-Checking Wrappers for C++ Classes. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques |
34 | Zaiyue Zhang, Yuefei Sui, Cungen Cao |
Fuzzy Reasoning Based on Propositional Modal Logic. |
Rough Sets and Current Trends in Computing |
2004 |
DBLP DOI BibTeX RDF |
propositional modal logic, fuzzy assertion, fuzzy reasoning |
34 | Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner |
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
monitoring and assertion checking, Simulation, formal methods, specification, symbolic execution |
34 | Yabo Wang, David Lorge Parnas |
Simulating the Behavior of Software Modules by Trace Rewriting. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model |
34 | Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis |
Comprehensive Monitoring of BPEL Processes. |
IEEE Internet Comput. |
2010 |
DBLP DOI BibTeX RDF |
Assertion checkers, assertion languages, performance, Software Engineering, Software Engineering, Design Tools and Techniques, Software/Software Engineering, Software/Software Engineering, Software/Program Verification, Distributed/Internet based software engineering tools and techniques |
34 | Gary T. Leavens |
Tutorial on JML, the java modeling language. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking |
34 | Li-C. Wang, Magdy S. Abadir |
Experience in Validation of PowerPCTM Microprocessor Embedded Arrays. |
J. Electron. Test. |
1999 |
DBLP DOI BibTeX RDF |
assertion test generation, assertion, array, design error, logic verification, symbolic trajectory evaluation |
34 | Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo |
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
static/dynamic debugging, program verification, unit testing, assertions, run-time verification |
34 | Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta |
Accelerating Assertion Coverage With Adaptive Testbenches. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Rachid Guerraoui, Marko Vukolic |
A Scalable and Oblivious Atomicity Assertion. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
34 | 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 |
34 | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull |
Interactive presentation: Implementation of a transaction level assertion framework in SystemC. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
34 | 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 |
|
34 | Marc Boule, Jean-Samuel Chenard, Zeljko Zilic |
Assertion Checkers in Verification, Silicon Debug and In-Field Diagnosis. |
ISQED |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Lori A. Clarke, David S. Rosenblum |
A historical perspective on runtime assertion checking in software development. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
Context-Sensitive Multivariant Assertion Checking in Modular Programs. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Sumit Gulwani, Ashish Tiwari 0001 |
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Jia Yu 0008, Wei Wu 0024, Xi Chen 0024, Harry Hsieh, Jun Yang 0002, Felice Balarin |
Assertion-Based Design Exploration of DVS in Network Processor Architectures. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Milind Kulkarni 0003, J. Benita Bommi |
Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study. |
Haifa Verification Conference |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Thomas Wilson, Savi Maharaj, Robert G. Clark |
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
34 | 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 |
34 | Aarti Gupta |
Assertion-based verification turns the corner. |
IEEE Des. Test Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Babita Sharma, S. D. Dhodapkar, S. Ramesh 0001 |
Assertion Checking Environment (ACE) for Formal Verification of C Programs. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok |
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Chung-Yang Huang, Kwang-Ting Cheng |
Using word-level ATPG and modular arithmetic constraint-solvingtechniques for assertion property checking. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Tsuyoshi Ohta, Hideto Kinoshita, Takahiro Kimata, Tadanori Mizuno |
A Framework of an Assertion-Based Algorithmic Debugging for Distributed Programs. |
ICOIN |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Andreas Meier 0002 |
System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Chung-Yang Huang, Kwang-Ting Cheng |
Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques. |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Savithri Sundareswaran, David T. Blaauw, Abhijit Dharchoudhury |
A Three-Tier Assertion Technique for Spice Verification of Transistor Level Timing Analysis. |
VLSI Design |
1999 |
DBLP DOI BibTeX RDF |
spice verification, primary-path, secondary-path, timing analysis, assertion, assertibility |
33 | 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 |
32 | Eduardo B. Fernández, Brahim Hamid |
Two safety patterns: Safety Assertion and Safety Assertion Enforcer. |
EuroPLoP |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Maria van der Schaar |
Assertion and grounding: a theory of assertion for constructive type theory. |
Synth. |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Yann Oddos, Katell Morin-Allory, Dominique Borrione |
From Assertion-Based Verification to Assertion-Based Synthesis. |
VLSI-SoC |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Adrien Coulet, Malika Smaïl-Tabbone, Amedeo Napoli, Marie-Dominique Devignes |
Role Assertion Analysis: a proposed method for ontology refinement through assertion learning. |
STAIRS |
2008 |
DBLP DOI BibTeX RDF |
|
32 | David Ian Beaver |
Presupposition and assertion in dynamic semantics : Part (I) The presupposition : a critical review of presupposition theory ; Part (II) The assertion : what comes first in dynamic semantics. |
|
1995 |
RDF |
|
26 | Alexander Yip, Xi Wang 0005, Nickolai Zeldovich, M. Frans Kaashoek |
Improving application security with data flow assertions. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
xss, security, privacy, web, python, php, sql injection |
26 | Thomas Wilson, Savi Maharaj, Robert G. Clark |
Flexible and configurable verification policies with Omnibus. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Swarat Chaudhuri, Rajeev Alur |
Instrumenting C Programs with Nested Word Monitors. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
26 | David Walter, Scott Little, Chris J. Myers |
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jukka Ylitalo |
BLIND: A Complete Identity Protection Framework for End-Points (Transcript of Discussion). |
Security Protocols Workshop |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Sye Loong Keoh, Emil Lupu |
Towards flexible credential verification in mobile ad-hoc networks. |
POMC |
2002 |
DBLP DOI BibTeX RDF |
credential verification, security, authentication, trust |
26 | Ryszard Raban, Harry S. Delugach |
Animating Conceptual Graphs. |
ICCS |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Glen E. Newton |
Proving Properties of Interacting Processes. |
Acta Informatica |
1974 |
DBLP DOI BibTeX RDF |
|
26 | M. Ross Quillian |
The teachable language comprehender: a simulation program and theory of language. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
human memory simulation, linguistic performance theory, natural language comprehension, psychological simulation, teachable computer program, natural language processing, computer linguistics |
26 | Ebrima N. Ceesay, Coimbatore Chandersekaran, William R. Simpson |
An authentication model for delegation, attribution and least privilege. |
PETRA |
2010 |
DBLP DOI BibTeX RDF |
WS-*, security assertion markup language (SAML), authentication, authorization, delegation, public key infrastructure, attribution, credentialing, least privilege |
26 | Andrei Voronkov, Iman Narasamdya |
Inter-program Properties. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
assertion function, invariant, translation validation |
26 | Florian Eibensteiner, Rainer Findenig, Markus Pfaff |
SynPSL: Behavioral Synthesis of PSL Assertions. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
Synthesis, PSL, Assertion-based Verification |
26 | Patrice Chalin |
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking |
26 | David J. Lutz |
Cash Tokens for SAML Based Federations. |
FinanceCom |
2007 |
DBLP DOI BibTeX RDF |
Federation Payment, SAML Token, Payment Assertion, Payment Provider |
26 | Youngsik Kim, Parija Sule, Nazanin Mansouri |
Exploiting PSL standard assertions in a theorem-proving-based verification environment. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
assertion-based design, modeling, verification, theorem-proving, formal semantics, PSL |
26 | Patrice Chalin |
Improving JML: For a Safer and More Effective Language. |
FME |
2003 |
DBLP DOI BibTeX RDF |
behavioral interface specification languages, specification language design and semantics, arbitrary precision numeric types, assertion-based languages, formal methods, JML, Java Modeling Language |
26 | Hasan M. Jamil, Gillian Dobbie |
A Model Theoretic Semantics for Multi-level Secure Deductive Databases. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
MLS databases, belief assertion, security, reasoning, deductive databases, soundness and completeness |
25 | Yann Oddos, Katell Morin-Allory, Dominique Borrione, Marc Boule, Zeljko Zilic |
MYGEN: automata-based on-line test generator for assertion-based verification. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
generator, psl, test vector generation |
25 | Patrick Harding, Leif Johansson, Nate Klingenstein |
Dynamic Security Assertion Markup Language: Simplifying Single Sign-On. |
IEEE Secur. Priv. |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Yann Oddos, Katell Morin-Allory, Dominique Borrione |
Assertion-Based Design with Horus. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1208 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|