Search results for "Assertions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Hannes Tschofenig, Rainer Falk, Jon Peterson, Jeff Hodges, Douglas C. Sicker, James M. Polk	Using SAML to protect the session initiation protocol (SIP).	IEEE Netw.	2006	DBLP DOI BibTeX RDF
15	Íñigo Ugarte, Pablo Sanchez	Assertion checking of control dominated systems with nonlinear solvers.	MEMOCODE	2006	DBLP DOI BibTeX RDF
15	Nikhil Sethi, Clark W. Barrett	cascade: C Assertion Checker and Deductive Engine.	CAV	2006	DBLP DOI BibTeX RDF
15	Achille Fokoue, Aaron Kershenbaum, Li Ma 0002, Edith Schonberg, Kavitha Srinivas	The Summary Abox: Cutting Ontologies Down to Size.	ISWC	2006	DBLP DOI BibTeX RDF
15	Constantinos Daskalakis, Cameron Hill, Alexander Jaffe, Radu Mihaescu, Elchanan Mossel, Satish Rao	Maximal Accurate Forests from Distance Matrices.	RECOMB	2006	DBLP DOI BibTeX RDF
15	Claudia d'Amato, Nicola Fanizzi	Lazy Learning from Terminological Knowledge Bases.	ISMIS	2006	DBLP DOI BibTeX RDF
15	Alexander Krupp, Wolfgang Müller 0003	Classification trees for random tests and functional coverage.	DATE	2006	DBLP DOI BibTeX RDF
15	Deepak Garg 0001, Frank Pfenning	Non-Interference in Constructive Authorization Logic.	CSFW	2006	DBLP DOI BibTeX RDF
15	Fabian Bannwart, Peter Müller 0001	Changing Programs Correctly: Refactoring with Specifications.	FM	2006	DBLP DOI BibTeX RDF
15	Shuvendu K. Lahiri, Shaz Qadeer	Verifying properties of well-founded linked lists.	POPL	2006	DBLP DOI BibTeX RDF	first-order axiomatization, heap abstraction, well-founded linked lists, decision procedure, automated theorem proving
15	Andrei A. Muchnik, Nikolai K. Vereshchagin	Shannon Entropy vs. Kolmogorov Complexity.	CSR	2006	DBLP DOI BibTeX RDF
15	Ian Wootten, Omer F. Rana, Shrija Rajbhandari	Recording Actor State in Scientific Workflows.	IPAW	2006	DBLP DOI BibTeX RDF
15	Stefan Andrei, Albert Mo Kim Cheng	Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension.	RTSS	2006	DBLP DOI BibTeX RDF
15	Philippe Collet, Alain Ozanne, Nicolas Rivierre	Enforcing Different Contracts in Hierarchical Component-Based Systems.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
15	Rance Cleaveland, Scott A. Smolka, Steve Sims	An Instrumentation-Based Approach to Controller Model Validation.	ASWSD	2006	DBLP DOI BibTeX RDF
15	Gregor Engels, Baris Güldali, Marc Lohmann	Towards Model-Driven Unit Testing.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	visual contracts, model checking, test case generation, Design by Contract
15	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
15	Jan Jürjens	Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.	ASE	2006	DBLP DOI BibTeX RDF
15	Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz	Refactoring with Contracts.	AGILE	2006	DBLP DOI BibTeX RDF
15	Gregor Engels, Marc Lohmann, Stefan Sauer 0001, Reiko Heckel	Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.	ICGT	2006	DBLP DOI BibTeX RDF
15	Yishai A. Feldman, Leon Gendler	Discern: Towards the Automatic Discovery of Software Contracts.	SEFM	2006	DBLP DOI BibTeX RDF
15	Serge Autexier, Dominik Dietrich	Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge.	MKM	2006	DBLP DOI BibTeX RDF
15	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
15	Andrew D. Gordon 0001, Riccardo Pucella	Validating a web service security abstraction by typing.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Web services, Authentication, Type systems, Remote procedure call
15	Arjan J. Mooij, Wieger Wesselink	Incremental Verification of Owicki/Gries Proof Outlines Using PVS.	ICFEM	2005	DBLP DOI BibTeX RDF
15	Bernhard Reus, Thomas Streicher	About Hoare Logics for Higher-Order Store.	ICALP	2005	DBLP DOI BibTeX RDF
15	Sergei N. Artëmov, Elena Nogina	On epistemic logic with justification.	TARK	2005	DBLP BibTeX RDF
15	Olha Shkaravska	Types with semantics: soundness proof assistant.	MERLIN	2005	DBLP DOI BibTeX RDF	type system, assertion, automated theorem proving, program logic
15	Andres Flores, Macario Polo	Dynamic Component Assessment on PvC Environments.	ISCC	2005	DBLP DOI BibTeX RDF
15	Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman	Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing.	SEW	2005	DBLP DOI BibTeX RDF
15	Milind Kulkarni 0003, J. Benita Bommi	Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
15	Íñigo Ugarte, Pablo Sanchez	Assertion Checking of Behavioral Descriptions with Non-linear Solver.	ICCD	2005	DBLP DOI BibTeX RDF
15	Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre	DynAlloy: upgrading alloy with actions.	ICSE	2005	DBLP DOI BibTeX RDF	software specification, dynamic logic, alloy, software validation
15	Óscar Cánovas Reverte, Gabriel López 0001, Antonio Fernandez Gómez-Skarmeta	A Credential Conversion Service for SAML-based Scenarios.	EuroPKI	2004	DBLP DOI BibTeX RDF
15	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
15	Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Mohamed, Sofiène Tahar	On the Design and Verification Methodology of the Look-Aside Interface.	DATE	2004	DBLP DOI BibTeX RDF
15	Monika Solanki, Antonio Cau, Hussein Zedan	Augmenting semantic web service descriptions with compositional specification.	WWW	2004	DBLP DOI BibTeX RDF	owl-s, web services, semantic web services, commitment, assumption, swrl, interval temporal logics, owl
15	Andreas Podelski, Andrey Rybalchenko	Transition Invariants.	LICS	2004	DBLP DOI BibTeX RDF
15	Kai-Hui Chang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo	A Temporal Assertion Extension to Verilog.	ATVA	2004	DBLP DOI BibTeX RDF	temporal assertion, verification, PSL
15	Liana Bozga, Cristian Ene, Yassine Lakhnech	On the Existence of an Effective and Complete Inference System for Cryptographic Protocols.	FoSSaCS	2004	DBLP DOI BibTeX RDF
15	Georg Jahn, Philip N. Johnson-Laird, Markus Knauff	Reasoning About Consistency with Spatial Mental Models: Hidden and Obvious Indeterminacy in Spatial Descriptions.	Spatial Cognition	2004	DBLP DOI BibTeX RDF
15	Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff	Checking Strong Specifications Using an Extensible Software Model Checking Framework.	TACAS	2004	DBLP DOI BibTeX RDF
15	Patrick C. K. Hung, Dickson K. W. Chiu	Developing Workflow-Based Information Integration (WII) with Exception Support in a Web Services Environment.	HICSS	2004	DBLP DOI BibTeX RDF
15	Patrick C. K. Hung	From Conflict of Interest to Separation of Duties in WS-Policy for Web Services Matchmaking Process.	HICSS	2004	DBLP DOI BibTeX RDF	WS-PolicyAttachment, security assertion, Web services, delegation, matchmaking, separation of duties, conflict of interest, WS-Policy, service locator
15	Thorsten Schöler, Christian Müller-Schloer	Design, Implementation and Validation of a Generic and Reconfigurable Protocol Stack Framework for Mobile Terminals.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
15	Roberto Giacobazzi, Isabella Mastroeni	Proving Abstract Non-interference.	CSL	2004	DBLP DOI BibTeX RDF	abstract non-interference, verification, Abstract interpretation, language-based security
15	Monika Solanki, Antonio Cau, Hussein Zedan	Introducing Compositionality in Web Service Descriptions.	FTDCS	2004	DBLP DOI BibTeX RDF
15	Amit Sahai, Salil P. Vadhan	A complete problem for statistical zero knowledge.	J. ACM	2003	DBLP DOI BibTeX RDF	Knowledge complexity, statistical difference, zero knowledge, proof systems
15	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	Secure protocol composition.	FMSE	2003	DBLP DOI BibTeX RDF	logic, security protocols, invariants, protocol composition
15	Vânia Maria Ponte Vidal, Marco A. Casanova, Valdiana da Silva Araujo	Generating rules for incremental maintenance of XML view of relational data.	WIDM	2003	DBLP DOI BibTeX RDF	XML, relational database, incremental view maintenance
15	Andy King, Lunjin Lu	Forward versus Backward Verification of Logic Programs.	ICLP	2003	DBLP DOI BibTeX RDF
15	Luigi Palopoli 0001, Giorgio Terracina, Domenico Ursino	A Plausibility Description Logics for Reasoning with Information Sources Having Different Formats and Structures.	ISMIS	2002	DBLP DOI BibTeX RDF
15	Babita Sharma, S. D. Dhodapkar, S. Ramesh 0001	Assertion Checking Environment (ACE) for Formal Verification of C Programs.	SAFECOMP	2002	DBLP DOI BibTeX RDF
15	Sheila R. M. Veloso, Paulo A. S. Veloso	On Special Functions and Theorem Proving in Logics for 'Generally'.	SBIA	2002	DBLP DOI BibTeX RDF
15	Andrew D. Gordon 0001, Riccardo Pucella	Validating a Web service security abstraction by typing.	XML Security	2002	DBLP DOI BibTeX RDF	Web services, authentication, type systems, remote procedure call
15	Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok	How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.	FMCO	2002	DBLP DOI BibTeX RDF
15	Clinton Jeffery, Mikhail Auguston, Scott Underwood	Towards Fully Automatic Execution Monitoring.	RISSEF	2002	DBLP DOI BibTeX RDF
15	Calvin Ko, Timothy Redmond	Noninterference and Intrusion Detection.	S&P	2002	DBLP DOI BibTeX RDF
15	Jeffrey S. Vetter, Patrick H. Worley	Asserting performance expectations.	SC	2002	DBLP DOI BibTeX RDF
15	Esteve del Acebo, Josep Lluís de la Rosa	A fuzzy system based approach to social modeling in multi-agent systems.	AAMAS	2002	DBLP DOI BibTeX RDF	MAS, multi agent systems, trust, fuzzy systems, social modeling
15	Andrew D. Gordon 0001, Alan Jeffrey	Authenticity by Typing for Security Protocols.	CSFW	2001	DBLP DOI BibTeX RDF
15	Andrew D. Gordon 0001, Alan Jeffrey	A Type and Effect Analysis of Security Protocols.	SAS	2001	DBLP DOI BibTeX RDF
15	Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean	A Security Model for Military Message Systems: Retrospective.	ACSAC	2001	DBLP DOI BibTeX RDF	Storage channels, Security, Verification, confinement, message systems
15	Diana Cukierman, James P. Delgrande	A Formalization of Structured Temporal Objects and Repetition.	TIME	2000	DBLP DOI BibTeX RDF
15	Philippe Collet, Greta Vignola	Towards a Consistent Viewpoint on Consistency for Persistent Applications.	Objects and Databases	2000	DBLP DOI BibTeX RDF
15	Claude Laï	Using Constraints in Local Proofs for CLP Debugging.	PADL	1999	DBLP DOI BibTeX RDF
15	Martin F. van Bommel	Interactive Design of Object-Oriented Schema.	IDEAS	1999	DBLP DOI BibTeX RDF
15	C. A. R. Hoare, Jifeng He 0001	A Trace Model for Pointers and Objects.	ECOOP	1999	DBLP DOI BibTeX RDF
15	Lars-Åke Fredlund, Dilian Gurov	A Framework for Formal Reasoning about Open Distributed Systems.	ASIAN	1999	DBLP DOI BibTeX RDF
15	Richard Mitchell, James McKim	Extending a Method of Devising Software Contracts.	TOOLS (32)	1999	DBLP DOI BibTeX RDF
15	Savithri Sundareswaran, David T. Blaauw, Abhijit Dharchoudhury	A Three-Tier Assertion Technique for Spice Verification of Transistor Level Timing Analysis.	VLSI Design	1999	DBLP DOI BibTeX RDF	spice verification, primary-path, secondary-path, timing analysis, assertion, assertibility
15	Vishnu A. Patankar, Alok Jain, Randal E. Bryant	Formal Verification of an ARM Processor.	VLSI Design	1999	DBLP DOI BibTeX RDF
15	Christo Dichev	Multicontext Systems with Importing Contexts.	AIMSA	1998	DBLP DOI BibTeX RDF
15	Reinhold Plösch	Tool Support for Design by Contract.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Requirements Engineering, Prototyping, Python, Design by Contract, Behavioral specifications
15	Changqing Wang, David R. Musser	Dynamic Verification of C++ Generic Algorithms.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	verification, C++, Specification, templates, software libraries, generic algorithms, Standard Template Library
15	Staffan Bonnier, Tim Heyer	COMPASS: A Comprehensible Assertion Method.	TAPSOFT	1997	DBLP DOI BibTeX RDF
15	Elena Marchiori	Prime Factorizations of Abstract Domains Using First Order Logic.	ALP	1996	DBLP DOI BibTeX RDF
15	Cristina Serban, Bruce M. McMillin	Run-Time Security Evaluation (RTSE) for Distributed Applications.	S&P	1996	DBLP DOI BibTeX RDF
15	Luc Bougé, David Cachera	On the Completeness of a Proof System for a Simple Data-Parallel Programming Language.	Euro-Par	1995	DBLP DOI BibTeX RDF	Specifying and Verifying and Reasoning about Programs, Concurrent Programming, Hoare Logic, Weakest Preconditions, Proof System, Data-Parallel Languages, Semantics of Programming Languages
15	Martina Schollmeyer, Bruce M. McMillin	Checking Program Proofs Made Eas.	COMPSAC	1995	DBLP DOI BibTeX RDF	temporal subsumption, proof checking, assertion-based reasoning, formal methods, program verification
15	A. Udaya Shankar	An Introduction to Assertional Reasoning for Concurrent Systems.	ACM Comput. Surv.	1993	DBLP DOI BibTeX RDF	generation of preconditions, leads-to, progress properties, invariants, Hoare logic, weakest preconditions, safety properties, state transition systems, assertional reasoning
15	Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh	Consistency and Orderability: Semantics-Based Correctness Criteria for Databases.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	serializability theory, semantics, concurrency control, object-oriented databases
15	Hardi Hungar, Bernhard Steffen	Local Model Checking for Context-Free Processes.	ICALP	1993	DBLP DOI BibTeX RDF
15	François Bourdoncle	Abstract Debugging of Higher-Order Imperative Languages.	PLDI	1993	DBLP DOI BibTeX RDF	Pascal
15	J. Bradley Chen, Brian N. Bershad	The Impact of Operating System Structure on Memory System Performance.	SOSP	1993	DBLP DOI BibTeX RDF	UNIX, Mach
15	Amihai Motro	Annotating Answers with Their Properties.	SIGMOD Rec.	1992	DBLP DOI BibTeX RDF
15	Bal Wang, R. K. Shyamasundar	Methodology for Proving the Termination of Logic Programs.	STACS	1991	DBLP DOI BibTeX RDF
15	Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm	A Logic-Based Approach to Data Flow Analysis Problem.	PLILP	1990	DBLP DOI BibTeX RDF
15	Vaughan R. Pratt	Action Logic and Pure Induction.	JELIA	1990	DBLP DOI BibTeX RDF
15	Maurice Herlihy, Jeannette M. Wing	Linearizable concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
15	E. Allen Emerson, Joseph Y. Halpern	"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time.	POPL	1983	DBLP DOI BibTeX RDF
15	Leonard Friedman	Reasoning by Plausible Inference.	CADE	1980	DBLP DOI BibTeX RDF
15	Andrzej Blikle	Assertion Programming.	MFCS	1979	DBLP DOI BibTeX RDF
15	Ramez Elmasri, Gio Wiederhold	Data Model Integration Using the Structural Model.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF	ansi/sparc dbms architecture, conceptual and external schema, data model integration, entity classes and relationships, logical database design, relational model, structural model, data semantics
15	Stephen A. Cook, Derek C. Oppen	An Assertion Language for Data Structures.	POPL	1975	DBLP DOI BibTeX RDF
15	Götz Alefeld	Über die asymptotische Konvergenzgeschwindigkeit des allgemeinen Relaxationsverfahrens bei nichtnegativen Matrizen.	Computing	1968	DBLP DOI BibTeX RDF
8	Jens Brandt 0001, Klaus Schneider 0001, Sandeep K. Shukla	Translating concurrent action oriented specifications to synchronous guarded actions.	LCTES	2010	DBLP DOI BibTeX RDF	concurrent action-oriented specifications, code generation, synchronous languages, guarded commands
8	Brian Wongchaowart, Adam J. Lee	Oblivious enforcement of hidden information release policies.	AsiaCCS	2010	DBLP DOI BibTeX RDF	distributed proof, hidden credentials, hidden policies
8	María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi	A fold/unfold transformation framework for rewrite theories extended to CCT.	PEPM	2010	DBLP DOI BibTeX RDF	code carrying theory, fold/unfold transformation, rewriting logic
8	Ebrahim Bagheri, Faezeh Ensan	Evidential reasoning for the treatment of incoherent terminologies.	SAC	2010	DBLP DOI BibTeX RDF	debugging incoherent terminologies, inconsistency resolution, description logic, subjective logic, evidential reasoning