Search results for "property specification language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang	Symbolic model checking APSL.	Frontiers of Computer Science in China	2009	DBLP DOI BibTeX RDF	tableau approach, extended NuSMV, symbolic model checking, property specification language
2	Harald Obereder, Markus Pfaff	Behavioral synthesis of property specification language (PSL) assertions.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
2	Michael J. C. Gordon, Joe Hurd, Konrad Slind	Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving.	CHARME	2003	DBLP DOI BibTeX RDF
1	Nicolas Troquard	Learning and Practice of the Property Specification Language.	IEEE Design & Test of Computers	2011	DBLP DOI BibTeX RDF	design, verification, specification, temporal logic, standards, design and test, PSL
1	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Use Case Maps as a property specification language.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification
1	Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani, Julie Waterhouse	Runtime Monitoring of Web Service Conversations.	IEEE T. Services Computing	2009	DBLP DOI BibTeX RDF
1	Florian Eibensteiner, Rainer Findenig, Markus Pfaff	SynPSL: Behavioral Synthesis of PSL Assertions.	EUROCAST	2009	DBLP DOI BibTeX RDF	Synthesis, PSL, Assertion-based Verification
1	Christian Colombo, Gordon J. Pace, Gerardo Schneider	Safe Runtime Verification of Real-Time Properties.	FORMATS	2009	DBLP DOI BibTeX RDF
1	Christian Dax, Felix Klaedtke, Martin Lange	On Regular Temporal Logics with Past, .	ICALP	2009	DBLP DOI BibTeX RDF
1	Peter Y. H. Wong, Jeremy Gibbons	Property Specifications for Workflow Modelling.	IFM	2009	DBLP DOI BibTeX RDF
1	Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar	Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation.	European Test Symposium	2008	DBLP DOI BibTeX RDF	assertion checking, decision diagrams, Property Specification Language
1	Alessandro Cimatti, Marco Roveri, Stefano Tonetta	Symbolic Compilation of PSL.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	Hong Lu, A. Forin	Automatic Processor Customization for Zero-Overhead Online Software Verification.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
1	Moshe Y. Vardi	From Monadic Logic to PSL.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
1	Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert	BML and Related Tools.	FMCO	2008	DBLP DOI BibTeX RDF
1	Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann	Modeling and Model Checking Software Product Lines.	FMOODS	2008	DBLP DOI BibTeX RDF
1	Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell	Property Patterns for Runtime Monitoring of Web Service Conversations.	RV	2008	DBLP DOI BibTeX RDF
1	Moshe Y. Vardi	From Church and Prior to PSL.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Ping Hang Cheung, Alessandro Forin	A C-Language Binding for PSL.	ICESS	2007	DBLP DOI BibTeX RDF	C, Assertion Based Verification, Property Specification Language
1	Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse	Runtime monitoring of web service conversations.	CASCON	2007	DBLP DOI BibTeX RDF
1	Fei Xie, Huaiyu Liu	Unified Property Specification for Hardware/Software Co-Verification.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta	Boolean Abstraction for Temporal Logic Satisfiability.	CAV	2007	DBLP DOI BibTeX RDF
1	Martin Lange	Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Cindy Eisner	PSL for Runtime Verification: Theory and Practice.	RV	2007	DBLP DOI BibTeX RDF
1	Alessandro Cimatti, Marco Roveri, Stefano Tonetta	Syntactic Optimizations for PSL Verification.	TACAS	2007	DBLP DOI BibTeX RDF
1	Deni Torres Román, Joaquín Cortez González, Raul Ernesto Gonzalez-Torres	Improving the Digital Design with Semi-formal Specification.	CONIELECOMP	2006	DBLP DOI BibTeX RDF	semiformal specification, model checking tools, assertions, properties, Assertion based verification
1	Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta	From PSL to NBA: a Modular Symbolic Encoding.	FMCAD	2006	DBLP DOI BibTeX RDF
1	James C. Browne, Calvin Lin, Kevin Kane, Yoonsik Cheon, Patricia J. Teller	Unification of verification and validation methods for software systems: progress report and initial case study formulation.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Ali Habibi, Sofiène Tahar	Design and verification of SystemC transaction-level models.	IEEE Trans. VLSI Syst.	2006	DBLP DOI BibTeX RDF
1	Fei Xie, Guowu Yang, Xiaoyu Song	Compositional Reasoning for Hardware/Software Co-verification.	ATVA	2006	DBLP DOI BibTeX RDF
1	Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala	Bounded Model Checking for Weak Alternating Büchi Automata.	CAV	2006	DBLP DOI BibTeX RDF	Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV
1	Thomas Tuerk, Klaus Schneider, Mike Gordon	Model Checking PSL Using HOL and SMV.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Ella E. Roubtsova	A Property Specification Language for Workflow Diagnostics.	ICEIS	2005	DBLP BibTeX RDF
1	Ali Habibi, Sofiène Tahar	Design for Verification of SystemC Transaction Level Models.	DATE	2005	DBLP DOI BibTeX RDF
1	Marc Boule, Zeljko Zilic	Incorporating Ef.cient Assertion Checkers into Hardware Emulation.	ICCD	2005	DBLP DOI BibTeX RDF
1	Thomas Tuerk, Klaus Schneider	From PSL to LTL: A Formal Validation in HOL.	TPHOLs	2005	DBLP DOI BibTeX RDF
1	Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee	Formal hardware specification languages for protocol compliance verification.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Lava, Objective VHDL, OpenVera, SpecC, Specification and Description Language, The Unified Modeling Language, Java, Statecharts, SystemC, Message Sequence Charts, Esterel, Live Sequence Charts, timing diagrams, hardware monitors, SystemVerilog, e, Property Specification Language
1	Koen Claessen, Johan Mårtensson	An Operational Semantics for Weak PSL.	FMCAD	2004	DBLP DOI BibTeX RDF
1	Daniel Geist	The PSL/Sugar Specification Language A Language for all Seasons.	CHARME	2003	DBLP DOI BibTeX RDF
1	Michael J. C. Gordon	Validating the PSL/Sugar Semantics Using Automated Reasoning.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Accellera, Property language, Sugar, Model checking, Semantics, Formal verification, Theorem proving, Higher-order logic, PSL, HOL
1	Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	The ForSpec Temporal Logic: A New Temporal Property-Specification Language.	TACAS	2002	DBLP DOI BibTeX RDF
1	Gilles Barthe, Dilian Gurov, Marieke Huisman	Compositional Verification of Secure Applet Interactions.	FASE	2002	DBLP DOI BibTeX RDF
1	Iulian Ober, Alain Kerbrat	Verification of Quantitative Temporal Properties of SDL Specifications.	SDL Forum	2001	DBLP DOI BibTeX RDF
1	Thomas Fahringer, Michael Gerndt, Graham D. Riley, Jesper Larsson Träff	Specification of Performance Problems in MPI Programs with ASL. (PDF / PS)	ICPP	2000	DBLP DOI BibTeX RDF
1	Thomas Fahringer, Michael Gerndt, Graham D. Riley, Jesper Larsson Träff	Formalizing OpenMP Performance Properties with ASL.	ISHPC	2000	DBLP DOI BibTeX RDF	performance analysis, knowledge representation, OpenMP, language design, performance problems
1	Thomas Fahringer, Michael Gerndt, Graham D. Riley, Jesper Larsson Träff	On Performance Modeling for HPF Applications with ASL.	ISHPC	2000	DBLP DOI BibTeX RDF