Search results for "SMV"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Kazuhiro Ogata 0001, Masahiro Nakano, Masaki Nakamura 0001, Kokichi Futatsugi	Chocolat/SMV: A Translator from CafeOBJ into SMV.	PDCAT	2005	DBLP DOI BibTeX RDF
77	Jack Corley, Dan Lejerskar	Simulation for emergency response: homeland defense center network - capitalizing on simulation, modeling and visualization for emergency preparedness, response and mitigation.	WSC	2003	DBLP DOI BibTeX RDF
64	David Gregg, Colm McSweeney, Ciarán McElroy, Fergal Connor, Séamas McGettrick, David Moloney, Dermot Geraghty	FPGA based Sparse Matrix Vector Multiplication using Commodity DRAM Memory.	FPL	2007	DBLP DOI BibTeX RDF
64	Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu 0001	Mapping Template Semantics to SMV.	ASE	2004	DBLP DOI BibTeX RDF
64	Charles Pecheur, Reid G. Simmons	From Livingstone to SMV.	FAABS	2000	DBLP DOI BibTeX RDF
53	Dorel Lucanu, Gabriel Ciobanu	Model Checking for Object Specifications in Hidden Algebra.	VMCAI	2004	DBLP DOI BibTeX RDF	hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV
52	Devinder Thapa, Sang C. Park, Chang Mok Park, Gi-Nam Wang	Modeling, verification, and implementation of PLC program using timed-MPSG.	SCSC	2007	DBLP BibTeX RDF	modeling and verification (M&V), symbolic model verification (SMV), timed-MPSG (message based part state graph), programmable logic controller (PLC)
51	Tie Qi Chen, Jianxin Zhang, Youning Zhou, Yi Lu Murphey	A Smart Machine Vision System for PCB Inspection.	IEA/AIE	2001	DBLP DOI BibTeX RDF
51	Hiromi Hiraishi	Verification of deadlock free property of high level robot control.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties
51	Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák	Verifying VHDL Designs with Multiple Clocks in SMV.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
51	Thomas Tuerk, Klaus Schneider 0001, Mike Gordon	Model Checking PSL Using HOL and SMV.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
51	Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong	Development of a Verification Method for Timed Function Blocks Using ESDT and SMV.	HASE	2004	DBLP DOI BibTeX RDF
38	Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli	AnWeb: a system for automatic support to web application verification.	SEKE	2002	DBLP DOI BibTeX RDF	web application, computation tree logic
38	Michael Baldamus, Jochen Schröder-Babo	p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).	SPIN	2001	DBLP DOI BibTeX RDF
38	Jan Philipps, Oscar Slotosch	The Quest for Correct Systems: Model Checking of Diagrams and Datatypes.	APSEC	1999	DBLP DOI BibTeX RDF	model checking, formal methods, software development environments, software development tools
38	Sören Preibusch, Florian Kammüller	Checking the TWIN Elevator System by Translating Object-Z to SMV.	FMICS	2007	DBLP DOI BibTeX RDF
38	Ahmed Sameh, Tarek A. El-Ghazawi, Yaacov Yesha	Modeling contention of sparse-matrix-vector multiplication (SMV) in three parallel programming paradigms.	WOSP	2007	DBLP DOI BibTeX RDF	LoPC, LogPG, MPI, openMP, DSM, LogP
38	Yuqing Zhang 0001, Suping Jia	Common Program Analysis of Two-Party Security Protocols Using SMV.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
38	Nadjet Kamel	Utilisation de SMV pour la vérification de propriétés d'IHM multimodales.	IHM	2004	DBLP DOI BibTeX RDF	formal methods, multimodal interaction
38	Meine van der Meulen	Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV.	FMCAD	2002	DBLP DOI BibTeX RDF
38	Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala	Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.	CAV	2001	DBLP DOI BibTeX RDF
38	Claudio de la Riva, Javier Tuya, José Ramón de Diego	Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
28	Florian Kammüller, Sören Preibusch	An industrial application of symbolic model checking.	Inform. Forsch. Entwickl.	2008	DBLP DOI BibTeX RDF	Schlagworte Symbolisches Model Checking, Mechanische Verifikation, Industrielle Fallstudie, Zustandsbasierte Systeme, Sicherheit, SMV
28	Mohammad Behdadfar, Hossein Saidi 0001	The CPBT: A Method for Searching the Prefixes Using Coded Prefixes in B-Tree.	Networking	2008	DBLP DOI BibTeX RDF	LMP, LPM, insert, delete, lookup, SMV
28	Constantinos Bartzis, Tevfik Bultan	Efficient BDDs for bounded arithmetic constraints.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Model checking, BDD, Integer arithmetic, SMV
28	Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner	XFM: An incremental methodology for developing formal models.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Extreme formal modeling, prescriptive formal models, property ordering, property refactoring, formal specification, formal verification, extreme programming, SPIN, SMV
28	Paul Ammann, Paul E. Black	A Specification-Based Coverage Metric to Evaluate Test Sets.	HASE	1999	DBLP DOI BibTeX RDF	Model Checking, Formal Specification, Coverage, Test Sets, SCR, Test Metric, SMV
26	Kamrul Hasan Talukder, Koichi Harada	Message Sequence Charts to Specify the Communicating Threads for Concurrent Discrete Wavelet Transform Based Image Compression and a Verification Analysis.	SNPD	2008	DBLP DOI BibTeX RDF	Verification Analysis, Concurrency, Wavelet Transform, Image Compression, Message Sequence Chart
26	Mark Reith, Jianwei Niu 0001, William H. Winsborough	Apply Model Checking to Security Analysis in Trust Management.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
26	Nazareno Aguirre, Germán Regis, T. S. E. Maibaum	Verifying Temporal Properties of CommUnity Designs.	IFM	2007	DBLP DOI BibTeX RDF
26	Jen-Chieh Ou, Daniel G. Saab, Qiang Qiang, Jacob A. Abraham	Reducing verification overhead with RTL slicing.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	verification, test, CAD
26	Yanyan Xu 0001, Wei Chen 0018, Liang Xu, Wenhui Zhang	Evaluation of SAT-based Bounded Model Checking of ACTL Properties.	TASE	2007	DBLP DOI BibTeX RDF
26	Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager	Model checker aided design of a controller for a wafer scanner.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Resource allocation systems, Deadlock avoidance policy, Finite and timed automata, Stuttering bisimulation, Model checking, Throughput optimization
26	Konrad Malkowski, Ingyu Lee, Padma Raghavan, Mary Jane Irwin	On improving performance and energy profiles of sparse scientific applications.	IPDPS	2006	DBLP DOI BibTeX RDF
26	Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen	Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System.	WINE	2005	DBLP DOI BibTeX RDF
26	Lijun Wu, Kaile Su, Qingliang Chen	Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.	CIS (1)	2005	DBLP DOI BibTeX RDF
26	Stéphane Klein, Georg Frey, Mark Minas	PLC Programming with Signal Interpreted Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
26	Hannah Harris, Mark Ryan 0001	Theoretical Foundations of Updating Systems.	ASE	2003	DBLP DOI BibTeX RDF
26	José Creissac Campos	Using Task Knowledge to Guide Interactor Specifications Analysis.	DSV-IS	2003	DBLP DOI BibTeX RDF
26	Sangjun Lee, Dongseop Kwon, Sukho Lee	Efficient Similarity Search for Time Series Data Based on the Minimum Distance.	CAiSE	2002	DBLP DOI BibTeX RDF
26	Paritosh K. Pandya	Model Checking CTL*[DC].	TACAS	2001	DBLP DOI BibTeX RDF
26	Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno	Automatic Verification of Fault Tolerance Using Model Checking.	PRDC	2001	DBLP DOI BibTeX RDF
26	Gihwon Kwon	Rewrite rules and Operational Semantics for Model Checking UML Statecharts.	UML	2000	DBLP DOI BibTeX RDF
26	Giuseppe Del Castillo, Kirsten Winter	Model Checking Support for the ASM High-Level Language.	TACAS	2000	DBLP DOI BibTeX RDF
26	Edmund M. Clarke, Steven M. German, Yuan Lu 0004, Helmut Veith, Dong Wang	Executable Protocol Specification in ESL.	FMCAD	2000	DBLP DOI BibTeX RDF
26	Manfred Broy, Franz Huber, Bernhard Schätz	AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.	Inform. Forsch. Entwickl.	1999	DBLP DOI BibTeX RDF	Software Engineering Werkzeuge, Entwicklung verteilter und eingebetteter Systeme, formale Methoden und Techniken, Prototyping
26	William Chan 0001, Richard J. Anderson, Paul Beame, Steve Burns 0002, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	state-based specifications, Formal methods, requirements, binary decision diagrams, statecharts, software verification, symbolic model checking
26	Yirng-An Chen, Randal E. Bryant	Verification of Floating-Point Adders.	CAV	1998	DBLP DOI BibTeX RDF
26	Adam L. Turk, Scott T. Probst, Gary J. Powers	Verification of a Chemical Process Leak Test Procedure.	CAV	1997	DBLP DOI BibTeX RDF
26	Amir Pnueli, Elad Shahar	A Platform for Combining Deductive with Algorithmic Verification.	CAV	1996	DBLP DOI BibTeX RDF
26	Richard J. Anderson, Paul Beame, Steve Burns 0002, William Chan 0001, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
26	Ásgeir Th. Eiríksson, Kenneth L. McMillan	Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study.	CAV	1995	DBLP DOI BibTeX RDF
26	Yiyu Yao	Human-machine co-intelligence through symbiosis in the SMV space.	Appl. Intell.	2023	DBLP DOI BibTeX RDF
26	Yiyu Yao	Symbols-Meaning-Value (SMV) space as a basis for a conceptual model of data science.	Int. J. Approx. Reason.	2022	DBLP DOI BibTeX RDF
26	Viktor Shatrov, Valeriy Vyatkin	Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV.	INDIN	2021	DBLP DOI BibTeX RDF
26	Weiwei Li, Ning Wang 0003	Transforming the SMV model into MMV model based on the characteristics of wavelet coefficients.	IET Signal Process.	2017	DBLP DOI BibTeX RDF
26	Hector Leon, Carlos Montez, Marcelo Ricardo Stemmer, Francisco Vasques	Simulation models for IEC 61850 communication in electrical substations using GOOSE and SMV time-critical messages.	WFCS	2016	DBLP DOI BibTeX RDF
26	Chungsoo Lim, Joon-Hyuk Chang	Efficient implementation techniques of an SVM-based speech/music classifier in SMV.	Multim. Tools Appl.	2015	DBLP DOI BibTeX RDF
26	Sandeep Patil, Victor Dubinin, Valeriy Vyatkin	Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling.	TrustCom/BigDataSE/ISPA (3)	2015	DBLP DOI BibTeX RDF
26	Sandeep Patil, Victor Dubinin, Valeriy Vyatkin	Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics.	SETTA	2015	DBLP DOI BibTeX RDF
26	Ji-Hyun Song, Hongsub An, Sangmin Lee	Speech/Music Classification Enhancement for 3GPP2 SMV Codec Based on Deep Belief Networks.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2014	DBLP DOI BibTeX RDF
26	Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe	An Operational Semantics for Activity Diagrams using SMV.	CoRR	2014	DBLP BibTeX RDF
26	David Sounthiraraj, Justin Sahs, Garret Greenwood, Zhiqiang Lin, Latifur Khan	SMV-Hunter: Large Scale, Automated Detection of SSL/TLS Man-in-the-Middle Vulnerabilities in Android Apps.	NDSS	2014	DBLP BibTeX RDF
26	Andres Viveros-Wacher, Ricardo Alejos, Liliana Alvarez, Israel Diaz-Castro, Brenda Marcial, Gaston Motola-Acuna, Edgar-Andrei Vega-Ochoa	SMV methodology enhancements for high speed I/O links of SoCs.	VTS	2014	DBLP DOI BibTeX RDF
26	Abdelhay Haqiq, Bouchaib Bounabat	Verification of multi decisional reactive agent using SMV model checker.	IDT	2013	DBLP DOI BibTeX RDF
26	Junya Nakamura 0003, Taichi Takahashi, Yasuhiro Takaki	Enlargement of viewing freedom of reduced-view SMV display.	SD&A	2012	DBLP DOI BibTeX RDF
26	Dmitri Perelman, Anton Byshevsky, Oleg Litmanovich, Idit Keidar	SMV: Selective Multi-Versioning STM.	DISC	2011	DBLP DOI BibTeX RDF
26	Tao He, Huazhong Li, Guorong Qin	Model Checking Analysis of Observational Transition System with SMV.	ICICA (2)	2011	DBLP DOI BibTeX RDF
26	José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom	Phylogenetic Analysis Using an SMV Tool.	PACBB	2011	DBLP DOI BibTeX RDF
26	Sang-Kyun Kim, Joon-Hyuk Chang	Discriminative Weight Training for Support Vector Machine-Based Speech/Music Classification in 3GPP2 SMV Codec.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2010	DBLP DOI BibTeX RDF
26	Samah Hassan, Mohamed Taher, Ayman M. Wahba	Mapping SMV models to event-B models.	IDT	2010	DBLP DOI BibTeX RDF
26	Antonio Di Nola, Tommaso Flaminio	Generating the Variety of SMV-Algebras.	ISMVL	2010	DBLP DOI BibTeX RDF	hyper real states, MV-algebras, internal states
26	Kwang Yong Koh, Poong Hyun Seong	SMV model-based safety analysis of software requirements.	Reliab. Eng. Syst. Saf.	2009	DBLP DOI BibTeX RDF
26	Sang-Kyun Kim, Joon-Hyuk Chang	Speech/Music Classification Enhancement for 3GPP2 SMV Codec Based on Support Vector Machine.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2009	DBLP DOI BibTeX RDF
26	Kye-Hwan Lee, Joon-Hyuk Chang	Acoustic Environment Classification Based on SMV Speech Codec Parameters for Context-Aware Mobile Phone.	IEICE Trans. Inf. Syst.	2009	DBLP DOI BibTeX RDF
26	Ji-Hyun Song, Joon-Hyuk Chang	Efficient Implementation of Voiced/Unvoiced Sounds Classification Based on GMM for SMV Codec.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2009	DBLP DOI BibTeX RDF
26	Julio C. Peralta, Thierry Gautier	Towards SMV Model Checking of Signal (multi-clocked) Specifications.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2009	DBLP DOI BibTeX RDF
26	Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski	Modelling and Verification of Multiple UAV Mission Using SMV	FMA	2009	DBLP DOI BibTeX RDF
26	Ji-Hyun Song, Kye-Hwan Lee, Joon-Hyuk Chang, Jong Kyu Kim, Nam Soo Kim	Analysis and Improvement of Speech/Music Classification for 3GPP2 SMV Based on GMM.	IEEE Signal Process. Lett.	2008	DBLP DOI BibTeX RDF
26	Erh-Wen Hu, Cyril Ku, Andrew Russo, Bogong Su, Jian Wang 0046	New DSP Benchmark based on Selectable Mode Vocoder (SMV).	CDES	2006	DBLP BibTeX RDF
26	Yuqing Zhang, Chunling Wang, Shimin Wei	Using SMV for Cryptographic Protocol Analysis: A Case Study.	FCS	2005	DBLP BibTeX RDF
26	Jianzhou Zhao, Jinian Bian, Weimin Wu	Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs.	CSCWD (2)	2005	DBLP DOI BibTeX RDF
26	Jesús López-Fidalgo, Chiara Tommasi	Construction of MV- and SMV-optimum designs for binary response models.	Comput. Stat. Data Anal.	2004	DBLP DOI BibTeX RDF
26	Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong	Verification method for the FBD-style design specification using SDT and SMV.	IASTED Conf. on Software Engineering	2004	DBLP BibTeX RDF
26	Yuan Lu, Mike Jorda	Verifying a gigabit ethernet switch using SMV.	DAC	2004	DBLP DOI BibTeX RDF	Verification
26	Adam H. Li	RTP Payload Format for Enhanced Variable Rate Codecs (EVRC) and Selectable Mode Vocoders (SMV).	RFC	2003	DBLP DOI BibTeX RDF
26	Viktor Schuppan, Armin Biere	Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	IEEE 1394 FireWire, Model checking, Formal methods, Protocol verification
26	Duc-Duy Vo, Claude Petitpierre	A New Multi-Tasking Concept Supported by SMV.	Software Engineering Research and Practice	2003	DBLP BibTeX RDF
26	Seongho Seo, Dalwon Jang, Sunil Lee, Chang D. Yoo	A novel transcoding algorithm for SMV and g.723.1 speech coders via direct parameter transformation.	INTERSPEECH	2003	DBLP DOI BibTeX RDF
26	Dalwon Jang, Seongho Seo, Sunil Lee, Chang D. Yoo	A novel rate selection algorithm for transcoding CELP-type codec and SMV.	INTERSPEECH	2003	DBLP DOI BibTeX RDF
26	Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf	Solving QBF by SMV.	KR	2002	DBLP BibTeX RDF
26	Cindy Eisner	Model checking the garbage collection mechanism of SMV.	Workshop on Software Model Checking @ CAV	2001	DBLP DOI BibTeX RDF
26	Yuqing Zhang, Chunling Wang, Jianping Wu, Xing Li 0001	Using SMV for Cryptographic Protocol Analysis: A Case Study.	ACM SIGOPS Oper. Syst. Rev.	2001	DBLP DOI BibTeX RDF
26	Yang Gao, Eyal Shlomot, Adil Benyassine, Jes Thyssen, Huan-yu Su, Carlo Murgia	The SMV algorithm selected by TIA and 3GPP2 for CDMA applications.	ICASSP	2001	DBLP DOI BibTeX RDF
26	Hiromi Hiraishi	Yet more image computations for SMV, the symbolic model verifier.	Syst. Comput. Jpn.	2000	DBLP DOI BibTeX RDF
26	Malte Plath, Mark Dermot Ryan	The feature construct for SMV: Semantics.	FIW	2000	DBLP BibTeX RDF
26	Sébastien Bornot, Ralf Huuck, Ben Lukoschus	Verification of Sequential Function Charts Using SMV.	PDPTA	2000	DBLP BibTeX RDF
13	Sujit Kumar Chakrabarti, Srihari Sukumaran	Using spreadsheets for finite state modelling.	ISEC	2009	DBLP DOI BibTeX RDF	finite state machines, spreadsheets, sal
13	Md. Rafiqul Islam 0001, Wanlei Zhou 0001, Morshed U. Chowdhury	MVGL Analyser for Multi-classifier Based Spam Filtering System.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
13	Moshe Y. Vardi	Model Checking as A Reachability Problem.	RP	2009	DBLP DOI BibTeX RDF