|
|
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 |
115 | Patrick Cousot, Radhia Cousot |
Systematic Design of Program Analysis Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979, pp. 269-282, 1979, ACM Press. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
87 | Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez 0001 |
Assertions in Object Oriented Software Maintenance: Analysis and a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA, pp. 124-135, 2004, IEEE Computer Society, 0-7695-2213-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Software Maintenance, Case Study, Assertions, Object Oriented Systems |
87 | David S. Rosenblum |
A Practical Approach to Programming With Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(1), pp. 19-31, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Anna, APP, formal specifications, formal methods, C, programming environments, assertions, consistency checking, software faults, runtime checking |
80 | Ronan Gaugne |
A Static Analysis for Program Understanding and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 297-298, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures |
80 | Michael Siegel, Adriana Maggiore, Christian Pichler |
Untwist your brain: efficient debugging and diagnosis of complex assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 644-647, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SystemVerilog assertions, debugging, assertions, fault localization, functional verification, root cause analysis |
71 | Francisco José Galán Morillo, José Miguel Cañete Valdeón |
A Method for Compiling and Executing Expressive Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 521-540, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
programming with assertions, meaning-preservingtransformation, formal specification, testing, logic program, correctness, Assertion, program synthesis |
70 | Matthias M. Müller, Rainer Typke, Oliver Hagner |
Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada, pp. 84-92, 2002, IEEE Computer Society, 0-7695-1819-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
70 | Naren Narasimhan, Ranga Vemuri |
On the Effectiveness of Theorem Proving Guided Discovery of Formal Assertions for a Register Allocator in a High-Level Synthesis System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings, pp. 367-386, 1998, Springer, 3-540-64987-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
69 | Yoonsik Cheon |
Abstraction in Assertion-Based Test Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA, pp. 410-414, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Andhy Koesnandar, Sebastian G. Elbaum, Gregg Rothermel, Lorin Hochstein, Christopher Scaffidi, Kathryn T. Stolee |
Using assertions to help end-user programmers create dependable web macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 124-134, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
web macros, dependability, programming by demonstration, assertions, end user software engineering |
64 | Ian J. Hayes |
Reasoning about real-time programs using idle-invariant assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 16-23, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
real-time program reasoning, idle-invariant assertions, software engineering, real-time systems, preconditions, formal logic, Hoare logic, postconditions |
64 | Miguel Katrib, Damián Fernández, Ernesto Pimentel 0001 |
Synchronizing Java Threads Using Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 51-60, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java, Concurrency, Synchronization, Object-Oriented, Assertions |
64 | Nirmal R. Saxena, Edward J. McCluskey |
Linear Complexity Assertions for Sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(6), pp. 424-431, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data |
63 | Rod M. Burstall |
An algebraic description of programs with assertions, verification and simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 7-14, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
63 | Aaron Wilson, Margaret M. Burnett, Laura Beckwith, Orion Granatir, Ledah Casburn, Curtis R. Cook, Mike Durham, Gregg Rothermel |
Harnessing curiosity to increase correctness in end-user programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003, pp. 305-312, 2003, ACM, 1-58113-630-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
forms/3, surprise-explain-reward strategy, assertions, end-user software engineering, curiosity |
63 | Alexander Yip, Xi Wang 0005, Nickolai Zeldovich, M. Frans Kaashoek |
Improving application security with data flow assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009, pp. 291-304, 2009, ACM, 978-1-60558-752-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
xss, security, privacy, web, python, php, sql injection |
63 | Philip A. Bernstein, Barbara T. Blaustein |
Fast Methods for Testing Quantified Relational Calculus Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1982 ACM SIGMOD International Conference on Management of Data, Orlando, Florida, USA, June 2-4, 1982., pp. 39-50, 1982, ACM Press, 978-0-89791-073-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
62 | Norihisa Suzuki, Kiyoshi Ishihata |
Implementation of an Array Bound Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 132-143, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
56 | Raimondas Lencevicius, Edu Metz |
Performance assertions for mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 225-232, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
performance, mobile devices, assertions |
55 | Patrice Chalin |
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(2), pp. 139-158, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking |
55 | Philippe Collet, Roger Rousseau |
Towards Efficient Support for Executing the Object Constraint Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 399-, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Assertions Triggering and Evaluation, UML, Reliability, Implementation, Efficiency, Object Constraint Language |
55 | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti |
Inline Assertions - Embedding Formal Properties in a Test Bench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2009: Improving Productivity through Higher Abstraction, The 22nd International Conference on VLSI Design, New Delhi, India, 5-9 January 2009, pp. 71-76, 2009, IEEE Computer Society, 978-0-7695-3506-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
55 | Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi |
Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 230-235, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Assertion Synthesis, Assertion Unification, Online Testing |
55 | Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball |
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA, pp. 204-212, 2006, IEEE Computer Society, 0-7695-2684-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
55 | David Coppit, Jennifer M. Haddox-Schatz |
On the Use of Specification-Based Assertions as Test Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 305-314, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 8-10 June 2005, Montreal, Canada, pp. 105-110, 2005, IEEE Computer Society, 0-7695-2361-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Patrice Chalin |
Logical Foundations of Program Assertions: What do Practitioners Want?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 383-393, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Paul E. Kearney, Ryan Hayward, Henk Meijer |
Evolutionary Trees and Ordinal Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 25(2-3), pp. 196-221, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Species, Evolution, Tree, Phylogeny, Ordinal, Distance matrix |
55 | Christer Hultén |
Simple dynamic assertions for interactive program validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1984 National Computer Conference, 9-12 July 1984, Las Vegas, Nevada, USA, pp. 405-410, 1984, AFIPS Press, 0-88283-043-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
48 | David Ginat |
Embedding instructive assertions in program design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004, pp. 62-66, 2004, ACM, 1-58113-836-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
design perspectives, pedagogy, assertions |
48 | Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini |
Assertions to better specify the amazon bug. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 585-592, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
web operation, assertions, web application design |
48 | Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang |
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(9), pp. 863-885, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
real-time rule-based systems, behavioral constraint assertions, Estella, knowledge-decision processing, human expertise, monitor-respond cycle, bounded response time, rule-based programmer, application-specific knowledge, real-time systems, formal specification, knowledge representation, expert systems, constraint handling, rule-based expert systems |
47 | Jacob Burnim, Koushik Sen |
Asserting and checking determinism for multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 3-12, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel programs, determinism, assertions |
47 | Grace Tsai, Shuhua Wang |
Using Program Transformations to Provide Safety Properties for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 27(2), pp. 191-207, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fault tolerance, real time systems, formal methods, temporal logic, program verification, executable assertions |
47 | Edward Aftandilian, Samuel Z. Guyer |
GC assertions: using the garbage collector to check heap properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 235-244, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
heap properties, garbage collection, dynamic analysis |
47 | Anne H. Anderson |
Domain-Independent, Composable Web Services Policy Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 5-7 June 2006, London, Ontario, Canada, pp. 149-152, 2006, IEEE Computer Society, 0-7695-2598-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Lei Wang, James R. Cordy, Thomas R. Dean |
Enhancing Security Using Legality Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 12th Working Conference on Reverse Engineering, WCRE 2005, Pittsburgh, PA, USA, November 7-11, 2005, pp. 35-44, 2005, IEEE Computer Society, 0-7695-2474-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Peter C. Mehlitz, John Penix |
Design for Verification with Dynamic Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 285-292, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Chima Adiele, Sylvanus A. Ehikioya |
Dynamic Identification of Correspondence Assertions for Electronic Commerce Data Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (1) ![In: International Conference on Information Technology: Coding and Computing (ITCC'04), Volume 1, April 5-7, 2004, Las Vegas, Nevada, USA, pp. 223-227, 2004, IEEE Computer Society, 0-7695-2108-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Olaf Chitil, Dan McNeill, Colin Runciman |
Lazy Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 1-19, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Avi Ziv |
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions . ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 10834-10841, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Rajesh Venkatasubramanian, John P. Hayes, Brian T. Murray |
Low-Cost On-Line Fault Detection Using Control Flow Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 9th IEEE International On-Line Testing Symposium (IOLTS 2003), 7-9 July 2003, Kos Island, Greece, pp. 137-143, 2003, IEEE Computer Society, 0-7695-1968-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Michael Hammer, Sunil K. Sarin |
Efficient Monitoring of Database Assertions (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, USA, May 31 - June 2, 1978, pp. 159, 1978, ACM, 978-1-4503-7342-5. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
46 | |
Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![ACM, 978-1-4503-7891-8 The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Michel Sintzoff |
Calculating properties of programs by valuations on specific models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 203-207, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Cliff B. Jones |
Formal development of correct algorithms: An example based on earley's recogniser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 150-169, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Robin Milner |
Implementation and applications of Scott's logic for computable functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 1-6, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Clement L. McGowan |
The "most recent" error: Its causes and correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 191-202, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Peter Wegner |
Operational semantics of programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 128-141, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Clement McGowan |
The Contour Model Lambda Calculus Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 110-115, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Zohar Manna, Stephen Nes, Jean Vuillemin |
Inductive methods for proving properties of programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 27-50, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Daniel M. Berry |
The equivalence of models of tasking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 170-190, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Jean-Marie Cadiou, Zohar Manna |
Recursive definitions of partial functions and their computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 58-65, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Michael J. Fischer |
Lambda calculus schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 104-109, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Stephen J. Garland, David C. Luckham |
Translating recursion schemes into program schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 83-96, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | John A. N. Lee |
The definition and validation of the radix sorting technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 142-149, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | C. David Allen |
Derivation of axiomatic definitions of programming languages from algorithmic definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 15-26, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Edward A. Ashcroft |
Program correctness methods and language definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 51-57, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Michael S. Paterson |
Decision problems in computational models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 74-82, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Raymond E. Miller |
A boundary between decidability and undecidability for parallel program schemata (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 116-120, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Thomas E. Hull, Wayne H. Enright, Arthur E. Sedgwick |
The correctness of numerical algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 66-73, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Ralph L. London |
Correctness of a compiler for a Lisp subset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 121-127, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Thomas E. Cheatham Jr., Ben Wegbreit |
On a laboratory for the study of automating programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 208-211, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | H. Raymond Strong, S. A. Walker |
Properties preserved under recursion removal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proving Assertions About Programs ![In: Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972, pp. 97-103, 1972, ACM, 978-1-4503-7891-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
46 | Vladimir Tosic, Abdelkarim Erradi, Piyush Maheshwari |
WS-Policy4MASC - A WS-Policy Extension Used in the MASC Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, USA, pp. 458-465, 2007, IEEE Computer Society, 0-7695-2925-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
Creation and Validation of Embedded Assertion Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece, pp. 17-23, 2006, IEEE Computer Society, 0-7695-2580-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Nevin Heintze, Joxan Jaffar, Razvan Voicu |
A Framework for Combining Analysis and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, pp. 26-39, 2000, ACM, 1-58113-125-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
program analysis, abstract interpretation, program verification |
46 | Masud Ahmad Malik |
Evolution of the High Level Programming Languages: A Critical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(12), pp. 72-80, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
46 | Stephen D. Brookes |
On the Axiomatic Treatment of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Seminar on Concurrency ![In: Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984, pp. 1-34, 1984, Springer, 3-540-15670-4. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
46 | Albert R. Meyer, John C. Mitchell |
Axiomatic Definability and Completeness for Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982, pp. 337-346, 1982, ACM Press, 0-89791-065-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
41 | Lunjin Lu |
Use of correctness assertions in declarative diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1404-1408, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
correctness assertions, declarative diagnosis, logic programs |
41 | Jan Jürjens, Mark Yampolskiy |
Code security analysis with assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 392-395, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
code security analysis, cryto-based software, cryptographic protocols, first-order logic, assertions, automated theorem proving, C programs |
41 | Arshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri |
On systematic design of globally consistent executable assertions in embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES-SCOPES ![In: Proceedings of the 2002 Joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June 2002, pp. 75-84, 2002, ACM, 1-58113-527-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
application level fault tolerance, embedded systems, semantics, abstract interpretation, executable assertions |
41 | Martin Hiller |
Executable Assertions for Detecting Data Errors in Embedded Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 24-33, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
signal classification scheme, error detection, fault injection, software implemented fault tolerance, executable assertions |
40 | Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Linking CSP-OZ with UML and Java: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 267-286, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java, UML, CSP, assertions, Object-Z, runtime checking |
40 | Klaus Havelund, Thomas Pressburger |
Model Checking JAVA Programs using JAVA PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 366-381, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin |
40 | Zeyad Alkhalifa, V. S. S. Nair, Narayanan Krishnamurthy, Jacob A. Abraham |
Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(6), pp. 627-641, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
coverage, latency, fault injection, assertions, Control flow checking |
40 | Reinhold Plösch, Josef Pichler |
Contracts: From Analysis to C++ Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 248-257, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
assertions, Design by Contract |
40 | Jeffrey M. Voas |
Software testability measurement for intelligent assertion placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 6(4), pp. 327-336, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
testing, observability, testability, failure, fault, assertions, fault propagation |
40 | Alan C. Shaw |
Reasoning About Time in Higher-Level Language Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(7), pp. 875-889, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
higher-level language software, program elements, time-related statements, timing invariants, periodic processes, real-time systems, real-time, formal specification, synchronization, specification, lower bounds, delay, concurrent programs, synchronisation, upper bounds, assertions, deadlines, execution times, computer times, formal logic, Hoare logic, timing bounds, sequential programs |
40 | Yi Lu, Ramesh C. Jain |
Behavior of Edges in Scale Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(4), pp. 337-356, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
edge behaviour, edge recovery, Laplacian or Gaussian operator, corollaries, artificial intelligence, picture processing, computerised picture processing, computerised pattern recognition, computerised pattern recognition, reasoning, scale space, assertions, complex images |
40 | Dushan Z. Badal, Gerald J. Popek |
Cost and Performance Analysis of Semantic Integrity Validation Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, Boston, Massachusetts, USA, May 30 - June 1., pp. 109-115, 1979, ACM, 0-89791-001-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
integrity assertions, performance analysis, database management, semantic integrity, cost analysis |
39 | Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi, Kaustav Guha |
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 773-776, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
power intent verification, formal verification, assertion |
39 | Kay Römer, Junyan Ma |
PDA: Passive distributed assertions for sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 8th International Conference on Information Processing in Sensor Networks, IPSN 2009, April 13-16, 2009, San Francisco, California, USA, pp. 337-348, 2009, IEEE Computer Society, 978-1-4244-5108-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Thomas Lin, Oren Etzioni, James Fogarty |
Identifying interesting assertions from the web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 1787-1790, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
data pre- and post-processing, information extraction |
39 | Edward Aftandilian, Samuel Z. Guyer |
GC assertions: using the garbage collector to check heap properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSPC ![In: Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), Seattle, Washington, USA, March 2, 2008, pp. 36-40, 2008, ACM, 978-1-60558-049-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
garbage collection, memory leaks, managed languages |
39 | Daisuke Kikuchi, Naoki Kobayashi 0001 |
Type-Based Verification of Correspondence Assertions for Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 191-205, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Olaf Chitil, Frank Huch |
Monadic, Prompt Lazy Assertions in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 38-53, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Olaf Chitil, Frank Huch |
A Pattern Logic for Prompt Lazy Assertions in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 126-144, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti 0001 |
Synthesis of system verilog assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE Designers' Forum ![In: Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 70-75, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-0-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 1007-1012, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil |
Synthesis of synchronous assertions with guarded atomic actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 15-24, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Youngsik Kim, Parija Sule, Nazanin Mansouri |
Exploiting PSL standard assertions in a theorem-proving-based verification environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, Chicago, Illinois, USA, April 17-19, 2005, pp. 400-403, 2005, ACM, 1-59593-057-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
assertion-based design, modeling, verification, theorem-proving, formal semantics, PSL |
39 | Daniel Leivant |
Proving Termination Assertions in Dynamic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 89-98, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | C. A. R. Hoare |
Assertions: A Personal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 25(2), pp. 14-25, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | J Strother Moore |
Inductive Assertions and Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings, pp. 289-303, 2003, Springer, 3-540-20363-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | C. A. R. Hoare |
Assertions in Programming: From Scientific Theory to Engineering Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft-Ware ![In: Soft-Ware 2002: Computing in an Imperfect World, First International Conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002, Proceedings, pp. 350-351, 2002, Springer, 3-540-43481-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | C. A. R. Hoare |
Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, pp. 1-2, 2000, Springer, 3-540-41196-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Ken Wong, Jeff Joyce |
Refinement of Safety-Related Hazards into Verifiable Code Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings, pp. 345-358, 1998, Springer, 3-540-65110-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Arthur B. Pyster |
Using assertions to improve language translators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1977 National Computer Conference, June 13-16, 1977, Dallas, Texas, USA, pp. 665-668, 1977, AFIPS Press, 978-1-4503-7914-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1476 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|