Search results for "assertion"

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