|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 561-566, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Amir Hekmatpour, Azadeh Salehi |
Block-based Schema-driven Assertion Generation for Functional Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India, pp. 34-39, 2005, IEEE Computer Society, 0-7695-2481-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Farn Wang, Fang Yu 0001 |
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers, pp. 254-278, 2003, Springer, 3-540-21974-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Pedro Guerreiro |
Another Mediocre Assertion Mechanism for C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (33) ![In: TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France, pp. 226-237, 2000, IEEE Computer Society, 0-7695-0731-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Kathryn S. McKinley, Olivier Temam |
Quantifying loop nest locality using SPEC'95 and the perfect benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 17(4), pp. 288-336, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm |
A Logic-Based Approach to Program Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(6), pp. 457-504, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Michael Rizzo |
Using Producer and Consumer Manipulators to Extend Stream I/O Formatting in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 29(3), pp. 33-35, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C++ |
38 | Edmund M. Clarke, Steven M. German, Joseph Y. Halpern |
On Effective Axiomatizations of Hoare Logics. ![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. 309-321, 1982, ACM Press, 0-89791-065-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
38 | M. Ross Quillian |
The teachable language comprehender: a simulation program and theory of language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(8), pp. 459-476, 1969. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Second International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, July 14-17, 2008, Yokohama, Japan, pp. 47-51, 2008, IEEE Computer Society, 978-0-7695-3266-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Formal Specifications, Validation, Patterns, Statecharts, Assertions |
33 | Yoonsik Cheon |
Design Assertions: Executable Assertions for Design Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (Workshops 5) ![In: Computational Science and Its Applications - ICCSA 2022 Workshops - Malaga, Spain, July 4-7, 2022, Proceedings, Part V, pp. 617-631, 2022, Springer, 978-3-031-10547-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2018 Workshops - Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22-26, 2018, Revised Selected Papers, pp. 67-76, 2018, Springer, 978-3-030-11682-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inscrypt ![In: Information Security and Cryptology - 9th International Conference, Inscrypt 2013, Guangzhou, China, November 27-30, 2013, Revised Selected Papers, pp. 361-376, 2013, Springer, 978-3-319-12086-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 281-295, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 19(2), pp. 149-163, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAIC PART ![In: Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART 2006), 29-31 August 2006, Windsor, United Kingdom, pp. 203-210, 2006, IEEE Computer Society, 0-7695-2672-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Datawarehouse Testing, Data Transformation Rules, Post Conditions Assertions, Formal Verification, System Testing |
32 | Patrice Chalin |
Are Practitioners Writing Contracts? ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 100-113, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 141-154, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA, pp. 7-16, 2002, IEEE Computer Society, 0-7695-1757-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 17th British National Conferenc on Databases, BNCOD 17, Exeter, UK, July 3-5, 2000, Proceedings, pp. 122-139, 2000, Springer, 3-540-67743-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(12), pp. 933-947, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Programming and Their Applications ![In: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings, pp. 363-376, 1993, Springer, 3-540-57316-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010, pp. 41-50, 2010, ACM, 978-1-4503-0054-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parallel garbage collector, virtual machine, ownership |
32 | Bernhard Hollunder |
WS-Policy: On Conditional and Custom Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 936-943, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies |
Abstraction Refinement for Quantified Array Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 3-18, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Sebastian Gajek, Lijun Liao, Jörg Schwenk |
Stronger TLS bindings for SAML assertions and SAML artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWS ![In: Proceedings of the 5th ACM Workshop On Secure Web Services, SWS 2008, Alexandria, VA, USA, October 31, 2008, pp. 11-20, 2008, ACM, 978-1-60558-292-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp. 1-4, 2008, IEEE, 978-1-4244-2735-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Bruno Blanchet |
Computationally Sound Mechanized Proofs of Correspondence Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy, pp. 97-111, 2007, IEEE Computer Society, 0-7695-2819-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Harald Obereder, Markus Pfaff |
Behavioral synthesis of property specification language (PSL) assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 28-30 May 2007, Porto Alegre, RS, Brazil, pp. 157-160, 2007, IEEE Computer Society, 978-0-7695-2834-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | J Strother Moore |
Inductive assertions and operational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(4-5), pp. 359-371, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES/RV ![In: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, pp. 163-177, 2006, Springer, 3-540-49699-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Philipp Peti, Roman Obermaisser, Hermann Kopetz |
Out-of-Norm Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 7-10 March 2005, San Francisco, CA, USA, pp. 280-291, 2005, IEEE Computer Society, 0-7695-2302-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 126-133, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings, pp. 520-526, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pp. 93-105, 2003, IEEE Computer Society, 0-7695-1877-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Patrick C. K. Hung, Guang-Sha Qiu |
Implementing Conflict of Interest Assertions for Web Services Matchmaking Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: 2003 IEEE International Conference on Electronic Commerce (CEC 2003), 24-27 June 2003, Newport Beach, CA, USA, pp. 373-380, 2003, IEEE Computer Society, 0-7695-1969-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS ![In: Trends in Network and Pervasive Computing - ARCS 2002, International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002, Proceedings, pp. 195-208, 2002, Springer, 3-540-43409-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, pp. 113-120, 2002, Springer, 3-540-44049-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 3-6 September 2002, Arlington, VA, USA, pp. 63-, 2002, IEEE Computer Society, 0-7695-1644-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck |
Parameterized Verification with Automatically Computed Inductive Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 221-234, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Martin Hiller |
Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 25th EUROMICRO '99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy, pp. 2105-2112, 1999, IEEE Computer Society, 0-7695-0321-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Can Türker, Gunter Saake |
Consistent Handling of Integrity Constraints and Extensional Assertions for Schema Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings, pp. 31-45, 1999, Springer, 3-540-66485-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Jeffrey M. Voas |
Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 505-510, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Manfred Broy, Bernd Krieg-Brückner |
Derivation of Invariant Assertions During Program Development by Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 2(3), pp. 321-337, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
31 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Constraint-Based Invariant Inference over Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 120-135, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Raghav Kaushik, Christopher Ré, Dan Suciu |
General Database Statistics Using Entropy Maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages - DBPL 2009, 12th International Symposium, Lyon, France, August 24, 2009. Proceedings, pp. 84-99, 2009, Springer, 978-3-642-03792-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Hong Lu, A. Forin |
Automatic Processor Customization for Zero-Overhead Online Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 16(10), pp. 1346-1357, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Hans Eveking, Martin Braun 0001, Martin Schickel, Martin Schweikert, Volker Nimbler |
Multi-Level Assertion-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France, pp. 85-86, 2007, IEEE Computer Society, 1-4244-1050-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 392-406, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Aaron R. Bradley, Zohar Manna |
Verification Constraint Problems with Strengthening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 35-49, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Ludwig Seitz, Erik Rissanen, Babak Sadighi Firozabadi |
A Classification of Delegation Schemes for Attribute Authority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers, pp. 158-169, 2006, Springer, 978-3-540-75226-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego |
Diagnosing Errors in DbC Programs Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAEPIA ![In: Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers, pp. 200-210, 2005, Springer, 3-540-45914-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Mengluo Ji, Xin Wang, Zhichang Qi |
Trace Acquirement from Real-Time Systems Based on WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings, pp. 160-171, 2005, Springer, 3-540-30881-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | C. A. R. Hoare |
Towards the Verifying Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays in Memory of Ole-Johan Dahl ![In: From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl, pp. 124-136, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
A CLP Proof Method for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal, pp. 175-186, 2004, IEEE Computer Society, 0-7695-2247-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
Liveness with Incomprehensible Ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 482-496, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Robert Bruce Findler, Matthias Felleisen |
Contracts for higher-order functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 48-59, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions |
31 | Ronen Shaltiel |
Towards Proving Strong Direct Product Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 16th Annual IEEE Conference on Computational Complexity, Chicago, Illinois, USA, June 18-21, 2001, pp. 107-117, 2001, IEEE Computer Society, 0-7695-1053-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Bogdan Korel, Ali M. Al-Yami |
Assertion-Oriented Automated Test Data Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 71-80, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VII Proceedings - Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, USA, October 1-5, 1996., pp. 94-104, 1996, ACM Press, 0-89791-767-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Victor Carreño |
Verification in Higher Order Logic of Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 501-513, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Sharon E. Perl, William E. Weihl |
Performance Assertion Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Fourteenth ACM Symposium on Operating System Principles, SOSP 1993, The Grove Park Inn and Country Club, Asheville, North Carolina, USA, December 5-8, 1993, pp. 134-145, 1993, ACM, 0-89791-632-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
DEBUG, Parallel C |
31 | Robert Bernecky |
Array Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the International Conference on APL 1993, Toronto, Ontario, Canada, August 15-19, 1993., pp. 6-16, 1993, ACM, 0-89791-612-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
APL |
31 | Eric Simon, Patrick Valduriez |
Design and Implementation of an Extendible Integrity Subsystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD'84, Proceedings of Annual Meeting, Boston, Massachusetts, USA, June 18-21, 1984, pp. 9-17, 1984, ACM Press, 978-0-89791-128-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
31 | Ben Wegbreit |
Verifying Program Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 23(4), pp. 691-699, 1976. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 242-259, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(4), pp. 245-269, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONIELECOMP ![In: 16th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2006), 27 February 2005 - 1 March 2006, Cholula, Puebla, Mexico, pp. 55, 2006, IEEE Computer Society, 0-7695-2505-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 101-110, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 521-522, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers, pp. 595-617, 2003, Springer, 3-540-21974-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Modeling with the OCL ![In: Object Modeling with the OCL, The Rationale behind the Object Constraint Language, pp. 250-280, 2002, Springer, 3-540-43169-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 13th International Conference on VLSI Design (VLSI Design 2000), 4-7 January 2000, Calcutta, India, pp. 34-37, 2000, IEEE Computer Society, 0-7695-0487-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 206-213, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 62-72, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(2), pp. 173-182, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(8), pp. 817-830, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 69-74, 2009, Springer, 978-3-642-04771-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 899-900, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 11th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2008, Parma, Italy, September 3-5, 2008, pp. 542-549, 2008, IEEE Computer Society, 978-0-7695-3277-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Doron Drusinsky, Man-tak Shing |
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 28-30 May 2007, Porto Alegre, RS, Brazil, pp. 82-88, 2007, IEEE Computer Society, 978-0-7695-2834-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Doron Bustan, John Havlicek |
Some Complexity Results for SystemVerilog Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 205-218, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Rajendra Bose, Robert G. Mann, Diego Prina-Ricotti |
AstroDAS: Sharing Assertions Across Astronomy Catalogues Through Distributed Annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAW ![In: Provenance and Annotation of Data, International Provenance and Annotation Workshop, IPAW 2006, Chicago, IL, USA, May 3-5, 2006, Revised Selected Papers, pp. 193-202, 2006, Springer, 3-540-46302-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | George Economakos |
Behavioral synthesis with SystemC and PSL assertions for interface specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ramtilak Vemu, Jacob A. Abraham |
CEDA: Control-flow Error Detection through Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 12th IEEE International On-Line Testing Symposium (IOLTS 2006), 10-12 July 2006, Como, Italy, pp. 151-158, 2006, IEEE Computer Society, 0-7695-2620-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Marc Lohmann, Gregor Engels, Stefan Sauer 0001 |
Model-driven Monitoring: Generating Assertions from Visual Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, pp. 355-356, 2006, IEEE Computer Society, 0-7695-2579-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, pp. 342-363, 2005, Springer, 3-540-36749-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 18th International Conference on VLSI Design (VLSI Design 2005), with the 4th International Conference on Embedded Systems Design, 3-7 January 2005, Kolkata, India, pp. 213-218, 2005, IEEE Computer Society, 0-7695-2264-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 2(1), pp. 127-148, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, NY, USA, November 15-19, 2004, Proceedings, pp. 94-104, 2004, ACM, 1-58113-871-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 304-317, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures at Work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings, pp. 242-260, 2004, Springer, 3-540-22392-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jørgen Villadsen |
Paraconsistent Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings, pp. 99-113, 2004, Springer, 3-540-23222-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGecom Exch. ![In: SIGecom Exch. 4(1), pp. 11-19, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, 4th International Conference, EC-Web, Prague, Czech Republic, September 2-5, 2003, Proceedings, pp. 281-291, 2003, Springer, 3-540-40808-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante |
Soft-Error Detection Using Control Flow Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 18th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2003), 3-5 November 2003, Boston, MA, USA, Proceedings, pp. 581-588, 2003, IEEE Computer Society, 0-7695-2042-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Powell |
Deriving Verification Conditions and Program Assertions to Support Software Inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia, pp. 447-456, 2002, IEEE Computer Society, 0-7695-1850-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCII ![In: Conditionals, Information, and Inference, International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers, pp. 108-130, 2002, Springer, 978-3-540-25332-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings, pp. 347-356, 2001, IEEE Computer Society, 0-7695-1101-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|