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