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 |