Search results for "PSL"

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