|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1311 occurrences of 799 keywords
|
|
|
Results
Found 1476 publication records. Showing 1476 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
38 | Dong Wang, Jeremy R. Levitt |
Automatic assume guarantee analysis for assertion-based formal verification. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Amir Hekmatpour, Azadeh Salehi |
Block-based Schema-driven Assertion Generation for Functional Verification. |
Asian Test Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Farn Wang, Fang Yu 0001 |
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Pedro Guerreiro |
Another Mediocre Assertion Mechanism for C++. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Kathryn S. McKinley, Olivier Temam |
Quantifying loop nest locality using SPEC'95 and the perfect benchmarks. |
ACM Trans. Comput. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm |
A Logic-Based Approach to Program Flow Analysis. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Michael Rizzo |
Using Producer and Consumer Manipulators to Extend Stream I/O Formatting in C++. |
ACM SIGPLAN Notices |
1994 |
DBLP DOI BibTeX RDF |
C++ |
38 | Edmund M. Clarke, Steven M. German, Joseph Y. Halpern |
On Effective Axiomatizations of Hoare Logics. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
38 | M. Ross Quillian |
The teachable language comprehender: a simulation program and theory of language. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
human memory simulation, linguistic performance theory, natural language comprehension, psychological simulation, teachable computer program, natural language processing, computer linguistics |
33 | Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
Formal Specifications, Validation, Patterns, Statecharts, Assertions |
33 | Yoonsik Cheon |
Design Assertions: Executable Assertions for Design Constraints. |
ICCSA (Workshops 5) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | John Bulles, Ralph Mak, Diederik Dulfer |
Proof of Concept on Time Travelling and Assertions Generating an Assertions Administration Using FBM. |
OTM Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Kai Chen, Dongdai Lin, Li Yan, Xin Sun |
Environment-Bound SAML Assertions: A Fresh Approach to Enhance the Security of SAML Assertions. |
Inscrypt |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Yann Régis-Gianas |
From types to logical assertions : automatic or assisted proofs of property about functional programs. (Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels). |
|
2007 |
RDF |
|
32 | Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo |
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
static/dynamic debugging, program verification, unit testing, assertions, run-time verification |
32 | Paolo Ceravolo, Ernesto Damiani, Marco Viviani 0001 |
Bottom-Up Extraction and Trust-Based Refinement of Ontology Metadata. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
bottom-up ontology, ad hoc conceptualization, metadata extraction and maintenance, fuzzy clustering techniques, trusted assertions, Semantic Web |
32 | Harry M. Sneed |
Testing a Datawarehouse - An Industrial Challenge. |
TAIC PART |
2006 |
DBLP DOI BibTeX RDF |
Datawarehouse Testing, Data Transformation Rules, Post Conditions Assertions, Formal Verification, System Testing |
32 | Patrice Chalin |
Are Practitioners Writing Contracts? |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
program assertions, empirical study, design by contract, Eiffel |
32 | Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan |
Bug isolation via remote program sampling. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
bug isolation, feature selection, logistic regression, assertions, random sampling, statistical debugging |
32 | Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy |
Validating Run-time Interactions in Distributed Java Applications. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
Visualization, Unified Modeling Language, Software design, Distributed applications, Assertions, Java RMI, Test adequacy criteria, Interceptors, Interaction diagrams |
32 | Can Türker, Kerstin Schwarz, Gunter Saake |
Global Transaction Termination Rules in Composite Database Systems. |
BNCOD |
2000 |
DBLP DOI BibTeX RDF |
global transactions, composite database systems, extensional assertions, termination dependencies |
32 | Farnam Jahanian, Aloysius K. Mok |
Modechart: A Specification Language for Real-Time Systems. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
Modechart, absolute timing, real-time clock, RTL formulas, RTL assertions, graphical implementation, SARTOR, real-time systems, real-time systems, semantics, specification languages, specification language, rapid prototyping, timing constraints, abstraction levels, logic programming languages, hierarchical organization, real-time logic |
32 | Hanan Lutfiyya, Bruce M. McMillin, Alan Su |
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
Concurrent Program Verification, Changeling, Fault Tolerance, Formal Methods, Distributed Databases, Transformation, Executable Assertions |
32 | Martin T. Vechev, Eran Yahav, Greta Yorsh |
PHALANX: parallel checking of expressive heap assertions. |
ISMM |
2010 |
DBLP DOI BibTeX RDF |
parallel garbage collector, virtual machine, ownership |
32 | Bernhard Hollunder |
WS-Policy: On Conditional and Custom Assertions. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies |
Abstraction Refinement for Quantified Array Assertions. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Sebastian Gajek, Lijun Liao, Jörg Schwenk |
Stronger TLS bindings for SAML assertions and SAML artifacts. |
SWS |
2008 |
DBLP DOI BibTeX RDF |
client certificate, fim, saml, tls |
32 | Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young |
Mechanized Information Flow Analysis through Inductive Assertions. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Bruno Blanchet |
Computationally Sound Mechanized Proofs of Correspondence Assertions. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Harald Obereder, Markus Pfaff |
Behavioral synthesis of property specification language (PSL) assertions. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
32 | J Strother Moore |
Inductive assertions and operational semantics. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Theorem proving, JVM, Software verification, Verification condition |
32 | Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar |
Deterministic Dynamic Monitors for Linear-Time Assertions. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Philipp Peti, Roman Obermaisser, Hermann Kopetz |
Out-of-Norm Assertions. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
32 | 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 |
|
32 | 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 |
|
32 | Margaret M. Burnett, Curtis R. Cook, Omkar Pendse, Gregg Rothermel, Jay Summet, Christine Wallace |
End-User Software Engineering with Assertions in the Spreadsheet Paradigm. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Patrick C. K. Hung, Guang-Sha Qiu |
Implementing Conflict of Interest Assertions for Web Services Matchmaking Process. |
CEC |
2003 |
DBLP DOI BibTeX RDF |
WS-PolicyAttachment, Matchmaking, Conflict of interest, WS-Policy, Service locators, Chinese wall security policy |
32 | Tim Oodes, Holger Krisp, Christian Müller-Schloer |
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems. |
ARCS |
2002 |
DBLP DOI BibTeX RDF |
|
32 | József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner |
Integrating Temporal Assertions into a Parallel Debugger. |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Christine Wallace, Curtis R. Cook, Jay Summet, Margaret M. Burnett |
Assertions in End-User Software Engineering: A Think-Aloud Study. |
HCC |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck |
Parameterized Verification with Automatically Computed Inductive Assertions. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Martin Hiller |
Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Can Türker, Gunter Saake |
Consistent Handling of Integrity Constraints and Extensional Assertions for Schema Integration. |
ADBIS |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Jeffrey M. Voas |
Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Manfred Broy, Bernd Krieg-Brückner |
Derivation of Invariant Assertions During Program Development by Transformation. |
ACM Trans. Program. Lang. Syst. |
1980 |
DBLP DOI BibTeX RDF |
|
31 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Constraint-Based Invariant Inference over Predicate Abstraction. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Raghav Kaushik, Christopher Ré, Dan Suciu |
General Database Statistics Using Entropy Maximization. |
DBPL |
2009 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Hans Eveking, Martin Braun 0001, Martin Schickel, Martin Schweikert, Volker Nimbler |
Multi-Level Assertion-Based Design. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
Context-Sensitive Multivariant Assertion Checking in Modular Programs. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Aaron R. Bradley, Zohar Manna |
Verification Constraint Problems with Strengthening. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Ludwig Seitz, Erik Rissanen, Babak Sadighi Firozabadi |
A Classification of Delegation Schemes for Attribute Authority. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego |
Diagnosing Errors in DbC Programs Using Constraint Programming. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Mengluo Ji, Xin Wang, Zhichang Qi |
Trace Acquirement from Real-Time Systems Based on WCET Analysis. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
|
31 | C. A. R. Hoare |
Towards the Verifying Compiler. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
A CLP Proof Method for Timed Automata. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
Liveness with Incomprehensible Ranking. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Robert Bruce Findler, Matthias Felleisen |
Contracts for higher-order functions. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions |
31 | Ronen Shaltiel |
Towards Proving Strong Direct Product Theorems. |
CCC |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Bogdan Korel, Ali M. Al-Yami |
Assertion-Oriented Automated Test Data Generation. |
ICSE |
1996 |
DBLP BibTeX RDF |
assertion oriented automated test data generation, automatic run time detection, program input, software engineering, program testing, automatic programming, white box testing, automated test data generation, software errors |
31 | Kathryn S. McKinley, Olivier Temam |
A Quantitative Analysis of Loop Nest Locality. |
ASPLOS |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Victor Carreño |
Verification in Higher Order Logic of Mutual Exclusion Algorithm. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Sharon E. Perl, William E. Weihl |
Performance Assertion Checking. |
SOSP |
1993 |
DBLP DOI BibTeX RDF |
DEBUG, Parallel C |
31 | Robert Bernecky |
Array Morphology. |
APL |
1993 |
DBLP DOI BibTeX RDF |
APL |
31 | Eric Simon, Patrick Valduriez |
Design and Implementation of an Extendible Integrity Subsystem. |
SIGMOD Conference |
1984 |
DBLP DOI BibTeX RDF |
|
31 | Ben Wegbreit |
Verifying Program Performance. |
J. ACM |
1976 |
DBLP DOI BibTeX RDF |
|
24 | Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili 0001 |
Relational Methods in the Analysis of While Loops: Observations of Versatility. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
Function extraction, loop functions, invariant assertions, invariant relations, invariant functions, computing loop behavior, refinement calculus, relational calculus |
24 | Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore |
A Mechanical Analysis of Program Verification Strategies. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Inductive assertions, Partial correctness, Theorem proving, Invariants, Total correctness |
24 | Deni Torres Román, Joaquín Cortez González, Raul Ernesto Gonzalez-Torres |
Improving the Digital Design with Semi-formal Specification. |
CONIELECOMP |
2006 |
DBLP DOI BibTeX RDF |
semiformal specification, model checking tools, assertions, properties, Assertion based verification |
24 | Frances Perry, Limin Jia 0001, David Walker 0001 |
Expressing heap-shape contracts in linear logic. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
heap shape, contracts, linear logic, assertions |
24 | Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso |
Is methodology the highway out of verification hell? |
DAC |
2005 |
DBLP DOI BibTeX RDF |
verification, formal verification, methodology, assertions |
24 | Farn Wang, Geng-Dian Huang, Fang Yu 0001 |
Symbolic Simulation of Real-Time Concurrent Systems. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
state-based, model-checking, verification, specification, Assertions, event-driven |
24 | Shane Sendall, Alfred Strohmeier |
Using OCL and UML to Specify System Behavior. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
Pre- and Postcondition Assertions, Unified Modeling Language, Requirements Analysis, Object Constraint Language, Software Specification |
24 | 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 |
24 | Thomas F. Keefe, Wei-Tek Tsai |
A multiversion transaction scheduler for centralized multilevel secure database systems. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
multiversion transaction scheduler, centralized multilevel secure database systems, multilevel secure database management systems, MLS/DBMSs, secure multiversion scheduling protocol, serializable schedules, MLS noninterference assertions, timestamp generation, concurrency, concurrency control, transactions, correctness, contention, failure, covert channels, data access, abstract model, concurrent execution, multiple versions |
24 | Henri B. Weinberg, Nancy A. Lynch |
Correctness of vehicle control systems-a case study. |
RTSS |
1996 |
DBLP DOI BibTeX RDF |
vehicle control systems correctness, vehicle deceleration manoeuvres, automated transportation systems, hybrid I/O automata, hybrid input output automata, invariant assertions, simulation mappings, differential calculus, real time systems, case study, vehicles, correctness verification |
24 | Timothy J. Shimeall, Nancy G. Leveson |
An Empirical Comparison of Software Fault Tolerance and Fault Elimination. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
fault elimination, run-time assertions, multiversion voting, stepwise abstraction, static data-flow analysis, project resources, fault tolerant computing, software reliability, software reliability, program testing, software fault tolerance, functional testing, structural testing, code reading |
24 | Eric Saund |
Symbolic Construction of a 2-D Scale-Space Image. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1990 |
DBLP DOI BibTeX RDF |
2-D scale-space image, multiscale primitive shape description, grouping operations, edge primitives, partial-region assertions, curved contours, primitive corners, bars, pattern recognition, pattern recognition, picture processing, picture processing |
24 | Florian Eibensteiner, Rainer Findenig, Markus Pfaff |
SynPSL: Behavioral Synthesis of PSL Assertions. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
Synthesis, PSL, Assertion-based Verification |
24 | Ayla Dantas |
Improving developers' confidence in test results of multi-threaded systems: avoiding early and late assertions. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
multi-threaded systems testing, aspect-oriented programming, software monitoring |
24 | Robert Wille, Görschwin Fey, Marc Messing, Gerhard Angst, Lothar Linhard, Rolf Drechsler |
Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking. |
DSD |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Doron Drusinsky, Man-tak Shing |
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Doron Bustan, John Havlicek |
Some Complexity Results for SystemVerilog Assertions. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Rajendra Bose, Robert G. Mann, Diego Prina-Ricotti |
AstroDAS: Sharing Assertions Across Astronomy Catalogues Through Distributed Annotation. |
IPAW |
2006 |
DBLP DOI BibTeX RDF |
|
24 | George Economakos |
Behavioral synthesis with SystemC and PSL assertions for interface specification. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ramtilak Vemu, Jacob A. Abraham |
CEDA: Control-flow Error Detection through Assertions. |
IOLTS |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Marc Lohmann, Gregor Engels, Stefan Sauer 0001 |
Model-driven Monitoring: Generating Assertions from Visual Contracts. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll |
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti 0001 |
Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules. |
VLSI Design |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Patrick C. K. Hung, Guang-Sha Qui |
Implementing conflict of interest assertions in WS-policy with separation of duties for Web-Services matchmaking process. |
Inf. Syst. E Bus. Manag. |
2004 |
DBLP DOI BibTeX RDF |
Matchmaking process, Separation of duties, Conflict of interest, WS-policy, Chinese wall security policy |
24 | Alexander Lazovik, Marco Aiello 0001, Mike P. Papazoglou |
Associating assertions with business processes and monitoring their execution. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
service and AI computing, theoretical frameworks for service representation and composition, monitoring, management, quality, service delivery |
24 | Daniel Leivant |
Partial Correctness Assertions Provable in Dynamic Logics. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Mary Keeler |
Using Brandom's Framework to Do Peirce's Normative Science: Pragmatism as the Game of Harmonizing Assertions? |
ICCS |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jørgen Villadsen |
Paraconsistent Assertions. |
MATES |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Patrick C. K. Hung, Guang-Sha Qiu |
Specifying conflict of interest assertions in WS-policy with Chinese wall security policy. |
SIGecom Exch. |
2003 |
DBLP DOI BibTeX RDF |
WS-policy attachment, security assertion, XML, security policy, delegation, matchmaking, conflict of interest, WS-policy, service locators, Chinese wall security policy |
24 | Vânia Maria Ponte Vidal, Marco A. Casanova |
Efficient Maintenance of XML Views Using View Correspondence Assertions. |
EC-Web |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante |
Soft-Error Detection Using Control Flow Assertions. |
DFT |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Powell |
Deriving Verification Conditions and Program Assertions to Support Software Inspection. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
practical formal methods, stepwise abstraction, clean-room software development, verification, inspection, reading techniques, trusted components |
24 | Rainer Osswald |
Assertions, Conditionals, and Defaults. |
WCII |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Jonny Vinter, Joakim Aidemark, Peter Folkesson, Johan Karlsson |
Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recover. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1476 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|