Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Kamran Munir, Mohammed Odeh, Richard McClatchey |
Ontology assisted query reformulation using the semantic and assertion capabilities of OWL-DL ontologies. |
IDEAS |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Marc Boule, Zeljko Zilic |
Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Judi Romijn, Wieger Wesselink, Arjan J. Mooij |
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Anna Cinzia Squicciarini, Ayça Azgin Hintoglu, Elisa Bertino, Yücel Saygin |
A privacy preserving assertion based policy language for federation systems. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
digital identity management, privacy |
25 | Sujata Ghosh, Benedikt Löwe, Erik Scorelle |
Belief Flow in Assertion Networks. |
ICCS |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Takeshi Arikuma, Sumi Yoshikawa, Kentaro Watanabe, Akihiko Konagaya |
Ontology-Driven Hypothetic Assertion (OHA) for Drug Interaction Prediction. |
IMSCCS |
2007 |
DBLP DOI BibTeX RDF |
Drug Interaction, Pharmacokinetics, Web Ontology Language (OWL), Biomedical Ontology, Metabolic Pathway |
25 | Patrice Chalin |
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Yoonsik Cheon |
Abstraction in Assertion-Based Test Oracles. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Andreas Bauer 0002, Martin Leucker, Jonathan Streit |
SALT - Structured Assertion Language for Temporal Logic. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Andrew Ireland |
Towards Automatic Assertion Refinement for Separation Logic. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Jing Zhang 0003, Jeff Gray 0001, Yuehua Lin |
A model-driven approach to enforce crosscutting assertion checking. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, program transformation, design by contract, model-driven software development |
25 | Dong Wang, Jeremy R. Levitt |
Automatic assume guarantee analysis for assertion-based formal verification. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Jun Wang, David Del Vecchio, Marty Humphrey |
Extending the Security Assertion Markup Language to Support Delegation for Web Services and Grid Services. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Íñigo Ugarte, Pablo Sanchez |
Assertion Checking of Behavioral Descriptions with Non-linear Solver. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib |
Combining System Level Modeling with Assertion Based Verification. |
ISQED |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Tamer Elsharnouby, A. Udaya Shankar |
SeSFJava harness: service and assertion checking for protocol implementations. |
IEEE J. Sel. Areas Commun. |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno |
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Monica Brockmeyer, Chunbo Chu |
Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
internet, monitoring, distributed hash table |
25 | Kausik Datta, Partha Pratim Das |
Assertion Based Verification Using HDVL. |
VLSI Design |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Farn Wang, Fang Yu 0001 |
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Anders Møller, Michael I. Schwartzbach |
The Pointer Assertion Logic Engine. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn |
Computability and Complexity Results for a Spatial Assertion Language for Data Structures. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Ryszard Janicki, Yan Liu |
On Trace Assertion Method of Module Interface Specification with Concurrency. |
Rough Sets and Current Trends in Computing |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Pedro Guerreiro |
Another Mediocre Assertion Mechanism for C++. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Savithri Sundareswaran, R. Venkatesan, S. Bhaskar |
An Assertion Based Technique for Transistor Level Dynamic Power Estimation. |
VLSI Design |
2000 |
DBLP DOI BibTeX RDF |
dynamic power estimation, transistor level, assertions |
25 | Jeffrey M. Voas |
Software testability measurement for intelligent assertion placement. |
Softw. Qual. J. |
1997 |
DBLP DOI BibTeX RDF |
testing, observability, testability, failure, fault, assertions, fault propagation |
25 | Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee |
An Efficient Assertion Checker for Combinational Properties. |
DAC |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Sharon E. Perl, William E. Weihl |
Performance Assertion Checking. |
SOSP |
1993 |
DBLP DOI BibTeX RDF |
DEBUG, Parallel C |
25 | Wlodzimierz Drabent, Jan Maluszynski |
Inductive Assertion Method for Logic Programs. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Krzysztof R. Apt, Carole Delporte |
An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
25 | Horst Müller |
Reachability Analysis with Assertion Systems. |
Theoretical Computer Science |
1981 |
DBLP DOI BibTeX RDF |
|
17 | Rupak Majumdar, Ru-Gang Xu |
Reducing Test Inputs Using Information Partitions. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mauro Pezzè, Jochen Wuttke |
Automatic Generation of Runtime Failure Detectors from Property Templates. |
Software Engineering for Self-Adaptive Systems |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Marie-Hélène Gorisse |
The Art of Non-asserting: Dialogue with Nagarjuna. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
17 | David Briggs, Suad Alagic |
Algebraic specification techniques for parametric types with logic-based constraints. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
parametric types, verification theories, assertions, PVS, JML |
17 | Serge Autexier, Dominik Dietrich |
Atomic Metadeduction. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi 0001 |
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. |
ICISS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Shuvendu K. Lahiri, Shaz Qadeer |
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Shaz Qadeer |
Algorithmic Verification of Systems Software Using SMT Solvers. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001 |
A comparative study of programmer-written and automatically inferred contracts. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
dynamic contract inference, eiffel |
17 | Kevin Camera, Robert W. Brodersen |
An integrated debugging environment for FPGA computing platforms. |
FPGA |
2008 |
DBLP DOI BibTeX RDF |
simulation, FPGA, design, verification |
17 | Guoqiang Li 0001, Mizuhito Ogawa |
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Kevin Camera, Robert W. Brodersen |
An integrated debugging environment for FPGA computing platforms. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Saswat Anand, Patrice Godefroid, Nikolai Tillmann |
Demand-Driven Compositional Symbolic Execution. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Edward Aftandilian, Samuel Z. Guyer |
GC assertions: using the garbage collector to check heap properties. |
MSPC |
2008 |
DBLP DOI BibTeX RDF |
garbage collection, memory leaks, managed languages |
17 | Khaled Mahbub, George Spanoudakis |
Monitoring WS-Agreement s: An Event Calculus-Based Approach. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
Incremental ABV for functional validation of TL-to-RTL design refinement. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn |
Variance analyses from invariance analyses. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
formal verification, program analysis, termination, liveness, software model checking |
17 | Andrew Butterfield |
A Denotational Semantics for Handel-C. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Edward Smith |
A Logic for GSTE. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Minh-Huyen Nguyen, Shien Jin Ong, Salil P. Vadhan |
Statistical Zero-Knowledge Arguments for NP from Any One-Way Function. |
FOCS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Sabah S. Al-Fedaghi |
Security Model for Informational Privacy. |
WISI |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Zaiyue Zhang, Yuefei Sui, Cungen Cao 0001 |
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
Propositional modal logic, Educed set, Fuzzy reasoning, Formal system |
17 | Seung-Yeon Lee, Eui-nam Huh, Yang-Woo Kim, Kyesan Lee |
An Efficient Authentication Mechanism for Fast Mobility Service in MIPv6. |
ICCSA (2) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Peifeng Hu, Zhenyu Zhang 0004, W. K. Chan 0001, T. H. Tse |
An empirical comparison between direct and indirect test result checking approaches. |
SOQUA |
2006 |
DBLP DOI BibTeX RDF |
empirical evaluation, controlled experiment, test oracle, metamorphic testing |
17 | Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind |
Live sequence charts applied to hardware requirements specification and verification. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts |
17 | Scott Dick |
Toward complex fuzzy logic. |
IEEE Trans. Fuzzy Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Arjan J. Mooij, Wieger Wesselink |
Incremental Verification of Owicki/Gries Proof Outlines Using PVS. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ali Habibi, Sofiène Tahar |
An Approach for the Verification of SystemC Designs Using AsmL. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Serge Autexier |
The CoRe Calculus. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | David Coppit, Jennifer M. Haddox-Schatz |
On the Use of Specification-Based Assertions as Test Oracles. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Hidehito Gomi, Makoto Hatakeyama, Shigeru Hosono, Satoru Fujita |
A delegation framework for federated identity management. |
Digital Identity Management |
2005 |
DBLP DOI BibTeX RDF |
privilege, access control, role, delegation, identity federation |
17 | Husrev T. Sencar, Nasir D. Memon |
Watermarking and ownership problem: a revisit. |
Digital Rights Management Workshop |
2005 |
DBLP DOI BibTeX RDF |
additive watermarking, counterfeit ownership, ownership deadlock, theft of ownership, watermarking, ownership |
17 | Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto |
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Xi Chen 0024, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Felice Balarin |
Utilizing Formal Assertions for System Design of Network Processors. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
A CLP Proof Method for Timed Automata. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alok Nandi, Xavier Marichal |
Is Seeing Touching? Mixed Reality Interaction and Involvement Modalities. |
International Conference on Virtual Storytelling |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin |
Watchdog Transformations for Property-Oriented Model-Checking. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Watchdog Transformation, Model-Checking, Compression, CSP, FDR, State Explosion Problem |
17 | Paul A. Bailes, Colin J. M. Kemp |
Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Jeffrey S. Vetter, Patrick H. Worley |
Asserting performance expectations. |
SC |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Christian Stangier, Ulrich Holtmann |
Applying Formal Verification with Protocol Compiler. |
DSD |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Vassilis Paliouras, Thanos Stouraitis |
Low-Power Properties of the Logarithmic Number System. |
IEEE Symposium on Computer Arithmetic |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann |
The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw |
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw |
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. |
IEEE Real Time Technology and Applications Symposium |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Elena Marchiori |
Prime Factorizations of Abstract Domains Using First Order Logic. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
17 | David S. Rosenblum |
A Practical Approach to Programming With Assertions. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Anna, APP, formal specifications, formal methods, C, programming environments, assertions, consistency checking, software faults, runtime checking |
17 | Leslie Lamport |
The Temporal Logic of Actions. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
concurrent programming, safety properties, liveness properties |
17 | Peter Lützen Møller |
Run-Time Check Elimination for Ada 9X. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
17 | Norman Y. Foo |
Comments on "Defining Software by Continuous Smooth Functions''. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
comparable complexity, natural measure, computational complexity, software metrics, programs, Boolean functions, Boolean functions, smooth functions |
17 | Robert P. Kurshan |
Analysis of Discrete Event Coordination. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
coordination analysis, formal verification, refinement, reduction, homomorphism |
17 | Derek F. Yates, Nicos Malevris |
Reducing the Effects of Infeasible Paths in Branch Testing. |
Symposium on Testing, Analysis, and Verification |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Frank D. Anger, Rita V. Rodríguez, Douglas D. Dankel II |
Toward more efficient and flexible expert systems via database design (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Ali Mili 0001, Jules Desharnais, Jean-Raynomd Gagné |
Formal Models of Stepwise Refinement of Programs. |
ACM Comput. Surv. |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Joseph Y. Halpern |
A Good Hoare Axiom System for an Algol-like Language. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
ALGOL |
17 | David C. Luckham, Norihisa Suzuki |
Verification of Array, Record, and Pointer Operations in Pascal. |
ACM Trans. Program. Lang. Syst. |
1979 |
DBLP DOI BibTeX RDF |
|
17 | Paul Armer |
Obsolescence Of The Computing Professional: The problem and possible solutions. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Edward A. Ashcroft, William W. Wadge |
Clauses: Scope Structures and Defined Functions in Lucid. |
POPL |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Norihisa Suzuki, Kiyoshi Ishihata |
Implementation of an Array Bound Checker. |
POPL |
1977 |
DBLP DOI BibTeX RDF |
|
17 | Takaaki Komura, Hiroaki Sano, Noritoshi Demizu, Ken Makimura |
Design and Implementation of Web Forward Proxy with Shibboleth Authentication. |
SAINT |
2011 |
DBLP DOI BibTeX RDF |
Security Assertion Markup Language (SAML), Web Forward Proxy, Single Sign-On (SSO), Shibboleth |
17 | Eric Kerfoot, Steve McKeever |
Checking concurrent contracts with aspects. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
Java, concurrency, AOP, active objects, runtime assertion checking |
17 | Yoonsik Cheon, Carmen Avila |
Automating Java Program Testing Using OCL and AspectJ. |
ITNG |
2010 |
DBLP DOI BibTeX RDF |
random testing, Object Constraint Language, AspectJ, pre and postconditions, runtime assertion checking |
17 | Michelle Ruse, Tanmoy Sarkar, Samik Basu 0001 |
Analysis & Detection of SQL Injection Vulnerabilities via Automatic Test Case Generation of Programs. |
SAINT |
2010 |
DBLP DOI BibTeX RDF |
Program Verification, Assertion, Decision Diagrams, Test cases, SQL injection |
17 | Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi, Kaustav Guha |
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
power intent verification, formal verification, assertion |
17 | Iman Narasamdya, Michaël Périn |
Certification of smart-card applications in common criteria. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques |
17 | Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer |
Unifying type checking and property checking for low-level code. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
assertion checking, low-level code, decision procedure, type checking, smt solver, property checking |
17 | Rajkumar Kettimuthu, Wantao Liu, Frank Siebenlist, Ian T. Foster |
Communicating Security Assertions over the GridFTP Control Channel. |
eScience |
2008 |
DBLP DOI BibTeX RDF |
Security assertion, Data movement in Portal environments, GridFTP |
17 | Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar |
Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation. |
ETS |
2008 |
DBLP DOI BibTeX RDF |
assertion checking, decision diagrams, Property Specification Language |
17 | David J. Lutz, Burkhard Stiller |
Token-Based Payment in Dynamic SAML-Based Federations. (PDF / PS) |
AIMS |
2008 |
DBLP DOI BibTeX RDF |
Payment Token, Payment Assertion, Payment, Identity Federation |
17 | David Bauer, Douglas M. Blough, David Cash |
Minimal information disclosure with efficiently verifiable credentials. |
Digital Identity Management |
2008 |
DBLP DOI BibTeX RDF |
hash-tree, identity assertion, privacy, PKI, identity management, credential, merkle tree |