Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Nam Tran II, Christine Mingins, David Abramson 0001 |
Design and implementation of assertions for the common language infrastructure. |
IEE Proc. Softw. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter |
Correspondence Assertions for Process Synchronization in Concurrent Communications. |
FOCLASA |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Anthony J. H. Simons |
The Theory of Classification, Part 5: Axioms, Assertions and Subtyping. |
J. Object Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Andrew D. Gordon 0001, Alan Jeffrey |
Typing correspondence assertions for communication protocols. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Stephan Breutel, Frédéric Maire, Ross Hayward |
Extracting Interface Assertions from Neural Networks in Polyhedral Format. |
ESANN |
2003 |
DBLP BibTeX RDF |
|
16 | Guang-Sha Qui, Patrick C. K. Hung |
Illustrating Conflict of Interest Assertions in WS-Policy with a Financial Application Example. |
ICWS |
2003 |
DBLP BibTeX RDF |
|
16 | Peter Horan |
Eiffel Assertions and the External Structure of Classes and Objects. |
J. Object Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Isabel Nunes |
Design by Contract Using Meta-Assertions. |
J. Object Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Rau 0004 |
Verwendung von Zusicherungen in einem modellbasierten Entwicklungsprozess (Using Assertions and Watchdogs in a Model-Based Development Process). |
Informationstechnik Tech. Inform. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | C. A. R. Hoare |
Assertions: A Personal Perspective. |
Software Pioneers |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem |
Accelerated verification of RTL assertions based on satisfiability solvers. |
HLDVT |
2002 |
DBLP DOI BibTeX RDF |
|
16 | C. A. R. Hoare |
Assertions in Modern Software Engineering Practice. |
COMPSAC |
2002 |
DBLP BibTeX RDF |
|
16 | Dan Pei, Xiaoliang Zhao, Lan Wang, Daniel Massey, Allison Mankin, Shyhtsun Felix Wu, Lixia Zhang 0001 |
Improving BGP Convergence Through Consistency Assertions. |
INFOCOM |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer |
Dynamic Assertions Using TXP. |
RV@CAV |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Detlef Bartetzko, Clemens Fischer, Michael Möller 0002, Heike Wehrheim |
Jass - Java with Assertions. |
RV@CAV |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Andrew D. Gordon 0001, Alan Jeffrey |
Typing Correspondence Assertions for Communication Protocols. |
MFPS |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri |
Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis. |
Formal Methods Syst. Des. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Vânia Maria Ponte Vidal, Bernadette Farias Lóscio, Ana Carolina Salgado |
Using Correspondence Assertions for Specifying the Semantics of XML-Based Mediators. |
Workshop on Information Integration on the Web |
2001 |
DBLP BibTeX RDF |
|
16 | Tom Mens |
Transformational Software Evolution by Assertions. |
FFSE@CSMR |
2001 |
DBLP BibTeX RDF |
|
16 | William Mitchell |
Class assertions - an emerging factor in software engineering. |
CATA |
2001 |
DBLP BibTeX RDF |
|
16 | Donald Bamber, I. R. Goodman |
Reasoning with Assertions of High Conditional Probability: Entailment with Universal Near Surety. |
ISIPTA |
2001 |
DBLP BibTeX RDF |
|
16 | Dirk Van Heule, Albert Hoogewijs |
Automated Reasoning with Ordinary Assertions and Default Assumptions. |
ISMVL |
2001 |
DBLP DOI BibTeX RDF |
|
16 | C. A. R. Hoare |
Growing Use of Assertions. |
TOOLS (38) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Donald Bamber |
Entailment with Near Surety of Scaled Assertions of High Conditional Probability. |
J. Philos. Log. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Can Türker, Gunter Saake |
Global Extensional Assertions and Local Integrity Constraints in Federated Schemata. |
Inf. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Martina Schollmeyer, Bruce M. McMillin |
Efficient run-time assurance in distributed systems through selection of executable assertions. |
J. Syst. Softw. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Küchlin, Carsten Sinz |
Proving Consistency Assertions for Automotive Product Data Management. |
J. Autom. Reason. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Claude Laï |
Assertions with Constraints for CLP Debugging. |
Analysis and Visualization Tools for Constraint Programming |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Sanjay J. Patel, Tony Tung, Satarupa Bose, Matthew M. Crum |
Increasing the size of atomic instruction blocks using control flow assertions. |
MICRO |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Yasser Khayata, Daniel Pacholczyk |
Qualitative Reasoning with Quantified Assertions. |
AI&M |
2000 |
DBLP BibTeX RDF |
|
16 | Henry MacKay Walker |
Modules to introduce assertions and loop invariants informally within CS1: experiences and observations. |
ACM SIGCSE Bull. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Ulf Leser |
Combining Heterogeneous Data Sources through Query Correspondence Assertions. |
Workshop on Web Information and Data Management |
1998 |
DBLP BibTeX RDF |
|
16 | Clemens Fischer, Dieter Meemken |
JaWa: Java with Assertions. |
Java-Informations-Tage |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri |
Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis. |
ICCD |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Ion I. Mirita |
Quadri-Dimensional Interpretation of Syllogistic Inferential Process in Polyvalent Logic, With a View to Structuring Concepts and Assertions for Realizing the Universal Knowledge Basis. |
IEA/AIE (Vol. 1) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Jürgen F. H. Winkler, Stefan Kauer |
Proving Assertions is Also Useful. |
ACM SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Miguel Katrib, Jesüs Coira |
Improving Eiffel Assertions Using Quantiefied Iterators. |
J. Object Oriented Program. |
1997 |
DBLP BibTeX RDF |
|
16 | Patrick Fitzpatrick |
Extending Backward Error Assertions to Tolerance of Large Errors in Floating Point Computations. |
IEEE Trans. Computers |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Nikolaj S. Bjørner, Anca Browne, Zohar Manna |
Automatic Generation of Invariants and Intermediate Assertions. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Jeffrey M. Voas |
Quality Time: How Assertions Can Increase Test Effectiveness. |
IEEE Softw. |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Stuart Kent 0001 |
Constraint Diagrams: Visualizing Assertions in Object-Oriented Models. |
OOPSLA |
1997 |
DBLP DOI BibTeX RDF |
|
16 | K. John Gough, Herbert Klaeren |
Executable Assertions and Separate Compilation. |
JMLC |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Guy W. Mineau, Olivier Gerbé |
Contexts: A Formal Definition of Worlds of Assertions. |
ICCS |
1997 |
DBLP DOI BibTeX RDF |
conceptual graph theory, semantics, contexts, knowledge representation, concept formation |
16 | Mikhail Auguston, Miu Har Hon |
Assertions for Dynamic Shape Analysis of List Data Structures. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
16 | Jonathan Cook |
Assertions for the Tcl Language. |
Tcl/Tk Workshop |
1997 |
DBLP BibTeX RDF |
|
16 | Angela Bonifati, Luigi Palopoli 0001, Domenico Saccà, Domenico Ursino |
Discovering description logic assertions from database schemes. |
Description Logics |
1997 |
DBLP BibTeX RDF |
|
16 | Victor Carreno |
Transition assertions: a higher-order logic based method for the specification and verification of real-time systems |
|
1997 |
RDF |
|
16 | Paul E. Kearney |
The relationship between a phylogeny and its ordinal assertions. |
|
1997 |
RDF |
|
16 | Mike A. Marin |
Effective use of Assertions in C++. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
C++ |
16 | Mohan Ahuja |
Assertions About Past and Future in Highways: Global Flush Broadcast and Flush-Vector-Time (Erratum). |
Inf. Process. Lett. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Collet, Roger Rousseau |
Classification et réification des assertions - Application au langage Eiffel. |
LMO |
1996 |
DBLP BibTeX RDF |
|
16 | Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille |
Executable Assertions and Timed Traces for On-Line Software Error Detection. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Xavier C. Delannoy, Ana Simonet, Michel Simonet |
Database Views with Dynamic Assertions. |
OOIS |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Ramaswamy Ramanujam |
Local Knowledge Assertions in a Changing World. |
TARK |
1996 |
DBLP BibTeX RDF |
|
16 | Sara Porat, L. Paul Fertig |
Class Assertions in C++. |
J. Object Oriented Program. |
1995 |
DBLP BibTeX RDF |
|
16 | Daniel Boley, Gene H. Golub, Samy Makar, Nirmal R. Saxena, Edward J. McCluskey |
Floating Point Fault Tolerance with Backward Error Assertions. |
IEEE Trans. Computers |
1995 |
DBLP DOI BibTeX RDF |
|
16 | David S. Rosenblum |
Correction to "A Practical Approach to Programming with Assertions". |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Wei Sun 0002, Yibei Ling, Clement T. Yu |
Supporting Inheriance Using Subclass Assertions. |
Inf. Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | John Lamping, Martín Abadi |
Methods as Assertions. |
Theory Pract. Object Syst. |
1995 |
DBLP BibTeX RDF |
|
16 | Christophe Rabéjac |
On-line Software Error Detection by Executable Assertions: From Theory to Practice. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Bernhard Möller |
Assertions and Recursions. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Nikolaj S. Bjørner, Anca Browne, Zohar Manna |
Automatic Generation of Invariants and Assertions. |
CP |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Sakharov |
Propagation of Constants and Assertions. |
ACM SIGPLAN Notices |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Sakharov |
Propagation of Constants and Assertions. |
ACM SIGPLAN Notices |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Peter Fritzson, Mikhail Auguston, Nahid Shahmehri |
Using assertions in declarative and operational models for automated debugging. |
J. Syst. Softw. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Krzysztof R. Apt, Elena Marchiori |
Reasoning About Prolog Programs: From Modes Through Types to Assertions. |
Formal Aspects Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Christian Burks, Rebecca J. Parsons, Michael L. Engle |
Integration of Competing Ancillary Assertions in Genome Assembly. |
ISMB |
1994 |
DBLP BibTeX RDF |
|
16 | Ian A. Mason, Carolyn L. Talcott |
Program Transformation via Contextual Assertions. |
Logic, Language and Computation |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Glen Maughan, Bohdan Durnota |
MON : An Object Relationship Model Incorporating Roles, Classification, Publicity and Assertions. |
OOIS |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Jeffrey M. Voas, Keith W. Miller 0001 |
Putting assertions in their place. |
ISSRE |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Maroua Bouzid, François Charpillet, Pierre Marquis, Jean Paul Haton |
Assumption-Based Truth Maintenance in Precense of Temproal Assertions. |
ICTAI |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel 0001 |
Eiffel-like Assertions and Private Methods in Smalltalk. |
TOOLS (13) |
1994 |
DBLP BibTeX RDF |
|
16 | Mohan Ahuja |
Assertions About Past and Future in Highways: Global Flush Broadcast and Flush-Vector-Time. |
Inf. Process. Lett. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Cousot, Radhia Cousot |
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Mauricio Osorio 0001, Bharat Jayaraman |
Subset Assertions and Negation As Failure. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
16 | Mohan Ahuja |
Assertions about Past and Future: Communication in a High-Performance Distributed System Highways. |
SPDP |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Bharat Jayaraman |
Sublist Assertions for Listless and Lazy Evaluation. |
Comput. Lang. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Stefano Spaccapietra, Christine Parent, Yann Dupont |
Model Independent Assertions for Integration of Heterogeneous Schemas |
VLDB J. |
1992 |
DBLP BibTeX RDF |
|
16 | Nancy A. Day |
A Comparison between Statecharts and State Transition Assertions. |
TPHOLs |
1992 |
DBLP BibTeX RDF |
|
16 | Nils Klarlund |
Progress Measures and Stack Assertions for Fair Termination. |
PODC |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Xiaorong Huang |
Applications of Assertions as Elementary Tactics in Proof Planning. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
16 | David S. Rosenblum |
Towards a Method of Programming With Assertions. |
ICSE |
1992 |
DBLP DOI BibTeX RDF |
C |
16 | Jörg Thierfelder |
Separation theorems for sets in product spaces and equivalent assertions. |
Kybernetika |
1991 |
DBLP BibTeX RDF |
|
16 | Stefano Spaccapietra, Christine Parent |
Conflicts and Correspondence Assertions in Interoperable Databases. |
SIGMOD Rec. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Hantao Zhang 0001, Angshuman Guha, Xin Hua |
Using Algebraic Specification in Floyd-Hoare Assertions. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
16 | Chris Groeneboer, James P. Delgrande |
A general approach for determining the validity of commonsense assertions using conditional logics. |
Int. J. Intell. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Ali Jaoua, Ali Mili 0001 |
The use of executable assertions for error detection and damage assessment. |
J. Syst. Softw. |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Peter Grogono |
Comments, assertions and pragmas. |
ACM SIGPLAN Notices |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Seiichiro Dan, Takahira Yamaguchi, Osamu Kakusho, Yoshikazu Tezuka |
Program verification system with synthesizer of invariant assertions. |
Syst. Comput. Jpn. |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Bernhard Möller |
Applicative Assertions. |
MPC |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski |
Algorithmic Debugging with Assertions. |
META |
1988 |
DBLP BibTeX RDF |
|
16 | Christian Percebois, F. Guerin, G. Orzati |
Parallélisme-OU et assertions Prolog. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
16 | Ingolf Max |
A new formal tool: functorial variables representing assertions and presuppositions. |
COLING |
1988 |
DBLP BibTeX RDF |
|
16 | Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski |
The Use of Assertions in Algorithmic Debugging. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
16 | Patrick Cousot, Radhia Cousot |
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. |
Acta Informatica |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Ali Mili 0001, Sihem Guemara, Ali Jaoua, Paul Torrés |
On the use of executable assertions in structured programs. |
J. Syst. Softw. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Thomas A. Joseph, Thomas Räuchle, Sam Toueg |
State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems. |
Sci. Comput. Program. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | David B. Paradice, James F. Courtney |
Controlling Bias in User Assertions in Expert Decision Support Systems for Problem Formulation. |
J. Manag. Inf. Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | William C. Mann, Sandra A. Thompson |
Assertions from Discourse Structure. |
HLT |
1986 |
DBLP BibTeX RDF |
|
16 | C. S. Kwok |
A note on sorting Prolog assertions. |
SIGART Newsl. |
1985 |
DBLP DOI BibTeX RDF |
|