Search results for "assertion languages"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis	Comprehensive Monitoring of BPEL Processes.	IEEE Internet Computing	2010	DBLP DOI BibTeX RDF	Assertion checkers, assertion languages, performance, Software Engineering, Software Engineering, Design Tools and Techniques, Software/Software Engineering, Software/Software Engineering, Software/Program Verification, Distributed/Internet based software engineering tools and techniques
1	Michael Siegel, Adriana Maggiore, Christian Pichler	Untwist your brain: efficient debugging and diagnosis of complex assertions.	DAC	2009	DBLP DOI BibTeX RDF	SystemVerilog assertions, debugging, assertions, fault localization, functional verification, root cause analysis
1	David Briggs, Suad Alagic	Algebraic specification techniques for parametric types with logic-based constraints.	SAC	2009	DBLP DOI BibTeX RDF	parametric types, verification theories, assertions, PVS, JML
1	Rajdeep Mukhopadhyay, S. K. Panda, Pallab Dasgupta, John Gough	Instrumenting AMS assertion verification on commercial platforms.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	OVL, SVA, integrated mixed signal design, verification library, simulation, Assertion
1	Luciano Baresi, Sam Guinea	Dynamo and Self-Healing BPEL Compositions.	ICSE Companion	2007	DBLP DOI BibTeX RDF
1	Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff	Checking JML specifications using an extensible software model checking framework.	STTT	2006	DBLP DOI BibTeX RDF
1	Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe	Logic of constraints: a quantitative performance and functional constraint formalism.	IEEE Trans. on CAD of Integrated Circuits and Systems	2004	DBLP DOI BibTeX RDF
1	Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff	Checking Strong Specifications Using an Extensible Software Model Checking Framework.	TACAS	2004	DBLP DOI BibTeX RDF
1	Philippe Collet, Roger Rousseau	Efficient Implementation Techniques for Advanced Assertion Languages.	L'OBJET	1999	DBLP BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )