Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Herbert Toth |
Behavioral subtyping through typed assertions |
CoRR |
2011 |
DBLP BibTeX RDF |
|
16 | Florian Kohlar, Jörg Schwenk, Meiko Jensen, Sebastian Gajek |
On Cryptographically Strong Bindings of SAML Assertions to Transport Layer Security. |
Int. J. Mob. Comput. Multim. Commun. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Torben Æ. Mogensen |
Partial Evaluation of Janus Part 2: Assertions and Procedures. |
Ershov Memorial Conference |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Lingyi Liu, David Sheridan, Viraj Athavale, Shobha Vasudevan |
Automatic generation of assertions from system level design using data mining. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Schwartz-Narbonne, Feng Liu, Tarun Pondicherry, David I. August, Sharad Malik |
Parallel assertions for debugging parallel programs. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Olaf Chitil |
A semantics for lazy assertions. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Monia Ben Brahim, Tarak Chaari, Maher Ben Jemaa, Mohamed Jmaiel |
Semantic Matching of WS-SecurityPolicy Assertions. |
ICSOC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav |
Asynchronous assertions. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Rizzo 0001, Nicola Fanizzi, Claudia d'Amato, Floriana Esposito |
Prediction of class and property assertions on OWL ontologies through evidence combination. |
WIMS |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Brian Keng, Sean Safarpour, Andreas G. Veneris |
Automated debugging of SystemVerilog assertions. |
DATE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan |
Towards coverage closure: Using GoldMine assertions for generating design validation stimulus. |
DATE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Naveen Sudhish, Raghavendra BR, Harish Yagain |
An Efficient Method for Using Transaction Level Assertions in a Class Based Verification Environment. |
ISED |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ousmane Sall, Mouhamadou Thiam, Moussa Lo, Henri Basson |
A Model for Ripple Effects of Ontology Evolution Based on Assertions and Ontology Reverse Engineering. |
MTSR |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Hans Eveking, Tobias Dornes, Martin Schweikert |
Using SystemVerilog assertions to relate non-cycle-accurate to cycle-accurate designs. |
HLDVT |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Kavir Shrestha, Matthew J. Rutherford |
An Empirical Evaluation of Assertions as Oracles. |
ICST |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Tao-Hsuan Chang, Yen-Ling Kuo, Jane Yung-jen Hsu |
ACTraversal: Ranking Crowdsourced Commonsense Assertions and Certifications. |
PRIMA |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Matti Nykänen, Satu Eloranta, Olli Niinivaara, Raul Hakli |
Cooperative Replies to Unbelievable Assertions - A Dialogue Protocol based on Logical Interpolation. |
ICAART (2) |
2011 |
DBLP BibTeX RDF |
|
16 | John Havlicek, Scott Little |
Realtime regular expressions for analog and mixed-signal assertions. |
FMCAD |
2011 |
DBLP BibTeX RDF |
|
16 | Alexandre Kouznetsov, Jonas B. Laurila, Christopher J. O. Baker, Bradley Shoebottom |
Algorithm for Population of Object Property Assertions Derived from Telecom Contact Centre Product Support Documentation. |
AINA Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Miriam C. Bergue Alves, Doron Drusinsky, J. Bret Michael, Man-tak Shing |
Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. |
SoSE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Cousot, Radhia Cousot, Francesco Logozzo |
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Stephen F. Siegel, Timothy K. Zirkel |
Collective Assertions. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Subhankar Mukherjee 0001, Pallab Dasgupta |
Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions. |
VLSI Design |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Youngjun Kim, Ellen Riloff, Stéphane M. Meystre |
Improving Classification of Medical Assertions in Clinical Notes. |
ACL (2) |
2011 |
DBLP BibTeX RDF |
|
16 | Adolfo Guzmán-Arenas, Adriana Jimenez-Contreras |
Obtaining the consensus and inconsistency among a set of assertions on a qualitative attribute. |
Expert Syst. Appl. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Donka F. Farkas, Kim B. Bruce |
On Reacting to Assertions and Polar Questions. |
J. Semant. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Samwald, Holger Stenzhorn |
Establishing a distributed system for the simple representation and integration of diverse scientific assertions. |
J. Biomed. Semant. |
2010 |
DBLP BibTeX RDF |
|
16 | Ali M. Alakeel |
An Algorithm for Efficient Assertions-Based Test Data Generation. |
J. Softw. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Volker Stolz |
Temporal Assertions with Parametrized Propositions. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Rajendra P. Srivastava, Alexander Kogan |
Response to discussions on "Assurance on XBRL Instance Document: A Conceptual Framework of Assertions". |
Int. J. Account. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gerald Trites |
Discussion of 'Assurance on XBRL Instance Document: A Conceptual Framework of Assertions'. |
Int. J. Account. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Clinton E. White |
Discussion of 'Assurance on XBRL instance document: A conceptual framework of assertions - A discussion and extension'. |
Int. J. Account. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Rajendra P. Srivastava, Alexander Kogan |
Assurance on XBRL instance document: A conceptual framework of assertions. |
Int. J. Account. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Lei Zhou 0007, Jing Ping, Hao Xiao, Zheng Wang 0005, Geguang Pu, Zuohua Ding |
Automatically Testing Web Services Choreography with Assertions. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Brian Keng, Andreas G. Veneris, Sean Safarpour |
An Automated Framework for Correction and Debug of PSL Assertions. |
MTV |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer |
What can the GC compute efficiently?: a language for heap assertions at GC time. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Hossein Neishaburi, Zeljko Zilic |
Enabling efficient post-silicon debug by clustering of hardware-assertions. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Massimiliano Masi, Roland Maurer |
On the Usage of SAML Delegate Assertions in an Healthcare Scenario with Federated Communities. |
eHealth |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Nassim Seghir |
An Assume Guarantee Approach for Checking Quantified Array Assertions. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Florian Kohlar, Jörg Schwenk, Meiko Jensen, Sebastian Gajek |
Secure Bindings of SAML Assertions to TLS Sessions. |
ARES |
2010 |
DBLP DOI BibTeX RDF |
Authentication, Single-Sign-On, SSL, SAML, TLS, Kerberos, Federated Identity Management |
16 | David A. Naumann, Anindya Banerjee 0001 |
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Falk Koeppe, Jörg Schneider 0001 |
Do You Get What You Pay For? Using Proof-of-Work Functions to Verify Performance Assertions in the Cloud. |
CloudCom |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Michael Hanus |
Lazy and Enforceable Assertions for Functional Logic Programs. |
WFLP |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Shamsul Kamal Ahmad Khalid, Jacob Zimmermann, Diane Corney, Colin J. Fidge |
Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types. |
NSS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili 0001 |
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Mattias Ulbrich |
A Dynamic Logic for Unstructured Programs with Embedded Assertions. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner |
Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. |
WISTP |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti |
Coverage Management with Inline Assertions and Formal Test Points. |
VLSI Design |
2010 |
DBLP DOI BibTeX RDF |
Simulation, Verification, Coverage, Test Plan |
16 | Mauro Lopes, Fernanda Araújo Baião, Sean W. M. Siqueira |
Expressing action assertions in foundational-based domain ontologies. |
iiWAS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Sho Takeuchi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara |
Checker Generation of Assertions with Local Variables for Model Checking. |
IPSJ Trans. Syst. LSI Des. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix |
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. |
FACS@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chengjie Zang, Shinji Kimura |
Finite Input-Memory Automaton Based Checker Synthesis of SystemVerilog Assertions for FPGA Prototyping. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | George Hripcsak, Noemie Elhadad, Yueh-Hsia Chen, Li Zhou, Frances P. Morrison |
Research Paper: Using Empiric Semantic Correlation to Interpret Temporal Assertions in Clinical Texts. |
J. Am. Medical Informatics Assoc. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Yu Liu 0003, Q. H. Guo, John Wieczorek, Michael F. Goodchild |
Positioning localities based on spatial assertions. |
Int. J. Geogr. Inf. Sci. |
2009 |
DBLP BibTeX RDF |
|
16 | Ivan Kastelan, Zoran Krajacevic |
Synthesizable SystemVerilog Assertions as a Methodology for SoC. |
ECBS-EERC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Doron Drusinsky |
Guarding the guard: Using meta formal specifications to guard assertions. |
SoSE |
2009 |
DBLP BibTeX RDF |
|
16 | Kurt Ranalter |
A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication. |
Fundam. Informaticae |
2008 |
DBLP BibTeX RDF |
|
16 | Thomas Strahm, Jeffery I. Zucker |
Primitive recursive selection functions for existential assertions over abstract algebras. |
J. Log. Algebraic Methods Program. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich |
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. |
FOCLASA@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Carmen Avila, Guillermo Flores, Yoonsik Cheon |
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. |
Software Engineering Research and Practice |
2008 |
DBLP BibTeX RDF |
|
16 | 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 |
16 | 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 |
16 | 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 |
16 | Jeroen Geuzebroek, Bart Vermeulen |
Integration of Hardware Assertions in Systems-on-Chip. |
ITC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
Integrating statechart assertions into Java components using AspectJ. |
SoSE |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kay Römer, Matthias Ringwald |
Increasing the visibility of sensor networks with passive distributed assertions. |
REALWSN@EuroSys |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Bruno Blanchet |
Computationally Sound Mechanized Proofs of Correspondence Assertions. |
IACR Cryptol. ePrint Arch. |
2007 |
DBLP BibTeX RDF |
|
16 | Hyotaeg Jung, Carlos E. Rubio-Medrano, W. Eric Wong, Yoonsik Cheon |
Architectural Assertions: Checking Architectural Constraints at Run-Time. |
Software Engineering Research and Practice |
2007 |
DBLP BibTeX RDF |
|
16 | 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 |
16 | Volker Stolz |
Temporal Assertions with Parametrised Propositions. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Annalisa Bossi, Ombretta Gaggi |
Enriching SMIL with assertions for temporal validation. |
ACM Multimedia |
2007 |
DBLP DOI BibTeX RDF |
authoring, SMIL, consistency checking |
16 | Katell Morin-Allory, Laurent Fesquet, Benjamin Roustan, Dominique Borrione |
Asynchronous online-monitoring of logical and temporal assertions. |
FDL |
2007 |
DBLP BibTeX RDF |
|
16 | Stéphane S. Somé, Divya K. Nair |
Use Case Based Requirements Verification - Verifying the Consistency between Use Cases and Assertions. |
ICEIS (3) |
2007 |
DBLP BibTeX RDF |
|
16 | Volker Stolz |
Temporal assertions for sequential and concurrent programs. |
|
2007 |
RDF |
|
16 | Deendayal Dinakarpandian, Yugyung Lee, Kartik Vishwanath, Rohini Lingambhotla |
Model Formulation: MachineProse: An Ontological Framework for Scientific Assertions. |
J. Am. Medical Informatics Assoc. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Francesco Savelli |
Existential assertions and quantum levels on the tree of the situation calculus. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Deepak Kapur |
A Quantifier-Elimination Based Heuristic for Automatically Generating Inductive Assertions for Programs. |
J. Syst. Sci. Complex. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Goutam Kumar Saha 0001 |
Application semantic driven assertions toward fault tolerant computing. |
Ubiquity |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Ecker, Volkan Esen, Michael Hull |
Execution semantics and formalisms for multi-abstraction TLM assertions. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull |
Specification Language for Transaction Level Assertions. |
HLDVT |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Yurie Hara |
Dake-wa : Exhaustifying Assertions. |
JSAI |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Klaus Winkelmann |
Going Beyond Assertions. |
MBMV |
2006 |
DBLP BibTeX RDF |
|
16 | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit |
IP Library For Temporal SystemC Assertions. |
FDL |
2006 |
DBLP BibTeX RDF |
|
16 | Sitvanit Ruah |
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions. |
FDL |
2006 |
DBLP BibTeX RDF |
|
16 | Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, Michael Velten |
Requirements and Concepts for Transaction Level Assertions. |
ICCD |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Paula Prata, Mário Zenha Rela, Henrique Madeira, João Gabriel Silva |
Robust Assertions and Fail-Bounded Behavior. |
J. Braz. Comput. Soc. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Volker Stolz, Eric Bodden |
Temporal Assertions using AspectJ. |
RV@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Younes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki |
An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. |
Comput. Electr. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Jan Poland, Marcus Hutter |
Strong Asymptotic Assertions for Discrete MDL in Regression and Classification |
CoRR |
2005 |
DBLP BibTeX RDF |
|
16 | Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter |
Correspondence assertions for process synchronization in concurrent communications. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Gergely Pintér, István Majzik |
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Leivant |
Partial Correctness Assertions Provable in Dynamic Logic. |
We Will Show Them! (2) |
2005 |
DBLP BibTeX RDF |
|
16 | Tong Li 0015, Hongji Yang, Baowen Xu, Liang Shi |
An Approach to Decomposing Assertions into Java Codes. |
IKE |
2005 |
DBLP BibTeX RDF |
|
16 | Valéria Magalhães Pequeno, Joaquim Nunes Aparício |
Using Correspondence Assertions to Specify the Semantics of Views in an Object-Relational Data Warehouse. |
ICEIS (1) |
2005 |
DBLP BibTeX RDF |
|
16 | Luciano Baresi, Michal Young |
Toward Translating Design Constraints to Run-Time Assertions. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Brian A. Malloy, Jeffrey M. Voas |
Programming with Assertions: A Prospectus. |
IT Prof. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Peter Milne |
Algebras of Intervals and a Logic of Conditional Assertions. |
J. Philos. Log. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Gianluigi Bellin, Corrado Biasi |
Towards a Logic for Pragmatics. Assertions and Conjectures. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Brian E. Carpenter, Philippe A. Janson |
Abstract interdomain security assertions: A basis for extra-grid virtual organizations. |
IBM Syst. J. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Anli He, Parija Sule, Youngsik Kim, Nazanin Mansouri |
Exploiting OVL standard assertions in a theorem-proving-based verification environment. |
Circuits, Signals, and Systems |
2004 |
DBLP BibTeX RDF |
|