The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for PSL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1990 (15) 1992-2000 (15) 2001-2003 (16) 2004-2005 (32) 2006 (19) 2007 (21) 2008 (19) 2009 (17) 2010-2011 (33) 2012-2013 (24) 2014-2017 (18) 2018-2020 (17) 2021-2023 (15) 2024 (1)
Publication types (Num. hits)
article(92) book(1) incollection(2) inproceedings(164) phdthesis(1) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 145 occurrences of 104 keywords

Results
Found 262 publication records. Showing 262 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
147Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta From PSL to NBA: a Modular Symbolic Encoding. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
112P. Nagabhushan, Basavaraj S. Anami Handling Diphtong and Triphone Sysmbols: Useful in Automatic English Text Generation from Pitman Shorthand Language Document. Search on Bibsonomy AIMSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Diphthong, Triphone, Pitman Shorthand Language, Knowledge Base, English Text
105Cindy Eisner PSL for Runtime Verification: Theory and Practice. Search on Bibsonomy RV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
105Daniel Geist The PSL/Sugar Specification Language A Language for all Seasons. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
98Wanwei Liu, Ji Wang 0001, Huowang Chen, Xiaodong Ma, Zhaofei Wang Symbolic model checking APSL. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2009 DBLP  DOI  BibTeX  RDF tableau approach, extended NuSMV, symbolic model checking, property specification language
98Christian Dax, Felix Klaedtke, Martin Lange On Regular Temporal Logics with Past, . Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
91Thomas Tuerk, Klaus Schneider 0001 From PSL to LTL: A Formal Validation in HOL. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
87Florian Eibensteiner, Rainer Findenig, Markus Pfaff SynPSL: Behavioral Synthesis of PSL Assertions. Search on Bibsonomy EUROCAST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Synthesis, PSL, Assertion-based Verification
84M. R. Darafsheh, A. Iranmanesh, R. Kahkeshani Some designs and codes invariant under the groups S 9 and A 8. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 05E15, 05B05, 05E20
77Naiyong Jin, Juan Zhou, Taoyong Ni iPSL: An Environment for IP-Based PSL Specification. Search on Bibsonomy ICECCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
77Doug Lea, Jos Marlowe Interface-Based Protocol Specification of Open Systems using PSL. Search on Bibsonomy ECOOP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
73Marc Boule, Zeljko Zilic Automata-based assertion-checker synthesis of PSL properties. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF assertion checkers, emulation, hardware, automata, PSL, Assertion-Based Verification
73Youngsik Kim, Parija Sule, Nazanin Mansouri Exploiting PSL standard assertions in a theorem-proving-based verification environment. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF assertion-based design, modeling, verification, theorem-proving, formal semantics, PSL
73Michael J. C. Gordon Validating the PSL/Sugar Semantics Using Automated Reasoning. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Accellera, Property language, Sugar, Model checking, Semantics, Formal verification, Theorem proving, Higher-order logic, PSL, HOL
70Jonathan Jedwab, Kayo Yoshida The peak sidelobe level of families of binary sequences. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
70Mark R. Swanson, Robert R. Kessler, Gary Lindstrom An Implementation of Portable Standard LISP on the BBN Butterfly. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF LISP
65Wanwei Liu, Ji Wang 0001, Huowang Chen, Xiaodong Ma Symbolic Model Checking APSL. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Symbolic model checking, PSL
63Alessandro Cimatti, Marco Roveri, Stefano Tonetta Symbolic Compilation of PSL. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
63Thomas Tuerk, Klaus Schneider 0001, Mike Gordon Model Checking PSL Using HOL and SMV. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
63Koen Claessen, Johan Mårtensson An Operational Semantics for Weak PSL. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
59Conrad Bock, Michael Gruninger PSL: A semantic domain for flow models. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Flow semantics, Activity model Communicated by Steve Cook, UML, Concurrency, Data flow, Control flow, PSL, Flow model, Process specification
56P. Nagabhushan, Basavaraj S. Anami, D. S. Guru Dictionary Supported Generation of English Text from Pitman Shorthand Scripted Phonetic Text. Search on Bibsonomy Language Engineering Conference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Fei Yuan, Ajoy Opal Sensitivity analysis of periodically switched linear circuits using an adjoint network technique. Search on Bibsonomy ISCAS (5) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
51Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala Bounded Model Checking for Weak Alternating Büchi Automata. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV
51Christopher Menzel, Michael Grüninger A formal foundation for process modeling. Search on Bibsonomy FOIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF process specification language, process modeling, PSL, formal ontology
51Zhi-Hua Zhou, Friedhelm Schwenker (eds.) Partially Supervised Learning - Second IAPR International Workshop, PSL 2013, Nanjing, China, May 13-14, 2013 Revised Selected Papers Search on Bibsonomy PSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
51Qian Li, Liping Jing, Jian Yu Adaptive Graph Constrained NMF for Semi-Supervised Learning. Search on Bibsonomy PSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
51Gabriel B. Paranhos da Costa, Moacir P. Ponti Jr., Alejandro C. Frery Partially Supervised Anomaly Detection Using Convex Hulls on a 2D Parameter Space. Search on Bibsonomy PSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
51Chunhong Lu, Zhaomin Zhu, Xiaofeng Gu Kernel Parameter Optimization in Stretched Kernel-Based Fuzzy Clustering. Search on Bibsonomy PSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
51Markus Kächele, Friedhelm Schwenker Semi-Supervised Dictionary Learning of Sparse Representations for Emotion Recognition. Search on Bibsonomy PSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
51Qing Da, Yang Yu 0001, Zhi-Hua Zhou Self-Practice Imitation Learning from Weak Policy. Search on Bibsonomy PSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
51Tao Wang, Jin Tang 0001, Bin Luo 0001, Cheng Zhang A Robust Image Watermarking Scheme Based on BWT and ICA. Search on Bibsonomy PSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
51He-Feng Yin, Xiao-Jun Wu 0001 A New Weighted Sparse Representation Based on MSLBP and Its Application to Face Recognition. Search on Bibsonomy PSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
51Dong Nie, Lin Li 0011, Tingshao Zhu Conscientiousness Measurement from Weibo's Public Information. Search on Bibsonomy PSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
51Michel Tokic, Friedhelm Schwenker, Günther Palm Meta-Learning of Exploration and Exploitation Parameters with Replacing Eligibility Traces. Search on Bibsonomy PSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
51Evgeni Tsivtsivadze, Hanneke Borgdorff, Janneke van de Wijgert, Frank H. J. Schuren, Rita Verhelst, Tom Heskes Neighborhood Co-regularized Multi-view Spectral Clustering of Microbiome Data. Search on Bibsonomy PSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
51Friedhelm Schwenker, Edmondo Trentin (eds.) Partially Supervised Learning - First IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011, Revised Selected Papers Search on Bibsonomy PSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Matthias Hillebrand, Christian Wöhler, Ulrich Kreßel, Franz Kummert Semi-supervised Training Set Adaption to Unknown Countries for Traffic Sign Classifiers. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Yann Soullard, Thierry Artières Iterative Refinement of HMM and HCRF for Sequence Classification. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Ilaria Castelli, Edmondo Trentin Semi-unsupervised Weighted Maximum-Likelihood Estimation of Joint Densities for the Co-training of Adaptive Activation Functions. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Marco Loog Semi-supervised Linear Discriminant Analysis Using Moment Constraints. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Edmondo Trentin, Luca Lusnig, Fabio Cavalli Comparison of Combined Probabilistic Connectionist Models in a Forensic Application. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Martin Schels, Markus Kächele, David Hrabal, Steffen Walter 0001, Harald C. Traue, Friedhelm Schwenker Classification of Emotional States in a Woz Scenario Exploiting Labeled and Unlabeled Bio-physiological Data. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Cameron Cooper, Robert Kilmer Using Self Organizing Maps to Find Good Comparison Universities. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Andreas C. Müller, Sven Behnke Multi-instance Methods for Partially Supervised Image Segmentation. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Kazuki Yoshiyama, Akito Sakurai Manifold-Regularized Minimax Probability Machine. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Catrin O. Plumpton Online Semi-supervised Ensemble Updates for fMRI Data. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Stefan Faußer, Friedhelm Schwenker Semi-Supervised Kernel Clustering with Sample-to-Cluster Weights. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51José Esparza, Stefan Scherer, Friedhelm Schwenker Studying Self- and Active-Training Methods for Multi-feature Set Emotion Recognition. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Zhi-Hua Zhou Unlabeled Data and Multiple Views. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Doru Anastasiu Popescu Sink Web Pages in Web Application. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Ludwig Lausser, Florian Schmid, Hans A. Kestler On the Utility of Partially Labeled Data for Classification of Microarray Data. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Simón C. Smith, J. Michael Herrmann Homeokinetic Reinforcement Learning. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Ilaria Castelli, Edmondo Trentin Supervised and Unsupervised Co-training of Adaptive Activation Functions in Neural Nets. Search on Bibsonomy PSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
49Teo Susnjak, Andre L. C. Barczak Accelerated Classifier Training Using the PSL Cascading Structure. Search on Bibsonomy ICONIP (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Ping Hang Cheung, Alessandro Forin A C-Language Binding for PSL. Search on Bibsonomy ICESS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF C, Assertion Based Verification, Property Specification Language
49Alessandro Cimatti, Marco Roveri, Stefano Tonetta Syntactic Optimizations for PSL Verification. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Naiyong Jin, Chengjie Shen Dynamic Verifying The Properties of The Simple Subset of PSL. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Katell Morin-Allory, Dominique Borrione Proven correct monitors from PSL specifications. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Amir Pnueli, Aleksandr Zaks PSL Model Checking and Run-Time Verification Via Testers. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Nicola Bombieri, Andrea Fedeli, Franco Fummi On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling. Search on Bibsonomy MTV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila Efficient Model Checking of PSL Safety Properties. Search on Bibsonomy ACSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF model checking, safety properties, PSL, NuSMV
43Kevin Smith, Hai Lin, Praveen Tiwari, Marjorie Sayer, Claudionor Coelho PSL is Dead. Long Live PSL. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
43Reinhard Laue, Alfred Wassermann Simple 8-(31, 12, 3080), 8-(40, 12, 16200) and 8-(40, 12, 16520) designs from PSL(3, 5) and PSL(4, 3). Search on Bibsonomy Discret. Math. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Clifton E. Ealy Jr. On the genus of the groups PSL(2, q), PSL(3, q), and PSp(4, q). Search on Bibsonomy Electron. Notes Discret. Math. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
43Robert L. Griess Jr., Alexander J. E. Ryba Embeddings of PSL(2, 41) and PSL(2, 49) in E8(C). Search on Bibsonomy J. Symb. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
43R. H. Jeurissen A proof by graphs that PSL(2, 7) ~= PSL(3, 2). Search on Bibsonomy Discret. Math. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
42Cindy Eisner, Dana Fisman Structural Contradictions. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Dejan Nickovic, Oded Maler AMT: A Property-Based Monitoring Tool for Analog Systems. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib Combining System Level Modeling with Assertion Based Verification. Search on Bibsonomy ISQED The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Jianfei Yin, Heqing Guo, Xinyi Peng, Manshan Lin Pattern Semantic Link: A Reusable Pattern Representation in MDA Context. Search on Bibsonomy ICDCIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Philipp Rohde Moving in a Crumbling Network: The Balanced Case. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, modal logics, dynamic logics
42Michael J. C. Gordon, Joe Hurd, Konrad Slind Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Alexander Gamburd, Igor Pak Expansion of product replacement graphs. Search on Bibsonomy SODA The full citation details ... 2002 DBLP  BibTeX  RDF
42Fei Yuan Statistical analysis of switched linear networks. Search on Bibsonomy ISCAS (1) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Patrick Solé, Dmitrii Zinoviev The Peak to Sidelobe Level of the Most Significant Bit of Trace Codes over Galois Rings. Search on Bibsonomy SETA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aperiodic autocorrelation, partial period distribution, MSB, PSL, Galois rings
37Emmanuel Zarpas, Cindy Eisner, Sivan Tal Policy Validation for System Automation: A Case Study. Search on Bibsonomy POLICY The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Tivoli, TSA, formal verification, validation, policy, PSL
37Naiyong Jin, Taoyong Ni Interface Specification Assurance Methods. Search on Bibsonomy ISQED The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Component-Based Methodology, Specification Assurance, SAT, PSL
37Kai-Hui Chang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo A Temporal Assertion Extension to Verilog. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF temporal assertion, verification, PSL
36Yun-Heh Chen-Burger, Kit-Ying Hui, Alun D. Preece, Peter M. D. Gray, Austin Tate Supporting Collaboration Through Semantic-Based Workflow and Constraint Solving. Search on Bibsonomy EKAW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF IDEF3, NIST PSL, Ontology, Semantic Web, Constraint Satisfaction, Business Process Modelling, Semantic Grid, Virtual Organisation
35Moshe Y. Vardi From Church and Prior to PSL. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Moshe Y. Vardi From Monadic Logic to PSL. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Niranjan Balachandran, Dijen K. Ray-Chaudhuri Simple 3-designs and PSL(2, q) with q == 1 (mod 4). Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF AMS Classification 05B30, 05E15
35Harald Obereder, Markus Pfaff Behavioral synthesis of property specification language (PSL) assertions. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Yann Oddos, Katell Morin-Allory, Dominique Borrione On-Line Test Vector Generation from Temporal Constraints Written in PSL. Search on Bibsonomy VLSI-SoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35George Economakos Behavioral synthesis with SystemC and PSL assertions for interface specification. Search on Bibsonomy ISCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Julia M. N. Brown On the Action of the Groups GL(n+1, q), PGL(n+1, q), SL(n+1, q) and PSL(n+1, q) on PG(n, qt). Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF finite projective space, point orbit, general linear group, projective general linear group, special linear group, projective special linear group, orbit
35Bijan Alizadeh, Zainalabedin Navabi Using Integer Equations to Check PSL Properties in RT Level Design. Search on Bibsonomy IWSOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Hong Lu, A. Forin Automatic Processor Customization for Zero-Overhead Online Software Verification. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Yann Oddos, Katell Morin-Allory, Dominique Borrione Assertion-Based Design with Horus. Search on Bibsonomy MEMOCODE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Amir Pnueli, Aleksandr Zaks On the Merits of Temporal Testers. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta Boolean Abstraction for Temporal Logic Satisfiability. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Alexander Gamburd, Igor Pak Expansion Of Product Replacement Graphs. Search on Bibsonomy Comb. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 05C90, 20F99, 68R10
28Marc Boule, Zeljko Zilic Incorporating Ef.cient Assertion Checkers into Hardware Emulation. Search on Bibsonomy ICCD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Christopher Hartsough, Yuzo Yamamoto, E. David Callender Documentation production from a formal database. Search on Bibsonomy SIGDOC The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
23Nicolas Troquard Learning and Practice of the Property Specification Language. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF design, verification, specification, temporal logic, standards, design and test, PSL
23Yann Oddos, Katell Morin-Allory, Dominique Borrione, Marc Boule, Zeljko Zilic MYGEN: automata-based on-line test generator for assertion-based verification. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generator, psl, test vector generation
23Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler Contradictory antecedent debugging in bounded model checking. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal verification, debugging, bounded model checking, psl
23Shoham Ben-David, Dana Fisman, Sitvanit Ruah Temporal Antecedent Failure: Refining Vacuity. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Vacuity, SVA, Antecedent failure, Model checking, Temporal logic, Regular expressions, PSL
23Daniel Große, Ulrich Kühne, Rolf Drechsler HW/SW co-verification of embedded systems using bounded model checking. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hardware/software co-verification, embedded systems, formal verification, SystemC, bounded model checking, PSL
Displaying result #1 - #100 of 262 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license