Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Michal Iglewski, Janina Mincer-Daszkiewicz |
Internal Design of Modules Specified in the Trace Assertion Method. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Staffan Bonnier, Tim Heyer |
COMPASS: A Comprehensible Assertion Method. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Johan Boye, Wlodzimierz Drabent, Jan Maluszynski |
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
16 | Mikhail Auguston, Peter Fritzson |
Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. |
Int. J. Softw. Eng. Knowl. Eng. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Xiaorong Huang |
Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Lynn Elliott, Ramin Mojdehbakhsh |
Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application]. |
CBMS |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Ward Douglas Maurer |
Relative Precision in the Inductive Assertion Method. |
WNAA |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Sven Thelemann |
Assertion of Consistency Within a Complex Object Database Using a Relationship Construct. |
OOER |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Jeffrey M. Voas |
Software Testability Measurement for Assertion Placement and Fault Localization. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
16 | Mikhail Auguston, Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad |
AUI - the Debugger and Assertion Checker for the Awk Programming Language. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
16 | Paula Brito |
Order Structure of Symbolic Assertion Objects. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Frank S. de Boer |
Compositionality in the Inductive Assertion Method for Concurrent Systems. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
16 | Hwei Yin, James M. Bieman |
Improving Software Testability with Assertion Insertion. |
ITC |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Stephen S. Yau, Jacob V. Gore |
Paradigm Lost: Discovering the Intersection of Assertion-Guided Program Construction and Constraint-Driven Reevaluation. |
Comput. J. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Liedtke |
Rechnergestützte Anwendung der allgemeinen Intermittent-Assertion-Methode auf while-Konstrukte. |
|
1993 |
RDF |
|
16 | Mikhail Auguston, Peter Fritzson |
PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications. |
PDP |
1993 |
DBLP DOI BibTeX RDF |
|
16 | François Bourdoncle |
Assertion-based Debugging of Imperative Programs by Abstract Interpretation. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Sharon E. Perl |
Performance Assertion Checking (Abstract). |
ACM SIGOPS Oper. Syst. Rev. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Gautron |
An Assertion Mechanism Based on Exceptions. |
C++ Conference |
1992 |
DBLP BibTeX RDF |
|
16 | Sharon E. Perl |
Performance assertion checking. |
|
1992 |
RDF |
|
16 | Joyce P. McDowell |
Quasi-assertion. |
J. Semant. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Carlo Ghezzi, Richard A. Kemmerer |
ASTRAL: An Assertion Language for Specifying Realtime Systems. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Laurence T. Maloney, Albert J. Ahumada |
Learning by Assertion: Two Methods for Calibrating a Linear Visual System. |
Neural Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Frank A. Stomp, Willem P. de Roever, Rob Gerth |
The upsilon-Calculus as an Assertion-Language for Fairness Arguments |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Susan Darling Urban |
ALICE: an assertion language for integrity constraint expression. |
COMPSAC |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Wlodzimierz Drabent, Jan Maluszynski |
Inductive Assertion Method for Logic Programs. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Timothy Williamson |
Assertion, denial and some cancellation rules in modal logic. |
J. Philos. Log. |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Bruce M. McMillin, Lionel M. Ni |
Executable assertion development for the distributed parallel environment. |
COMPSAC |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Bernie Elfrink, Han Reichgelt |
The Use of Assertion-Time Inference in Logic-Based Knowledge Bases. |
ECAI |
1988 |
DBLP BibTeX RDF |
|
16 | Lawrence Chung, Daniel Rios-Zertuche, Brian A. Nixon, John Mylopoulos |
Process Management and Assertion Enforcement for a Semantic Data Model. |
EDBT |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Gerard J. Holzmann |
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching. |
IEEE Trans. Software Eng. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Daniel H. Cohen |
A new axiomatization of Belnap's conditional assertion. |
Notre Dame J. Formal Log. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | I. S. Kononenko |
Speech Acts of Assertion in Cooperative Informational Dialogue. |
COLING |
1986 |
DBLP BibTeX RDF |
|
16 | Robert W. Blanning |
A relational framework for assertion management. |
Decis. Support Syst. |
1985 |
DBLP DOI BibTeX RDF |
|
16 | G. Edward Barton Jr., Robert C. Berwick |
Parsing with Assertion Sets and Information Monotonicity. |
IJCAI |
1985 |
DBLP BibTeX RDF |
|
16 | Terence Parsons |
Assertion, denial, and the Liar Paradox. |
J. Philos. Log. |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Hiroshi Nakagawa |
AND Parallel PROLOG with Divided Assertion Set. |
SLP |
1984 |
DBLP BibTeX RDF |
|
16 | Morris M. Siegel |
Proving Properties of SNOBOL 4 Patterns: Selecting the Assertion Format. |
Symposium on Programming |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Ronald J. Brachman, Hector J. Levesque, Richard Fikes |
KRYPTON: Integrating Terminology and Assertion. |
AAAI |
1983 |
DBLP BibTeX RDF |
|
16 | Osvaldo Carvalho, Gérard Roucairol |
On the Distribution of an Assertion. |
PODC |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Horst Müller |
Correctness Proof for the Alternating Bit Protocol by Assertion Systems. |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets |
1981 |
DBLP DOI BibTeX RDF |
|
16 | James C. King |
Program Correctness: On Inductive Assertion Methods. |
IEEE Trans. Software Eng. |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Stephen S. Yau, John L. Ramey, Robin A. Nicholl |
Assertion techniques for dynamic monitoring of linear list data structures. |
J. Syst. Softw. |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Neil D. Jones, Steven S. Muchnick |
Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra |
FOCS |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Karel Vosátka |
Intermittent-assertion method as a structural induction. |
Kybernetika |
1979 |
DBLP BibTeX RDF |
|
16 | Richard E. Fairley |
ALADDIN: Assembly Language Assertion Driven Debugging Interpreter. |
IEEE Trans. Software Eng. |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Blikle |
Assertion Programming. |
MFCS |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Stephen S. Yau, John L. Ramey |
Assertion techniques for dynamic monitoring of linear list data structures. |
COMPSAC |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Wen-Tsuen Chen, Jone-Ping Ho, Chia-Hsien Wen |
Dynamic validation of programs using assertion checking facilities. |
COMPSAC |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Jayadev Misra |
Prospects and Limitations of Automatic Assertion Generation for Loop Programs. |
SIAM J. Comput. |
1977 |
DBLP DOI BibTeX RDF |
|
16 | Edward A. Ashcroft, William W. Wadge |
Intermittent Assertion Proofs in Lucid. |
IFIP Congress |
1977 |
DBLP BibTeX RDF |
|
16 | Tsun S. Chow |
A Generalized Assertion Language. |
ICSE |
1976 |
DBLP BibTeX RDF |
|
16 | J. Michael Dunn |
Axiomatizing Belnap's conditional assertion. |
J. Philos. Log. |
1975 |
DBLP DOI BibTeX RDF |
|
16 | J. W. de Bakker, Lambert G. L. T. Meertens |
On the Completeness of the Inductive Assertion Method. |
J. Comput. Syst. Sci. |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Stephen A. Cook, Derek C. Oppen |
An Assertion Language for Data Structures. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Leon G. Stucki, Gary L. Foshee |
New assertion concepts for self-metric software validation. |
Reliable Software |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Ruth Manor |
A semantic analysis of conditional assertion. |
J. Philos. Log. |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Maarten M. Fokkinga |
Inductive assertion patters for recursive procedures. |
Symposium on Programming |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Sanford M. Levy |
A Counter Example to an Assertion of Jackson. |
IEEE Trans. Electron. Comput. |
1963 |
DBLP DOI BibTeX RDF |
|
9 | Doina Bucur, Marta Z. Kwiatkowska |
Software verification for TinyOS. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
sensor networks, model checking, reliability, safety, software verification, TinyOS, telos, MSP430 |
9 | Mark Stephenson, Ram Rangan, Emmanuel Yashchin, Eric Van Hensbergen |
Statistically regulating program behavior via mainstream computing. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
collaborative community, mainstream computing |
9 | Ishtiaque Hussain, Christoph Csallner |
Dynamic symbolic data structure repair. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
data structure invariants, data structure repair, dynamic symbolic execution |
9 | Jacob Burnim, Koushik Sen |
DETERMIN: inferring likely deterministic specifications of multithreaded programs. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
parallel programs, determinism, specification inference |
9 | Haitham S. Al-Sinani, Waleed A. Alrodhan, Chris J. Mitchell |
CardSpace-liberty integration for CardSpace users. |
IDtrust |
2010 |
DBLP DOI BibTeX RDF |
Liberty Alliance project, browser extension, interoperability, identity management, SAML, CardSpace |
9 | Ted Wobber, Thomas L. Rodeheffer, Douglas B. Terry |
Policy-based access control for weakly consistent replication. |
EuroSys |
2010 |
DBLP DOI BibTeX RDF |
security logic, replication, eventual consistency |
9 | Weizhong Qiang, Aleksandr Konstantinov |
Towards cross-middleware authentication and single sign-on for ARC Grid middleware. |
Comput. Sci. Res. Dev. |
2009 |
DBLP DOI BibTeX RDF |
ARC middleware, Virtual organization, Delegation, Single sign-on |
9 | Edward Kyriacou, Marios S. Pattichis, Constantinos S. Pattichis, Andreas Mavrommatis, Christina I. Christodoulou, Stavros K. Kakkos, Andrew Nicolaides |
Classification of atherosclerotic carotid plaques using morphological analysis on ultrasound images. |
Appl. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Kay Römer, Junyan Ma |
PDA: Passive distributed assertions for sensor networks. |
IPSN |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies |
Intra-module Inference. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Catherine Havasi, Henry Lieberman, Erik T. Mueller |
CSIUI 2009: story understanding and generation for aware and interactive interface design. |
IUI |
2009 |
DBLP DOI BibTeX RDF |
knowledge collection, events, intelligent user interfaces, common sense reasoning, story understanding |
9 | Sharad Goel, Roby Muhamad, Duncan J. Watts |
Social search in "Small-World" experiments. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
small-world experiment, social search, attrition |
9 | Helmut Seidl, Vesal Vojdani, Varmo Vene |
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby |
Reduced Execution Semantics of MPI: From Theory to Practice. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Bing Li, Chris Ka-Kei Kwok |
Automatic formal verification of clock domain crossing signals. |
ASP-DAC |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Michael Jackson 0001 |
Some Notes on Models and Modelling. |
Conceptual Modeling: Foundations and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Sergei N. Artëmov, Roman Kuznets |
Logical omniscience as a computational complexity problem. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Shumpei Akai, Shigeru Chiba |
Extending AspectJ for separating regions. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
synchronization, aspect-oriented programming, region, feature-oriented programming |
9 | Rafael Studart Monclar, Jonice Oliveira, Jano Moreira de Souza |
Analysis and balancing of social network to improve the knowledge flow on multidisciplinary teams. |
CSCWD |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Ping Wang, Xuemei Zhu |
The Reliability Assessment of Legal Reasoning with Evidence Theory. |
WKDD |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Jacob Burnim, Koushik Sen |
Asserting and checking determinism for multithreaded programs. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
parallel programs, determinism, assertions |
9 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
An integrated proof language for imperative programs. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
verification, theorem prover, proof system |
9 | Rinku Dewri, L. Darrell Whitley, Indrajit Ray, Indrakshi Ray |
A multi-objective approach to data sharing with privacy constraints and preference based objectives. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
anonymization bias, multi-objective optimization, constraint handling, disclosure control |
9 | Richard Cooper 0001, Laura Devenny |
A Database System for Absorbing Conflicting and Uncertain Information from Multiple Correspondents. |
BNCOD |
2009 |
DBLP DOI BibTeX RDF |
Collaboration, Reputation, Uncertain Data, Probabilistic Data |
9 | Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys |
MoonWalker: Verification of .NET Programs. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | David Israel Gonzalez-Aguirre, Steven Wieland, Tamim Asfour, Rüdiger Dillmann |
On Environmental Model-Based Visual Perception for Humanoids. |
CIARP |
2009 |
DBLP DOI BibTeX RDF |
Object Recognition, Humanoids, Model-Based Vision |
9 | Sandip Ray, Warren A. Hunt Jr. |
Connecting pre-silicon and post-silicon verification. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Zurab Khasidashvili, Daher Kaiss, Doron Bustan |
A compositional theory for post-reboot observational equivalence checking of hardware. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Michael Backes 0001, Boris Köpf, Andrey Rybalchenko |
Automatic Discovery and Quantification of Information Leaks. |
SP |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Florina Almenárez, Patricia Arias, Andrés Marín, Daniel Díaz Sánchez |
Towards dynamic trust establishment for identity federation. |
EATIS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Ken-ichi Kawarabayashi, Bruce A. Reed |
Hadwiger's conjecture is decidable. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
Hadwiger's conjecture, the four color theorem |
9 | Raghav Kaushik, Christopher Ré, Dan Suciu |
General Database Statistics Using Entropy Maximization. |
DBPL |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur |
Formal verification of practical MPI programs. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
dynamic partial order reduction, model checking, message passing interface, distributed programming, mpi |
9 | Keith W. Miller 0001, Jeffrey M. Voas |
IT as a Profession: Is Competent Creation the Primary Goal? |
IT Prof. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Hong Lu, A. Forin |
Automatic Processor Customization for Zero-Overhead Online Software Verification. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Anubhav Gupta 0001, Kenneth L. McMillan, Zhaohui Fu |
Automated assumption generation for compositional verification. |
Formal Methods Syst. Des. |
2008 |
DBLP DOI BibTeX RDF |
L*, Model checking, Formal verification, Decision tree, SAT, Compositional verification, Assume-guarantee |
9 | Gerzson Kéri |
The covering radius of extreme binary 2-surjective codes. |
Des. Codes Cryptogr. |
2008 |
DBLP DOI BibTeX RDF |
AMS Classifications 94B75, 05C70, 05C65, 94B25 |
9 | Laurence Pierre, Luca Ferro |
A Tractable and Fast Method for Monitoring SystemC TLM Specifications. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Subrat Kumar Panda, Arnab Roy 0001, P. P. Chakrabarti 0001, Rajeev Kumar 0004 |
Simulation-based verification using Temporally Attributed Boolean Logic. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Bus verification, instruction semantics verification, interrupt testing, offline-online verification algorithm, simulation based verification, temporal logic, timing verification |
9 | Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001 |
Auxiliary state machines + context-triggered properties in verification. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
TBV, Model checking, fault models, functional verification, TLM |