Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
137 | Alastair F. Donaldson, Alice Miller 0001 |
Automatic Symmetry Detection for Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 41(3-4), pp. 251-293, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model checking, Automatic verification, Symmetry reduction, Promela |
100 | Moataz Kamel, Stefan Leue |
VIP: A Visual Editor and Compiler for v-Promela. ![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. 471-486, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
88 | Stefan Leue, Richard Mayr, Wei Wei 0015 |
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 216-233, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
73 | 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 |
62 | Óscar R. Ribeiro, João M. Fernandes |
Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Second International Symposium on Industrial Embedded Systems, SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6, 2007, pp. 266-273, 2007, IEEE, 1-4244-0840-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Alastair F. Donaldson, Simon J. Gay |
Etch: An Enhanced Type Checking Tool for Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 266-271, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | 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 |
|
60 | María-del-Mar Gallardo, Pedro Merino 0001, Ernesto Pimentel 0001 |
A generalized semantics of PROMELA for abstract model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(3), pp. 166-193, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Abstraction, spin, Structured operational semantics, promela |
51 | René G. de Vries, Jan Tretmans |
On-the-fly Conformance Testing using SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 382-393, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Spin verification tool, Formal methods, Conformance testing, Test automation, Test generation algorithms |
51 | Klaus Havelund, Thomas Pressburger |
Model Checking JAVA Programs using JAVA PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 366-381, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin |
49 | Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau |
Adapting Petri Nets Reductions to Promela Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 84-98, 2008, Springer, 978-3-540-68854-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Stefan Leue, Gerard J. Holzmann |
v-Promela: A Visual, Object-Oriented Language for SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), May 2-5, 1999, Saint Malo, France, pp. 14-23, 1999, IEEE Computer Society, 0-7695-0207-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
49 | 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 |
|
49 | Jan Kofron |
Checking software component behavior using behavior protocols and spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1513-1517, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
verification, behavior specification, promela, behavior protocols |
49 | 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 |
49 | 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 |
49 | Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan |
Towards scalable compositional analysis by refactoring design models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 247-256, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
refactoring, CCS, compositional analysis, promela |
48 | Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman, Chungman Seo, Bernard P. Zeigler |
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Simul. Process. Model. ![In: Int. J. Simul. Process. Model. 12(3/4), pp. 313-327, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Jean-Charles Grégoire |
TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 378-397, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
keyword TLA+, refinement, implementation, SPIN, PROMELA, TLA |
38 | Raman Kazhamiakin, Marco Pistore, Marco Roveri |
Formal Verification of Requirements using SPIN: A Case Study on Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 406-415, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Asif Iqbal 0004, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001 |
Visual Modeling and Verification of Distributed Reactive Systems. ![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. 22-34, 2003, Springer, 3-540-20126-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge |
Verifiable Multi-agent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers, pp. 72-89, 2003, Springer, 3-540-22180-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim |
Applying Model Checking to Concurrent Object-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: The Fourth International Symposium on Autonomous Decentralized Systems, ISADS 1999, Tokyo, Japan, March 20-23, 1999, pp. 380-383, 1999, IEEE Computer Society, 0-7695-0137-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart |
Efficient Approximate Verification of Promela Models Via Symmetry Markers. ![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. 300-315, 2007, Springer, 978-3-540-75595-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto |
Model Checking Embedded Systems with PROMELA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA, pp. 378-385, 2005, IEEE Computer Society, 0-7695-2308-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Nicolas Guelfi, Amel Mammar |
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 283-290, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Yung-Pin Cheng |
Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 139-153, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Jessica Chen, Hanmei Cui |
Translation from Adapted UML to Promela for CORBA-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 234-251, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Model Checking, UML, Middleware, CORBA, SPIN, Distributed Object Systems, Formal Specification and Verification |
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | Lynette I. Millett, Tim Teitelbaum |
Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 343-349, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Model checking, Static analysis, Program slicing, Concurrent languages |
37 | Carl B. Adekunle, Steve A. Schneider |
Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 136-151, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Heikki Tuominen |
Embedding a Dialect of SDL in PROMELA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 245-260, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | María-del-Mar Gallardo, Pedro Merino 0001 |
A Framework for Automatic Construction of Abstract Promela Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 184-199, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | 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 |
|
36 | Sebastian Schmerl, Michael Vogel, Hartmut König |
Identifying Modeling Errors in Signatures by Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 205-222, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Attack Signatures, Intrusion Detection, Computer Security, Signature Verification, Misuse Detection, Promela, Spin model checker |
36 | 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 |
36 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
Model checking XML manipulating software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004, pp. 252-262, 2004, ACM, 1-58113-820-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
MSL, web service, XML, model checking, XPath, XML schema, SPIN, promela |
36 | 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 |
36 | 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 |
36 | Diego Latella, István Majzik, Mieke Massink |
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(6), pp. 637-664, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
UML Statechart Diagrams, Model-checking, Program transformation, SPIN, PROMELA |
26 | Zuohua Ding, Mingyue Jiang, Jing Liu 0012 |
Model Checking Service Component Composition by SPIN. ![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. 1029-1034, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik |
Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 143-147, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Christopher Power, Alice Miller 0001 |
Prism2Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 79-80, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Alex Groce, Rajeev Joshi |
Random testing and model checking: building a common framework for nondeterministic exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008, pp. 22-28, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model checking, dynamic analysis, random testing, test frameworks |
26 | Youssef Hanna |
SLEDE: lightweight verification of sensor network security protocol implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 591-594, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
slede, sensor networks, model checking, security protocols |
26 | Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro |
Model Checking Temporal Metric Specifications with Trio2Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 388-395, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin |
26 | Fernando Luís Dotti, Leila Ribeiro 0001, Osmar Marchi dos Santos, Fábio Pasini |
Verifying Object-based Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 5(3), pp. 289-311, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Partial systems, Model checking, Reactive systems, Graph grammars, Object-based systems |
26 | Alastair F. Donaldson, Alice Miller 0001 |
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, pp. 374-380, 2006, Springer, 3-540-35633-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Honghua Cao, Shi Ying, Dehui Du |
Towards Model-based Verification of BPEL with Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea, pp. 190, 2006, IEEE Computer Society, 0-7695-2687-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Leue, Wei Wei 0015 |
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 58-74, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jesús Arias-Fisteus, Luis Sánchez Fernández 0001, Carlos Delgado Kloos |
Formal Verification of BPEL4WS Business Collaborations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, 5th International Conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004, Proceedings, pp. 76-85, 2004, Springer, 3-540-22917-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Theo C. Ruys |
Optimal Scheduling Using Branch and Bound with SPIN 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 1-17, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Fernando Luís Dotti, Luciana Foss, Leila Ribeiro 0001, Osmar Marchi dos Santos |
Verification of Distributed Object-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, pp. 261-275, 2003, Springer, 3-540-20491-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Ed Brinksma, Angelika Mader, Ansgar Fehnker |
Verification and optimization of a PLC control schedule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(1), pp. 21-33, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Scheduling, Model checking, Verification, Formal methods, Hybrid systems |
26 | Theo C. Ruys |
SPIN Tutorial: How to Become a SPIN Doctor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 6-13, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue |
Directed Explicit Model Checking with HSF-SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 57-79, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Gerald C. Gannod, Sunil Gupta |
An Automated Tool for Analyzing Petri Nets Using SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 404-407, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova |
Model Checking SDL with Spin. ![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. 363-377, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Natalia Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch |
Auto-Tuning High-Performance Programs Using Model Checking in Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.09130, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Hui Feng, Marcello M. Bonsangue, Benjamin Lion |
From symbolic constraint automata to Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 128, pp. 100794, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Marco Comini, María-del-Mar Gallardo, Alicia Villanueva |
A denotational semantics for PROMELA addressing arbitrary jumps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.12348, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | 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 |
|
24 | Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman |
DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 96(11), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Nicolas Dilley, Julien Lange |
Bounded verification of message-passing concurrency in Go using Promela and Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES@ETAPS ![In: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., pp. 34-45, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Georgiana Caltais, Stefan Leue, Hargurbir Singh |
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. ![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. 360-372, 2020, SCITEPRESS, 978-989-758-400-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton |
Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SummerSim ![In: Proceedings of the 2019 Summer Simulation Conference, SummerSim 2019, Berlin, Germany, July 22-24, 2019, pp. 9:1-9:12, 2019, ACM. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Massimo Benerecetti, Ugo Gentile, Stefano Marrone 0001, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini |
From Dynamic State Machines to Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 56-73, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Jutamard Kawises, Wiwat Vatanawood |
Formalizing Time Petri Nets with Metric Temporal Logic using Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2019, Toyama, Japan, July 8-11, 2019, pp. 162-166, 2019, IEEE, 978-1-7281-1651-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Haklin Kimm, Hanke Kimm |
Modeling and Verification of Starvation-Free Bitwise Arbitration Technique for Controller Area Network Using SPIN Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMCOM ![In: Proceedings of the 13th International Conference on Ubiquitous Information Management and Communication, IMCOM 2019, Phuket, Thailand, January 4-6, 2019, pp. 195-210, 2019, Springer, 978-3-030-19062-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Soufiane Zahid, Abdeslam En-Nouaary, Slimane Bah |
An SDL to Discrete-Time PROMELA Transformation of Home Area Network model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SITA ![In: Proceedings of the 12th International Conference on Intelligent Systems: Theories and Applications, SITA 2018, Rabat, Morocco, October 24-25, 2018., pp. 14:1-14:5, 2018, ACM, 978-1-4503-6462-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin Lion, Samir Chouali, Farhad Arbab |
Compiling Protocols to Promela and Verifying their LTL Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018., pp. 31-39, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Lamia Eljadiri, Ismail Assayad |
A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSDE ![In: Proceedings of the 2nd International Conference on Smart Digital Environment, ICSDE 2018, Rabat, Morocco, October 18-20, 2018, pp. 154-157, 2018, ACM, 978-1-4503-6507-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman |
Restricting DEv-PROMELA with a hierarchy of simulation formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23 - 26, 2017, pp. 13:1-13:11, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Ryan F. Kirwan, Alice Miller 0001, Bernd Porr |
Model checking learning agent systems using Promela with embedded C code and abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 28(6), pp. 1027-1056, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman |
Using DEv-PROMELA for Modelling and Verification of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSIM-PADS ![In: Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, SIGSIM-PADS 2016, Banff, Alberta, Canada, May 15-18, 2016, pp. 245-253, 2016, ACM, 978-1-4503-3742-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Maryam Dabaghchian, Mohammad Abdollahi Azgomi |
Model checking the observational determinism security property using PROMELA and SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 27(5-6), pp. 789-804, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone 0001, Nicola Mazzocca |
Modeling Railway Control Systems in Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers, pp. 121-136, 2015, Springer, 978-3-319-29509-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Annabelle Klarl |
From Helena Ensemble Specifications to Promela Verification Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 39-45, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal |
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 153-159, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva |
A general translation from nested Petri nets into PROMELA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1403.7991, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | René Neumann |
Promela Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2014, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | René Neumann |
Using Promela in a Fully Verified Executable LTL Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, pp. 105-114, 2014, Springer, 978-3-319-12153-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman |
Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMULTECH ![In: 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications, SIMULTECH 2014, Vienna, Austria, August 28-30, 2014, pp. 421-426, 2014, IEEE, 978-989-758-060-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki |
Checking the Conformance of a Promela Design to its Formal Specification in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers, pp. 110-126, 2014, Springer, 978-3-319-17580-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Kevin Chalmers, Jon M. Kerridge |
Verifying the CPA Networking Stack using SPIN/Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 39-52, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
24 | Asankhaya Sharma |
A Refinement Calculus for Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 75-84, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Freark I. van der Berg, Alfons Laarman |
SpinS: Extending LTSmin with Promela through SpinJa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASM/PDMC ![In: Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, PASM 2012, and the Eleventh International Workshop on Parallel and Distributed Methods in Verification, PDMC 2012, London, UK, September 2012, pp. 95-105, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Leila Ribeiro 0001, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss |
Correct transformation: From object-based graph grammars to PROMELA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 77(3), pp. 214-246, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Mouna Ait Oubelli, Nadia Younsi, Abdelkrim Amirat, Ahcene Menasria |
From UML 2.0 Sequence Diagrams to PROMELA code by Graph Transformation using AToM3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIIA ![In: Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), Saida, Algeria, December 13-15, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
24 | 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 |
|
24 | Yogesh Mali, Eric Van Wyk |
Building Extensible Specifications and Implementations of Promela with AbleP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings, pp. 108-125, 2011, Springer, 978-3-642-22305-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
An Analytic Evaluation of SystemC Encodings in Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings, pp. 90-107, 2011, Springer, 978-3-642-22305-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Jan Staunton, John A. Clark |
Finding short counterexamples in promela models using estimation of distribution algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011, pp. 1923-1930, 2011, ACM, 978-1-4503-0557-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima 0001, Akihito Iwai |
Translation Pattern of BPEL Process into Promela Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM/Mensura ![In: 2011 Joint Conf of 21st Int'l Workshop on Software Measurement and the 6th Int'l Conference on Software Process and Product Measurement, IWSM/Mensura 2011, Nara, Japan, November 3-4, 2011, pp. 285-290, 2011, IEEE Computer Society, 978-1-4577-1930-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
|
24 | Vincent Beaudenon, Emmanuelle Encrenaz, Sami Taktak |
Data decision diagrams for Promela systems analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 12(5), pp. 337-352, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Alastair F. Donaldson, Simon J. Gay |
Type inference and strong static type checking for Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 75(11), pp. 1165-1191, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday |
From Scenarios to Test Implementations Via Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 236-249, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|