Search results for "assertions"

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