The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1994-1998 (19) 1999-2000 (26) 2001-2002 (28) 2003 (19) 2004 (17) 2005-2006 (28) 2007 (19) 2008-2009 (22) 2010-2015 (15) 2016-2023 (5)
Publication types (Num. hits)
article(30) inproceedings(168)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 179 occurrences of 119 keywords

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