Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
70 | Marco Bozzano, Adolfo Villafiorita |
The FSAP/NuSMV-SA Safety Analysis Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(1), pp. 5-24, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
70 | Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
NuSMV 2: An OpenSource Tool for Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 359-364, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
70 | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri |
NUSMV: A New Symbolic Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 410-425, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Tools for technology transfer, Temporal logics, Symbolic model checking, Automatic verification |
70 | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri |
NUSMV: A New Symbolic Model Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 495-499, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
69 | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
Simple Is Better: Efficient Bounded Model Checking for Past LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 380-395, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Past LTL, Bounded Model Checking, NuSMV |
67 | Yunja Choi |
From NuSMV to SPIN: Experiences with model checking flight guidance systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 30(3), pp. 199-216, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Flight guidance systems, Model checking, SPIN, NuSMV |
55 | Marco Bozzano, Adolfo Villafiorita |
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, pp. 49-62, 2003, Springer, 3-540-20126-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari |
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP Workshops ![In: Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings, pp. 409-416, 2012, Springer, 978-3-642-33674-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
43 | Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson 0001 |
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 524-540, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
partitioned transition relations, clustering, Binary Decision Diagrams, Symbolic model checking, image computation, railway interlockings |
41 | Tertia Hörne, John A. van der Poll |
Planning as model checking: the performance of ProB vs NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: Proceedings of the 2008 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, SAICSIT 2008, Wilderness, South Africa, October 6-8, 2008, pp. 114-123, 2008, ACM, 978-1-60558-286-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
tableaux theorem proving, model checking, planning, satisfiability, BDDs, constraint logic programming |
41 | Wanwei Liu, Ji Wang 0001, Huowang Chen, Xiaodong Ma, Zhaofei Wang |
Symbolic model checking APSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 3(1), pp. 130-141, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
tableau approach, extended NuSMV, symbolic model checking, property specification language |
41 | Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala |
Bounded Model Checking for Weak Alternating Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 95-108, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV |
41 | Keijo Heljanko, Tommi A. Junttila, Timo Latvala |
Incremental and Complete Bounded Model Checking for Full PLTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 98-111, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
PLTL, Complete, Bounded Model Checking, Incremental, NuSMV |
41 | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
Simple Bounded LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 186-200, 2004, Springer, 3-540-23738-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
linear translation, bounded model checking, LTL, NuSMV |
29 | Naoki Iwasaki, Katsumi Wasaki |
A Meta Hardware Description Language Melasy for Model-Checking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 273-278, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hardware/Software co-design and co-verification, Model Checking, Haskell, Design-for-test, Hardware Compilers |
29 | Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko |
Symbolic Step Encodings for Object Based Communicating State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, pp. 96-112, 2008, Springer, 978-3-540-68862-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi |
FSMC+, a tool for the generation of Java code from statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 93-102, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
evoting, model checking, code generation, statecharts |
29 | Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl |
Proving the shalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(4-5), pp. 303-319, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Formal verification, Software requirements, Model-based development |
29 | Nikola Bogunovic, Edgar Pek |
Model Checking Procedures for Infinite State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany, pp. 419-425, 2006, IEEE Computer Society, 0-7695-2546-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Charles Pecheur, Franco Raimondi |
Symbolic Model Checking of Logics with Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt ![In: Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers, pp. 113-128, 2006, Springer, 978-3-540-74127-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya |
Efficient Guided Symbolic Reachability Using Reachability Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 120-134, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Vitus S. W. Lam, Julian A. Padget |
An integrated environment for communicating UML statechart diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt, pp. 111, 2005, IEEE Computer Society, 0-7803-8735-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Vitus S. W. Lam, Julian A. Padget |
Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: 2004 IEEE International Conference on E-Commerce Technology (CEC 2004), 6-9 July 2004, San Diego, CA, USA, pp. 229-235, 2004, IEEE Computer Society, 0-7695-2098-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Michael Huber, Steve King 0001 |
Towards an Integrated Model Checker for Railway Signalling Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 204-223, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Data verification, hidden formal methods, model checking |
27 | Ganesha |
Simulink to NuSMV Model Translation Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24 - 26, 2022, pp. 32:1-32:2, 2022, ACM, 978-1-4503-9618-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Jonas Fritzsch, Tobias Schmid, Stefan Wagner 0001 |
Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 372-382, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth |
Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020., pp. 287-298, 2020, SCITEPRESS, 978-989-758-400-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Daniel Hausmann 0001, Tadeusz Litak, Christoph Rauch, Matthias Zinner |
Cheap CTL Compassion in NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings, pp. 248-269, 2020, Springer, 978-3-030-39321-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Daniel Ratiu, Marco Gario, Hannes Schoenhaar |
FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 41-50, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | S. Sheerazuddin, S. Anand, R. S. Anish Badhri |
A Scheme to Verify Services with Unboundedly many Clients using NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.00183, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
27 | Ninglin Xu, Zhanyou Ma, Jiulei Jiang, Panqing Zhang |
Model Checking Instance Based on NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI ![In: 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018, pp. 2052-2056, 2018, IEEE, 978-1-5386-9380-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
A Refinement based Verification Approach of BPMN Models using NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 13th International Conference on Software Technologies, ICSOFT 2018, Porto, Portugal, July 26-28, 2018., pp. 563-574, 2018, SciTePress, 978-989-758-320-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
NuSeen: A Tool Framework for the NuSMV Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, pp. 476-483, 2017, IEEE Computer Society, 978-1-5090-6031-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Kazuya Nakahori, Shingo Yamaguchi |
A support tool to design IoT services with NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE ![In: IEEE International Conference on Consumer Electronics, ICCE 2017, Las Vegas, NV, USA, January 8-10, 2017, pp. 80-83, 2017, IEEE, 978-1-5090-5544-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Yongho Kim, Jin-Woo Jung, John C. Gallagher, Eric T. Matson |
An Adaptive Goal-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Fuzzy Log. Intell. Syst. ![In: Int. J. Fuzzy Log. Intell. Syst. 16(2), pp. 95-103, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Jingyue Li, Altin Qeriqi, Martin Steffen, Ingrid Chieh Yu |
Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIK ![In: 29th Norsk Informatikkonferanse, NIK 2016, Høgskolen i Bergen, Bergen, Norway, November 28-30, 2016, 2016, Bibsys Open Journal Systems, Norway. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
27 | Pawel Gluchowski |
NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: Dependability Engineering and Complex Systems - Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland, pp. 195-206, 2016, Springer, 978-3-319-39638-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser |
SysML to NuSMV Model Transformation via Object-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy ![In: Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers, pp. 31-45, 2016, Springer, 978-3-319-51737-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Piotr Szwed |
Evaluating Efficiency of ArchiMate Business Processes Verification with NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM/AITM ![In: Information Technology for Management - Federated Conference on Computer Science and Information Systems, ISM 2015 and AITM 2015, Lodz, Poland, September 2015, Revised Selected Papers, pp. 179-196, 2015, Springer, 978-3-319-30527-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Piotr Szwed |
Efficiency of formal verification of ArchiMate business processes with NuSMV model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: 2015 Federated Conference on Computer Science and Information Systems, FedCSIS 2015, Lódz, Poland, September 13-16, 2015, pp. 1427-1436, 2015, IEEE, 978-8-3608-1065-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Yongho Kim, Jin-Woo Jung, Eric T. Matson |
An Adaptive Task-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FNC/MobiSPC ![In: The 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, August 17-20, 2015, Belfort, France, pp. 127-132, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Yongho Kim, Mauricio Gomez, James Goppert, Eric T. Matson |
Model Checking of a Training System Using NuSMV for Humanoid Robot Soccer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RiTA ![In: Robot Intelligence Technology and Applications 3 - Results from the 3rd International Conference on Robot Intelligence Technology and Applications, RiTA 2014, Beijing, China, November 6-8, 2014, pp. 531-540, 2014, Springer, 978-3-319-16840-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki |
Methods of Translation of Petri Nets to NuSMV Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014., pp. 245-256, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
27 | Takashi Kitamura 0001, Keishi Okamoto |
Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 96-D(12), pp. 2555-2564, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Arne-Michael Törsel |
A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013, pp. 383-390, 2013, IEEE Computer Society, 978-1-4673-5961-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Simon Busard, Charles Pecheur |
PyNuSMV: NuSMV as a Python Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 453-458, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Supriya D'Souza, Abhishek Rao, Amit Sharma, Sanjay Singh |
Modeling and Verification of a Multi-Agent Argumentation System using NuSMV ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1209.4330, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
27 | Yong Jiang, Zongyan Qiu |
S2N: Model Transformation from SPIN to NuSMV - (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings, pp. 255-260, 2012, Springer, 978-3-642-31758-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Aditya Sinha, Ajay Ry, Sanjay Singh 0002 |
Modeling & verification of Sliding Window Protocol with data loss and intruder detection using NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCSEIT ![In: The Second International Conference on Computational Science, Engineering and Information Technology, CCSEIT '12, Coimbatore, India, October 26-28, 2012, pp. 352-357, 2012, ACM, 978-1-4503-1310-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
A model advisor for NuSMV specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 7(2), pp. 97-107, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Yan Cao, Qiuzi Lu, Tianhua Xu, Tao Tang 0004, Haifeng Wang, Yongcheng Xu |
Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI (Companion) ![In: Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume, pp. 136-143, 2011, IEEE Computer Society, 978-0-7695-4454-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Vikram Saralaya, J. K. Kishore, Sateesh Reddy, Radhika M. Pai, Sanjay Singh 0002 |
Modeling and Verification of Chess Game Using NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC (2) ![In: Advances in Computing and Communications - First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, pp. 460-470, 2011, Springer, 978-3-642-22713-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Vitus S. W. Lam |
Formal Analysis of BPMN Models: a NuSMV-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 20(7), pp. 987-1023, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino 0002 |
A NuSMV Extension for Graded-CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, pp. 670-673, 2010, Springer, 978-3-642-14294-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri |
Semi-formal functional verification by EFSM traversing via NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010, pp. 58-65, 2010, IEEE Computer Society, 978-1-4244-7805-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 61-74, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu |
Formal Model and Analysis of Sliding Window Protocol Based on NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 4(6), pp. 519-526, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Melissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui |
A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoMeT ![In: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic, pp. 245-261, 2009, IOS Press, 978-1-60750-049-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno |
Using the NuSMV Model Checker for Test Generation from Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2009, Shanghai, China, 16-18 November 2009, pp. 37-42, 2009, IEEE Computer Society, 978-0-7695-3849-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Amin Ansari |
Verification of Peterson's Algorithm for Leader Election in a Unidirectional Asynchronous Ring Using NuSMV ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0808.0962, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Alessio Lomuscio, Charles Pecheur, Franco Raimondi |
Automatic Verification of Knowledge and Time with NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 1384-1389, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel |
Automatic Test Case Generation with NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 36. Jahrestagung der Gesellschaft für Informatik, Informatik für Menschen, INFORMATIK 2006, Dresden, Germany, October 2-6, 2006, Band 2, pp. 262-263, 2006, GI, 978-3-88579-188-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
26 | Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila |
Efficient Model Checking of PSL Safety Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010, pp. 95-104, 2010, IEEE Computer Society, 978-0-7695-4066-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
model checking, safety properties, PSL, NuSMV |
26 | Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards |
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 48-62, 2009, Springer, 978-3-642-00721-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Concurrency, Synchronization, Static Analysis, Clocks, X10, NuSMV |
14 | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
Graded-CTL: Satisfiability and Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 306-325, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
Model Checking Coalition Nash Equilibria in MAD Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 531-546, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng |
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 624-629, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Hrishikesh Karmarkar, Supratik Chakraborty |
On Minimal Odd Rankings for Büchi Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 228-243, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Ram Krishnan, Ravi S. Sandhu, Jianwei Niu 0001, William H. Winsborough |
Foundations for group-centric secure information sharing models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 14th ACM Symposium on Access Control Models and Technologies, SACMAT 2009, Stresa, Italy, June 3-5, 2009, Proceedings, pp. 115-124, 2009, ACM, 978-1-60558-537-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
groups, linear temporal logic, security properties |
14 | Baolin Shao, Nalini Vasudevan, Stephen A. Edwards |
Compositional deadlock detection for rendezvous communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 59-66, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SHIM, concurrency, static analysis, deadlock, divide-and-conquer |
14 | Wei Chen 0018, Wenhui Zhang |
Bounded Model Checking of ACTL Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 90-99, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Wonhong Nam, P. Madhusudan, Rajeev Alur |
Automatic symbolic compositional verification by learning assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 32(3), pp. 207-234, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning |
14 | Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya |
Efficient guided symbolic reachability using reachability expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 10(2), pp. 113-129, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Nan Guan, Zonghua Gu 0001, Mingsong Lv, Qingxu Deng, Ge Yu 0001 |
Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 556-560, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Schedulability, real-time scheduling, symbolic model-checking |
14 | Kais Klai, Denis Poitrenaud |
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 288-306, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim |
Formal Verification of a Flash Memory Device Driver - An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, pp. 144-159, 2008, Springer, 978-3-540-85113-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer |
Goanna: Syntactic Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 216-221, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim |
Pre-testing Flash Device Driver through Model Checking Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 475-484, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Testing, Embedded Software |
14 | Yanyan Gao 0001, Xi Li 0003 |
Formal Verification of Bypassed Processor Pipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1303-1308, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ronald Toegl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael Chung-Wei Phan, Roderick Bloem |
Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 2289-2294, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Konstantinos Aisopos, Chien-Chun Chou, Li-Shiuan Peh |
Extending open core protocol to support system-level cache coherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 167-172, 2008, ACM, 978-1-60558-470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
coherence extensions, ocp, open core protocol, specification, mpsocs |
14 | Eyad Alkassar, Peter Böhm, Steffen Knapp |
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: Distributed Embedded Systems: Design, Middleware and Resources, IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy, pp. 57-67, 2008, Springer, 978-0-387-09660-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Junhua Ding, Mohammad H. N. Tabrizi |
Modeling and Model Checking of a Clinical Diagnostic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 78-83, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Radu Siminiceanu, Gianfranco Ciardo |
Formal verification of the NASA runway safety monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(1), pp. 63-76, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model checkinga, Aviation safetya, Collision avoidance protocols, Formal verification |
14 | Susanne Kandl, Raimund Kirner, Peter P. Puschner |
Automated Formal Verification and Testing of C Programs for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece, pp. 373-381, 2007, IEEE Computer Society, 0-7695-2765-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens |
SC2SCFL: Automated SystemC to SystemCFL Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation, 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings, pp. 34-45, 2007, Springer, 978-3-540-73622-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Cheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni |
Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France, pp. 13-22, 2007, IEEE Computer Society, 1-4244-1050-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Kristin Y. Rozier, Moshe Y. Vardi |
LTL Satisfiability Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 149-167, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider |
Model Checking Contracts - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, pp. 82-97, 2007, Springer, 978-3-540-75595-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Yongyan Zheng, Jiong Zhou, Paul Krause |
A Model Checking based Test Case Generation Framework forWeb Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA, pp. 715-722, 2007, IEEE Computer Society, 978-0-7695-2776-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Lionel van den Berg, Paul A. Strooper, Kirsten Winter |
Introducing Time in an Industrial Application of Model-Checking. ![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. 56-67, 2007, Springer, 978-3-540-79706-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
real-time system, model checking, railway interlockings |
14 | Zoë R. Stephenson, John A. McDermid |
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA, pp. 53-62, 2007, IEEE Computer Society, 0-7695-2862-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Zonghua Gu 0001, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He 0001, Qingxu Deng, Ge Yu 0001 |
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 3-6 December 2007, Tucson, Arizona, USA, pp. 353-364, 2007, IEEE Computer Society, 0-7695-3062-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik |
Finding State Solutions to Temporal Logic Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 273-292, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi 0001, Rajesh K. Gupta 0001 |
Reactivity in SystemC Transaction-Level Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 34-50, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Yongyan Zheng, Jiong Zhou, Paul Krause |
Analysis of BPEL Data Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany, pp. 351-358, 2007, IEEE Computer Society, 0-7695-2977-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Julien Schmaltz |
A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings, pp. 223-230, 2007, IEEE Computer Society, 0-7695-3023-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch |
Model Checking Software at Compile Time. ![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. 45-56, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Rik Eshuis |
Symbolic model checking of UML activity diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 15(1), pp. 1-38, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Unified Modeling Language, activity diagrams |
14 | Gabor Karsai, Anantha Narayanan |
On the Correctness of Model Transformations in the Development of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers, pp. 1-18, 2006, Springer, 978-3-540-77418-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|