Search results for "PROMELA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	WenDi Zhao	Yet Another Model Checker for PROMELA - The Transformation Approach.	SSIRI (Companion)	2010	DBLP DOI BibTeX RDF
24	Aleksander Vreze, Bostjan Vlaovic, Zmago Brezocnik	Sdl2pml - Tool for automated generation of Promela model from SDL specification.	Comput. Stand. Interfaces	2009	DBLP DOI BibTeX RDF
24	Wojciech Nabialek, Agata Janowska, Pawel Janowski	Translation of Timed Promela to Timed Automata with Discrete Data.	Fundam. Informaticae	2008	DBLP BibTeX RDF
24	Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi	A Formal Approach for Translating a SAM Architecture to PROMELA.	SEKE	2008	DBLP BibTeX RDF
24	Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus	Automated generation of Promela model from SDL specification.	Comput. Stand. Interfaces	2007	DBLP DOI BibTeX RDF
24	Alastair F. Donaldson, Alice Miller 0001, Muffy Calder	Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models.	ARTS	2004	DBLP DOI BibTeX RDF
24	Xiao Mei-hua, Xue Jin-yun	Modeling and Verifying Cryptographic Protocols Using SPIN/Promela.	SNPD	2004	DBLP BibTeX RDF
24	Izak van Langevelde, Judi Romijn, Nicolae Goga	Founding FireWire Bridges through Promela Prototyping.	IPDPS	2003	DBLP DOI BibTeX RDF
24	Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux	Extending the Translation from SDL to Promela.	SPIN	2002	DBLP DOI BibTeX RDF	SDL formalism, save operator, model-checking, data abstraction
24	Elena Fersman, Bengt Jonsson 0001	Abstraction of Communication Channels in Promela: A Case Study.	SPIN	2000	DBLP DOI BibTeX RDF
24	Moataz Kamel, Stefan Leue	VIP: A Visual Interface for Promela.	SPIN	1999	DBLP DOI BibTeX RDF
24	Klaus Havelund	Java PathFinder, A Translator from Java to Promela.	SPIN	1999	DBLP DOI BibTeX RDF
24	Lynette I. Millett, Tim Teitelbaum	Channel Dependence Analysis for Slicing Promela.	PDSE	1999	DBLP DOI BibTeX RDF
24	Anindya Basu, J. Gregory Morrisett, Thorsten von Eicken	Promela++: A Language for Constructing Correct and Efficient Protocols.	INFOCOM	1998	DBLP DOI BibTeX RDF
24	Siedfried Löffler, Ahmed Serhrouchni	Creating implementations from Promela models.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
24	Elie Najm, Frank Olsen	Protocol verification with reactive Promela/Rspin.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
24	Stefan Leue, Peter B. Ladkin	Implementing and verifying MSC specifications using Promela/XSpin.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
24	V. Natarajan, Gerard J. Holzmann	Outline for an operational semantics of Promela.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
24	Pim Kars	The application of Promela and Spin in the BOS project.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
24	Stavros Tripakis, Costas Courcoubetis	Extending Promela and Spin for Real Time.	TACAS	1996	DBLP DOI BibTeX RDF
24	Elie Najm, Frank Olsen	Reactive EFSMs - Reactive Promela/RSPIN.	TACAS	1996	DBLP DOI BibTeX RDF
23	Jun Wei 0001, Shing-Chi Cheung, Xu Wang	Exploiting Automatic Analysis of E-Commerce Protocols.	COMPSAC	2001	DBLP DOI BibTeX RDF	Agent UML, e-commerce protocol, Spin/Promela, model checking, UML, formal methods
13	Paul Taverne, Cornelis Pronk	RAFFS: Model Checking a Robust Abstract Flash File Store.	ICFEM	2009	DBLP DOI BibTeX RDF
13	Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa	Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems.	ICTAC	2009	DBLP DOI BibTeX RDF
13	Mordechai Ben-Ari	Tool Presentation: Teaching Concurrency and Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF
13	Oliver Sharma, Jonathan Lewis, Alice Miller 0001, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek	Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.	SPIN	2009	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling
13	Jirí Hýsek, Milan Ceska 0001, Vladimír Janousek	Model-Based Design and Verification of Reactive Systems.	EUROCAST	2009	DBLP DOI BibTeX RDF	formal verification, reactive systems, model-based design, state charts
13	Gaurav Singh 0006, Sandeep K. Shukla	Verifying Compiler Based Refinement of BluespecTM.	SPIN	2008	DBLP DOI BibTeX RDF	Bluespec System Verilog (BSV), Formal Verification, Hardware Designs, SPIN Model Checker
13	Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith	Automated Testing of Planning Models.	MoChArt	2008	DBLP DOI BibTeX RDF
13	Andres J. Ramirez, Betty H. C. Cheng	Verifying and Analyzing Adaptive Logic through UML State Models.	ICST	2008	DBLP DOI BibTeX RDF
13	Pamela Zave	Understanding SIP through Model-Checking.	IPTComm	2008	DBLP DOI BibTeX RDF
13	Beatriz Pérez 0001, Ivan Porres	Verification of Clinical Guidelines by Model Checking.	CBMS	2008	DBLP DOI BibTeX RDF	Model checking, Formal Methods, Clinical Guidelines
13	Michael Leuschel	The High Road to Formal Validation: .	ABZ	2008	DBLP DOI BibTeX RDF	Model Checking, Tool Support, Spin, B-Method, Symmetry Reduction
13	Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe	RESY: Requirement Synthesis for Compositional Model Checking.	TACAS	2008	DBLP DOI BibTeX RDF
13	Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan	Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker.	CSSE (2)	2008	DBLP DOI BibTeX RDF
13	Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno	Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.	PRDC	2008	DBLP DOI BibTeX RDF
13	Xiangping Chen, Gang Huang 0001, Hong Mei 0001	Towards Automatic Verification of Web-Based SOA Applications.	APWeb	2008	DBLP DOI BibTeX RDF
13	Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens	SC2SCFL: Automated SystemC to SystemCFL Translation.	SAMOS	2007	DBLP DOI BibTeX RDF
13	Kuntal Das Barman, Debapriyay Mukhopadhyay	Model Checking in Practice: Analysis of Generic Bootloader Using SPIN.	ICFEM	2007	DBLP DOI BibTeX RDF
13	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Model Extraction for ARINC 653 Based Avionics Software.	SPIN	2007	DBLP DOI BibTeX RDF	apex, Real Time, software model checking, avionics, Model extraction
13	Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi	A SystemC/TLM Semantics in Promelaand Its Possible Applications.	SPIN	2007	DBLP DOI BibTeX RDF
13	Michael Weber 0002	An Embeddable Virtual Machine for State Space Generation.	SPIN	2007	DBLP DOI BibTeX RDF
13	Zhifeng Gu, Juan-Zi Li, Jie Tang 0001, Bin Xu 0001, Ruobo Huang	Verification of Web Service Conversations Specified in WSCL.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
13	YoungJoon Byun	A Tool Support for Design and Validation of Communication Protocol using State Transition Diagrams.	ITNG	2007	DBLP DOI BibTeX RDF
13	Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Kang-Nien Wu, Wen-Chin Chan	GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.	TACAS	2007	DBLP DOI BibTeX RDF
13	Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh 0001, Marjan Sirjani, Zainalabedin Navabi	A New Approach for Design and Verification of Transaction Level Models.	ISCAS	2007	DBLP DOI BibTeX RDF
13	Hanmei Cui, Jessica Chen	On Formal MOM Modeling.	ISPA	2007	DBLP DOI BibTeX RDF	model checking, distributed applications, nondeterminism, message-oriented middleware
13	Chunyan Fu, Roch H. Glitho, Ferhat Khendek	A Novel Session Recovery Mechanism for Cluster-based Signaling Architecture for Conferencing in MANETs.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF	Session Recovery, Clustering, MANETs, Signaling, Heartbeat
13	Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini	Trio2Promela: A Model Checker for Temporal Metric Specifications.	ICSE Companion	2007	DBLP DOI BibTeX RDF
13	Yan Sun 0008, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape	Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid.	QSIC	2007	DBLP DOI BibTeX RDF
13	Joost-Pieter Katoen	Abstraction of Probabilistic Systems.	FORMATS	2007	DBLP DOI BibTeX RDF
13	Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge	Verifying Multi-agent Programs by Model Checking.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming
13	Muffy Calder, Alice Miller 0001	Feature interaction detection by pairwise analysis of LTL properties - A case study.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Distributed systems, Model checking, Feature interaction, Communicating processes, Communications services
13	Nikola Trcka	Verifying chi Models of Industrial Systems with Spin.	ICFEM	2006	DBLP DOI BibTeX RDF
13	Alessandro Campi, Paola Spoletini	A framework for XML data streams history checking and monitoring.	WWW	2006	DBLP DOI BibTeX RDF	XML, verification, semi-structured data
13	Michael J. May, Carl A. Gunter, Insup Lee 0001	Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies.	CSFW	2006	DBLP DOI BibTeX RDF
13	Alessandro Campi, Paola Spoletini	History Checking of XML Data Streams.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
13	Stéphane Maag, Fatiha Zaïdi	Testing methodology for an ad hoc routing protocol.	PM2HW2N	2006	DBLP DOI BibTeX RDF	PLTL, ad hoc network protocols, simulations, model checking, verification, testing, SPIN
13	Stefan Leue, Alin Stefanescu, Wei Wei 0015	A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.	CONCUR	2006	DBLP DOI BibTeX RDF
13	Daniel Jackson 0001	Idioms of Logical Modelling.	ICGT	2006	DBLP DOI BibTeX RDF
13	Salekul Islam, J. William Atwood	The Internet Group Management Protocol with Access Control (IGMP-AC).	LCN	2006	DBLP DOI BibTeX RDF
13	Hemangee K. Kapoor	Formal Modelling and Verification of an Asynchronous DLX Pipeline.	SEFM	2006	DBLP DOI BibTeX RDF
13	John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger	Verifying Time Partitioning in the DEOS Scheduling Kernel.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	program model checking, time partitioning, verification, spin, predicate abstraction
13	Ramazan Savas Aygün, Aidong Zhang	SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	synchronization rules, model checking, multimedia presentations, Multimedia synchronization
13	Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm	Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.	SPIN	2005	DBLP DOI BibTeX RDF
13	Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon	Verifying Pattern-Generated LTL Formulas: A Case Study.	SPIN	2005	DBLP DOI BibTeX RDF
13	Bas Luttik, Nikola Trcka	Stuttering Congruence for chi.	SPIN	2005	DBLP DOI BibTeX RDF
13	Ritesh Mukherjee, J. William Atwood	Multicast Group Authentication.	Net-Con	2005	DBLP DOI BibTeX RDF
13	Frode Hansen, Vladimir A. Oleshchuk	Conformance Checking of RBAC Policy and its Implementation.	ISPEC	2005	DBLP DOI BibTeX RDF
13	Kaliappa Nadar Ravindran, Kevin A. Kwiat, Gwangyu Ding	Simulation-Based Validation of Protocols for Distributed Systems.	HICSS	2005	DBLP DOI BibTeX RDF
13	David P. Gilliam, John D. Powell, Matt Bishop	Application of Lightweight Formal Methods to Software Security.	WETICE	2005	DBLP DOI BibTeX RDF
13	Shahid Jabbar, Stefan Edelkamp	I/O Efficient Directed Model Checking.	VMCAI	2005	DBLP DOI BibTeX RDF
13	Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne	A Method for Specifying Contract Mediated Interactions.	EDOC	2005	DBLP DOI BibTeX RDF
13	Nicolae Goga, Judi Romijn	Guiding Spin Simulation.	ICFEM	2004	DBLP DOI BibTeX RDF
13	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	Analysis of interacting BPEL web services.	WWW	2004	DBLP DOI BibTeX RDF	synchronizability, web service, model checking, xpath, BPEL, conversation, asynchronous communication, spin
13	Yongjian Li, Rui Xue	Design of a CIL Connector to SPIN.	COMPSAC	2004	DBLP DOI BibTeX RDF
13	Yongjian Li, Rui Xue	Using SPIN to Model Cryptographic Protocols.	ITCC (2)	2004	DBLP DOI BibTeX RDF
13	Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng	Automated Analysis of Timing Information in UML Diagrams.	ASE	2004	DBLP DOI BibTeX RDF
13	Muffy Calder, Alice Miller 0001	Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Model checking, Formal verification, SPIN
13	Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava	Model Checking Correctness Properties of Electronic Contracts.	ICSOC	2003	DBLP DOI BibTeX RDF	contract representation, contract enforcement, correctness requirements, safety and liveness properties, model-checking, validation, finite state machine, Contract, electronic contract
13	Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini	Model-Checking TRIO Specifications in SPIN.	FME	2003	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin, modular specifications
13	Robert John Walters	Automating Checking of Models Built Using a Graphically Based Formal Modelling Language.	COMPSAC	2003	DBLP DOI BibTeX RDF
13	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001	Abstract Model Checking and Refinement of Temporal Logic in aSPIN.	ACSD	2003	DBLP DOI BibTeX RDF
13	Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo	Using Spin to Generate Testsfrom ASM Specifications.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
13	Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira 0001, Stefan Gruner, Michael Leuschel	Model-Based Approaches for Validating Business Critical Systems.	STEP	2003	DBLP DOI BibTeX RDF
13	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	Symmetric Spin.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Model checking, Spin, Symmetry reduction
13	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Estefanía Rosales	Using XML to implement abstraction for Model Checking.	SAC	2002	DBLP DOI BibTeX RDF	XML, XML, model checking, abstraction, SPIN
13	Christian Stehno	System Specification and Verification Using High Level Concepts - A Tool Demonstration.	SPIN	2002	DBLP DOI BibTeX RDF
13	Olga Shumsky Matlin, Ewing L. Lusk, William McCune	SPINning Parallel Systems Software.	SPIN	2002	DBLP DOI BibTeX RDF
13	Wiebe van der Hoek, Michael J. Wooldridge	Model Checking Knowledge and Time.	SPIN	2002	DBLP DOI BibTeX RDF
13	Paolo Maggi, Riccardo Sisto	Using SPIN to Verify Security Properties of Cryptographic Protocols.	SPIN	2002	DBLP DOI BibTeX RDF
13	Wuwei Shen, Kevin J. Compton, James Huggins	A Toolset for Supporting UML Static and Dynamic Model Checking.	COMPSAC	2002	DBLP DOI BibTeX RDF
13	Klaus Havelund, Michael R. Lowry, John Penix	Formal Analysis of a Space-Craft Controller Using SPIN.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	space-craft software, model checking, temporal logic, Program verification, concurrent programs, program abstraction, model extraction
13	Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren	MoDeST - A Modelling and Description Language for Stochastic Timed Systems.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
13	Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen	EASN: Integrating ASN.1 and Model Checking.	CAV	2001	DBLP DOI BibTeX RDF
13	Vivek K. Shanbhag, K. Gopinath	A SPIN-Based Model Checker for Telecommunication Protocols.	SPIN	2001	DBLP DOI BibTeX RDF
13	Fabrice Derepas, Paul Gastin	Model Checking Systems of Replicated Processes with Spin.	SPIN	2001	DBLP DOI BibTeX RDF
13	Betty H. C. Cheng	A Metamodel-Based Approach to Formalizing UML.	COMPSAC	2001	DBLP DOI BibTeX RDF
13	Wenhui Zhang	Applying SDL Specifications and Tools to the Verification of Procedures.	SDL Forum	2001	DBLP DOI BibTeX RDF
13	Wuwei Shen, Kevin J. Compton, James Huggins	A UML Validation Toolset Based on Abstract State Machines.	ASE	2001	DBLP DOI BibTeX RDF