|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31 occurrences of 23 keywords
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
81 | Alastair F. Donaldson, Alice Miller 0001 |
Exact and Approximate Strategies for Symmetry Reduction in 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. 541-556, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Promela/Spin, computational group theory, model checking, symmetry, Gap |
72 | Alastair F. Donaldson, Alice Miller 0001 |
Automatic Symmetry Detection for Model Checking Using Computational Group Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 481-496, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction |
68 | Muffy Calder, Alice Miller 0001 |
Using SPIN for Feature Interaction Analysis - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 143-162, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Promela/SPIN, analysis and reasoning techniques, distributed systems, formal modelling, feature interaction, communicating processes, telecommunications services |
64 | Clement Yuen, Wei Tjioe |
Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 272-287, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
56 | Ramazan Savas Aygün, Aidong Zhang |
Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 205-212, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
50 | Dragan Bosnacki, Dennis Dams |
Discrete-Time Promela and Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings, pp. 307-310, 1998, Springer, 3-540-65003-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Moataz Kamel, Stefan Leue |
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 394-409, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
General Inter-ORB Protocol, Promela/Spin, Model checking, Temporal logic, Specification patterns |
35 | Bob de Vos, Lennart C. L. Kats, Cornelis Pronk |
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings, pp. 177-182, 2011, Springer, 978-3-642-22305-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
35 | Ling Yin, Frédéric Mallet, Jing Liu 0012 |
Verification of MARTE/CCSL Time Requirements in Promela/SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011, pp. 65-74, 2011, IEEE Computer Society, 978-0-7695-4381-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
35 | Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann |
Implementing Statecharts in PROMELA/SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 90-101, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Stefan Edelkamp |
Promela Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 197-212, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Chunyan Fu, Roch H. Glitho, Ferhat Khendek |
A Novel Session Recovery Mechanism for Cluster-based Signaling Architecture for Conferencing in MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), June 25-29, 2007, Toronto, Ontario, Canada, pp. 19, 2007, IEEE Computer Society, 0-7695-2881-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Session Recovery, Clustering, MANETs, Signaling, Heartbeat |
21 | Ramazan Savas Aygün, Aidong Zhang |
SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 17(12), pp. 1706-1720, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
synchronization rules, model checking, multimedia presentations, Multimedia synchronization |
21 | Manuel J. Fernández-Iglesias, Martín Llamas Nistal |
An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFM ![In: Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings, pp. 153-165, 2004, Springer, 3-540-23611-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
undergraduate courses, Spin, Protocol engineering, Promela, case-based learning |
21 | Christopher P. Fuhrman |
Lightweight models for interpreting informal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 8(4), pp. 206-221, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Informal specifications, Iterative software development, Lightweight models, Request for Comments (RFC), Trivial File Transfer, Protocol (TFTP)SPIN, Process, PROMELA |
21 | Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira 0001, Stefan Gruner, Michael Leuschel |
Model-Based Approaches for Validating Business Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STEP ![In: 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 19-21 September 2003, Amsterdam, The Netherlands, pp. 225-233, 2003, IEEE Computer Society, 0-7695-2218-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|