The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for assertion with no syntactic query expansion in all metadata.

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