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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 416-420, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 1061-1067, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007, pp. 786-791, 2007, IEEE, 1-4244-1060-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu 0001 |
Mapping Template Semantics to SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 320-325, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
64 | Charles Pecheur, Reid G. Simmons |
From Livingstone to SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAABS ![In: Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers, pp. 103-113, 2000, Springer, 3-540-42716-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
53 | Dorel Lucanu, Gabriel Ciobanu |
Model Checking for Object Specifications in Hidden Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, pp. 97-109, 2004, Springer, 3-540-20803-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 533-540, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 513-518, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
51 | Hiromi Hiraishi |
Verification of deadlock free property of high level robot control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 198-203, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS/PDMC ![In: Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers, pp. 148-164, 2006, Springer, 978-3-540-70951-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Thomas Tuerk, Klaus Schneider 0001, Mike Gordon |
Model Checking PSL Using HOL and SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 1-15, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 285-286, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 609-616, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 183-191, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Jan Philipps, Oscar Slotosch |
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 449-, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 38-55, 2007, Springer, 978-3-540-79706-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007, pp. 46-49, 2007, ACM, 1-59593-297-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb Workshops ![In: Advanced Web and Network Technologies, and Applications, APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006, Proceedings, pp. 923-930, 2006, Springer, 3-540-31158-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Nadjet Kamel |
Utilisation de SMV pour la vérification de propriétés d'IHM multimodales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 16th conference on Association Francophone d'Interaction Homme-Machine, IHM 2004, Namur, Belgium, August 30 - September 03, 2004, pp. 219-222, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, pp. 310-323, 2002, Springer, 3-540-00116-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 194-206, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 493-502, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Florian Kammüller, Sören Preibusch |
An industrial application of symbolic model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 22(2), pp. 95-108, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet , 7th International IFIP-TC6 Networking Conference, Singapore, May 5-9, 2008, Proceedings, pp. 562-573, 2008, Springer, 978-3-540-79548-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
LMP, LPM, insert, delete, lookup, SMV |
28 | Constantinos Bartzis, Tevfik Bultan |
Efficient BDDs for bounded arithmetic constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(1), pp. 26-36, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 10(4), pp. 589-609, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 239-248, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 218-225, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 23rd International Conference on Data Engineering Workshops, ICDE 2007, 15-20 April 2007, Istanbul, Turkey, pp. 734-743, 2007, IEEE Computer Society, 978-1-4244-0831-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Nazareno Aguirre, Germán Regis, T. S. E. Maibaum |
Verifying Temporal Properties of CommUnity Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 1-20, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jen-Chieh Ou, Daniel G. Saab, Qiang Qiang, Jacob A. Abraham |
Reducing verification overhead with RTL slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 399-404, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 339-348, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(6), pp. 633-647, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings, pp. 391-404, 2005, Springer, 3-540-30900-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Lijun Wu, Kaile Su, Qingliang Chen |
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS (1) ![In: Computational Intelligence and Security, International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I, pp. 349-354, 2005, Springer, 3-540-30818-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Stéphane Klein, Georg Frey, Mark Minas |
PLC Programming with Signal Interpreted Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 440-449, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Hannah Harris, Mark Ryan 0001 |
Theoretical Foundations of Updating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 291-294, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | José Creissac Campos |
Using Task Knowledge to Guide Interactor Specifications Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers, pp. 171-186, 2003, Springer, 3-540-20159-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Sangjun Lee, Dongseop Kwon, Sukho Lee |
Efficient Similarity Search for Time Series Data Based on the Minimum Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings, pp. 377-391, 2002, Springer, 3-540-43738-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Paritosh K. Pandya |
Model Checking CTL*[DC]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 559-573, 2001, Springer, 3-540-41865-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno |
Automatic Verification of Fault Tolerance Using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea, pp. 95-102, 2001, IEEE Computer Society, 0-7695-1414-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Gihwon Kwon |
Rewrite rules and Operational Semantics for Model Checking UML Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings, pp. 528-540, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Giuseppe Del Castillo, Kirsten Winter |
Model Checking Support for the ASM High-Level Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 331-346, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Edmund M. Clarke, Steven M. German, Yuan Lu 0004, Helmut Veith, Dong Wang |
Executable Protocol Specification in ESL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings, pp. 197-216, 2000, Springer, 3-540-41219-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Manfred Broy, Franz Huber, Bernhard Schätz |
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 14(3), pp. 121-134, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(7), pp. 498-520, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 488-499, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Adam L. Turk, Scott T. Probst, Gary J. Powers |
Verification of a Chemical Process Leak Test Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 84-94, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Amir Pnueli, Elad Shahar |
A Platform for Combining Deductive with Algorithmic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 184-195, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 156-166, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 367-380, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Yiyu Yao |
Human-machine co-intelligence through symbiosis in the SMV space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 53(3), pp. 2777-2797, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Yiyu Yao |
Symbols-Meaning-Value (SMV) space as a basis for a conceptual model of data science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 144, pp. 113-128, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Viktor Shatrov, Valeriy Vyatkin |
Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 19th IEEE International Conference on Industrial Informatics, INDIN 2021, Palma de Mallorca, Spain, July 21-23, 2021, pp. 1-6, 2021, IEEE, 978-1-7281-4395-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Signal Process. ![In: IET Signal Process. 11(3), pp. 275-284, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFCS ![In: IEEE World Conference on Factory Communication Systems, WFCS 2016, Aveiro, Portugal, May 3-6, 2016, pp. 1-8, 2016, IEEE, 978-1-5090-2339-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Chungsoo Lim, Joon-Hyuk Chang |
Efficient implementation techniques of an SVM-based speech/music classifier in SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 74(15), pp. 5375-5400, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom/BigDataSE/ISPA (3) ![In: 2015 IEEE TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3, pp. 313-320, 2015, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings, pp. 300-315, 2015, Springer, 978-3-319-25941-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 97-A(2), pp. 661-664, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
An Operational Semantics for Activity Diagrams using SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.2356, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 21st Annual Network and Distributed System Security Symposium, NDSS 2014, San Diego, California, USA, February 23-26, 2014, 2014, The Internet Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 32nd IEEE VLSI Test Symposium, VTS 2014, Napa, CA, USA, April 13-17, 2014, pp. 1-5, 2014, IEEE Computer Society, 978-1-4799-2611-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Abdelhay Haqiq, Bouchaib Bounabat |
Verification of multi decisional reactive agent using SMV model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDT ![In: 8th International Design and Test Symposium, IDT 2013, Marrakesh, Morocco, 16-18 December, 2013, pp. 1-6, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Junya Nakamura 0003, Taichi Takahashi, Yasuhiro Takaki |
Enlargement of viewing freedom of reduced-view SMV display. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SD&A ![In: Stereoscopic Displays and Applications XXIII, Burlingame, California, USA, January 22-26, 2012, pp. 82881S, 2012, SPIE, 9780819489357. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Dmitri Perelman, Anton Byshevsky, Oleg Litmanovich, Idit Keidar |
SMV: Selective Multi-Versioning STM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing - 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings, pp. 125-140, 2011, Springer, 978-3-642-24099-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Tao He, Huazhong Li, Guorong Qin |
Model Checking Analysis of Observational Transition System with SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICA (2) ![In: Information Computing and Applications - Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II, pp. 537-544, 2011, Springer, 978-3-642-27451-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom |
Phylogenetic Analysis Using an SMV Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACBB ![In: 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2011, April 6-8, 2011, Salamanca, Spain, pp. 167-174, 2011, Springer, 978-3-642-19913-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 93-A(1), pp. 316-319, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Samah Hassan, Mohamed Taher, Ayman M. Wahba |
Mapping SMV models to event-B models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDT ![In: 5th International Design and Test Workshop, IDT 2010, Abu Dhabi, UAE, 14-15 December 2010, pp. 161-166, 2010, IEEE, 978-1-61284-291-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Di Nola, Tommaso Flaminio |
Generating the Variety of SMV-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010, pp. 140-143, 2010, IEEE Computer Society, 978-0-7695-4024-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 94(2), pp. 320-331, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(2), pp. 630-632, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 92-D(7), pp. 1491-1495, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(8), pp. 2120-2123, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Julio C. Peralta, Thierry Gautier |
Towards SMV Model Checking of Signal (multi-clocked) Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski |
Modelling and Verification of Multiple UAV Mission Using SMV ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 22-33, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Lett. ![In: IEEE Signal Process. Lett. 15, pp. 103-106, 2008. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDES ![In: Proceedings of the 2006 International Conference on Computer Design & Conference on Computing in Nanotechnology, CDES 2006, Las Vegas, Nevada, USA, June 26-29, 2006, pp. 175-181, 2006, CSREA Press, 1-60132-009-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
26 | Yuqing Zhang, Chunling Wang, Shimin Wei |
Using SMV for Cryptographic Protocol Analysis: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of The 2005 International Conference on Foundations of Computer Science, FCS 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 150-153, 2005, CSREA Press, 1-932415-71-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (2) ![In: Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, CSCWD 2005, Volume 2, May 24-26, 2005, Coventry, UK, pp. 1024-1028, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jesús López-Fidalgo, Chiara Tommasi |
Construction of MV- and SMV-optimum designs for binary response models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 44(3), pp. 465-475, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASTED Conf. on Software Engineering ![In: IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004, pp. 206-211, 2004, IASTED/ACTA Press, 0-88986-381-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
26 | Yuan Lu, Mike Jorda |
Verifying a gigabit ethernet switch using SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 230-233, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Verification |
26 | Adam H. Li |
RTP Payload Format for Enhanced Variable Rate Codecs (EVRC) and Selectable Mode Vocoders (SMV). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3558, pp. 1-23, July 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Viktor Schuppan, Armin Biere |
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 14(3), pp. 267-280, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1, pp. 228-233, 2003, CSREA Press, 1-932415-19-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: 8th European Conference on Speech Communication and Technology, EUROSPEECH 2003 - INTERSPEECH 2003, Geneva, Switzerland, September 1-4, 2003, pp. 2861-2864, 2003, ISCA. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: 8th European Conference on Speech Communication and Technology, EUROSPEECH 2003 - INTERSPEECH 2003, Geneva, Switzerland, September 1-4, 2003, pp. 2865-2868, 2003, ISCA. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf |
Solving QBF by SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 578-592, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
26 | Cindy Eisner |
Model checking the garbage collection mechanism of SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software Model Checking @ CAV ![In: Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 289-303, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Yuqing Zhang, Chunling Wang, Jianping Wu, Xing Li 0001 |
Using SMV for Cryptographic Protocol Analysis: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 35(2), pp. 43-50, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2001, 7-11 May, 2001, Salt Palace Convention Center, Salt Lake City, Utah, USA, Proceedings, pp. 709-712, 2001, IEEE, 0-7803-7041-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Hiromi Hiraishi |
Yet more image computations for SMV, the symbolic model verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 31(9), pp. 1-9, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Malte Plath, Mark Dermot Ryan |
The feature construct for SMV: Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIW ![In: Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK, pp. 129-144, 2000, IOS Press, 1-58603-065-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
26 | Sébastien Bornot, Ralf Huuck, Ben Lukoschus |
Verification of Sequential Function Charts Using SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000, June 24-29, 2000, Las Vegas, Nevada, USA, 2000, CSREA Press. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
13 | Sujit Kumar Chakrabarti, Srihari Sukumaran |
Using spreadsheets for finite state modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009, pp. 27-36, 2009, ACM, 978-1-60558-426-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 394-399, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Moshe Y. Vardi |
Model Checking as A Reachability Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 35, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|