Search results for "Promela"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Alastair F. Donaldson, Alice Miller	Automatic Symmetry Detection for Promela.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Model checking, Automatic verification, Symmetry reduction, Promela
3	María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel	A generalized semantics of PROMELA for abstract model checking.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Abstraction, spin, Structured operational semantics, promela
3	Moataz Kamel, Stefan Leue	Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.	STTT	2000	DBLP DOI BibTeX RDF	General Inter-ORB Protocol, Promela/Spin, Model checking, Temporal logic, Specification patterns
2	Sebastian Schmerl, Michael Vogel, Hartmut König	Identifying Modeling Errors in Signatures by Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF	Attack Signatures, Intrusion Detection, Computer Security, Signature Verification, Misuse Detection, Promela, Spin model checker
2	Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau	Adapting Petri Nets Reductions to Promela Specifications.	FORTE	2008	DBLP DOI BibTeX RDF
2	Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart	Efficient Approximate Verification of Promela Models Via Symmetry Markers.	ATVA	2007	DBLP DOI BibTeX RDF
2	Óscar R. Ribeiro, João M. Fernandes	Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties.	SIES	2007	DBLP DOI BibTeX RDF
2	Jan Kofron	Checking software component behavior using behavior protocols and spin.	SAC	2007	DBLP DOI BibTeX RDF	verification, behavior specification, promela, behavior protocols
2	Alastair F. Donaldson, Alice Miller	Exact and Approximate Strategies for Symmetry Reduction in Model Checking.	FM	2006	DBLP DOI BibTeX RDF	Promela/Spin, computational group theory, model checking, symmetry, Gap
2	Nicolas Guelfi, Amel Mammar	A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation.	APSEC	2005	DBLP DOI BibTeX RDF
2	Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto	Model Checking Embedded Systems with PROMELA.	ECBS	2005	DBLP DOI BibTeX RDF
2	Alastair F. Donaldson, Simon J. Gay	Etch: An Enhanced Type Checking Tool for Promela.	SPIN	2005	DBLP DOI BibTeX RDF
2	Yung-Pin Cheng	Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.	SPIN	2005	DBLP DOI BibTeX RDF
2	Alastair F. Donaldson, Alice Miller	Automatic Symmetry Detection for Model Checking Using Computational Group Theory.	FM	2005	DBLP DOI BibTeX RDF	Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction
2	Stefan Leue, Richard Mayr, Wei Wei	A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.	SPIN	2004	DBLP DOI BibTeX RDF
2	Jessica Chen, Hanmei Cui	Translation from Adapted UML to Promela for CORBA-Based Applications.	SPIN	2004	DBLP DOI BibTeX RDF	Model Checking, UML, Middleware, CORBA, SPIN, Distributed Object Systems, Formal Specification and Verification
2	Xiang Fu, Tevfik Bultan, Jianwen Su	Model checking XML manipulating software.	ISSTA	2004	DBLP DOI BibTeX RDF	MSL, web service, XML, model checking, XPath, XML schema, SPIN, promela
2	Manuel J. Fernández Iglesias, Martín Llamas Nistal	An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students.	TFM	2004	DBLP DOI BibTeX RDF	undergraduate courses, Spin, Protocol engineering, Promela, case-based learning
2	Stefan Edelkamp	Promela Planning.	SPIN	2003	DBLP DOI BibTeX RDF
2	Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan	Towards scalable compositional analysis by refactoring design models.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	refactoring, CCS, compositional analysis, promela
2	Christopher P. Fuhrman	Lightweight models for interpreting informal specifications.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	Informal specifications, Iterative software development, Lightweight models, Request for Comments (RFC), Trivial File Transfer, Protocol (TFTP)SPIN, Process, PROMELA
2	Ramazan Savas Aygün, Aidong Zhang	Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN.	SPIN	2002	DBLP DOI BibTeX RDF
2	Clement Yuen, Wei Tjioe	Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin.	SPIN	2001	DBLP DOI BibTeX RDF
2	Michael Baldamus, Jochen Schröder-Babo	p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).	SPIN	2001	DBLP DOI BibTeX RDF
2	Muffy Calder, Alice Miller	Using SPIN for Feature Interaction Analysis - A Case Study.	SPIN	2001	DBLP DOI BibTeX RDF	Promela/SPIN, analysis and reasoning techniques, distributed systems, formal modelling, feature interaction, communicating processes, telecommunications services
2	Lynette I. Millett, Tim Teitelbaum	Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation.	STTT	2000	DBLP DOI BibTeX RDF	Model checking, Static analysis, Program slicing, Concurrent languages
2	Moataz Kamel, Stefan Leue	VIP: A Visual Editor and Compiler for v-Promela.	TACAS	2000	DBLP DOI BibTeX RDF
2	María-del-Mar Gallardo, Pedro Merino	A Framework for Automatic Construction of Abstract Promela Models.	SPIN	1999	DBLP DOI BibTeX RDF
2	Heikki Tuominen	Embedding a Dialect of SDL in PROMELA.	SPIN	1999	DBLP DOI BibTeX RDF
2	Carl B. Adekunle, Steve Schneider	Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin.	SPIN	1999	DBLP DOI BibTeX RDF
2	Stefan Leue, Gerard J. Holzmann	v-Promela: A Visual, Object-Oriented Language for SPIN.	ISORC	1999	DBLP DOI BibTeX RDF
2	Diego Latella, István Majzik, Mieke Massink	Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	UML Statechart Diagrams, Model-checking, Program transformation, SPIN, PROMELA
2	Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann	Implementing Statecharts in PROMELA/SPIN.	WIFT	1998	DBLP DOI BibTeX RDF
2	Dragan Bosnacki, Dennis Dams	Discrete-Time Promela and Spin.	FTRTFT	1998	DBLP DOI BibTeX RDF
2	Jean-Charles Grégoire	TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations.	FME	1997	DBLP DOI BibTeX RDF	keyword TLA+, refinement, implementation, SPIN, PROMELA, TLA
1	Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss	Correct transformation: From object-based graph grammars to PROMELA.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Jan Staunton, John A. Clark	Finding short counterexamples in promela models using estimation of distribution algorithms.	GECCO	2011	DBLP DOI BibTeX RDF
1	Yogesh Mali, Eric Van Wyk	Building Extensible Specifications and Implementations of Promela with AbleP.	SPIN	2011	DBLP DOI BibTeX RDF
1	Bob de Vos, Lennart C. L. Kats, Cornelis Pronk	EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax.	SPIN	2011	DBLP DOI BibTeX RDF
1	Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri	An Analytic Evaluation of SystemC Encodings in Promela.	SPIN	2011	DBLP DOI BibTeX RDF
1	Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai	Translation Pattern of BPEL Process into Promela Code.	IWSM/Mensura	2011	DBLP DOI BibTeX RDF
1	Ling Yin, Frédéric Mallet, Jing Liu	Verification of MARTE/CCSL Time Requirements in Promela/SPIN.	ICECCS	2011	DBLP DOI BibTeX RDF
1	Mouna Ait Oubelli, Nadia Younsi, Abdelkrim Amirat, Ahcene Menasria	From UML 2.0 Sequence Diagrams to PROMELA code by Graph Transformation using AToM3.	CIIA	2011	DBLP BibTeX RDF
1	Alastair F. Donaldson, Simon J. Gay	Type inference and strong static type checking for Promela.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
1	Vincent Beaudenon, Emmanuelle Encrenaz, Sami Taktak	Data decision diagrams for Promela systems analysis.	STTT	2010	DBLP DOI BibTeX RDF
1	Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday	From Scenarios to Test Implementations Via Promela.	ICTSS	2010	DBLP DOI BibTeX RDF
1	Aleksander Vreze, Bostjan Vlaovic, Zmago Brezocnik	Sdl2pml - Tool for automated generation of Promela model from SDL specification.	Computer Standards & Interfaces	2009	DBLP DOI BibTeX RDF
1	Zuohua Ding, Mingyue Jiang, Jing Liu	Model Checking Service Component Composition by SPIN.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
1	Jirí Hýsek, Milan Ceska, 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
1	Paul Taverne, Cornelis Pronk	RAFFS: Model Checking a Robust Abstract Flash File Store.	ICFEM	2009	DBLP DOI BibTeX RDF
1	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
1	Mordechai Ben-Ari	Tool Presentation: Teaching Concurrency and Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF
1	Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik	Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation.	SPIN	2009	DBLP DOI BibTeX RDF
1	Oliver Sharma, Jonathan Lewis, Alice Miller, 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
1	Wojciech Nabialek, Agata Janowska, Pawel Janowski	Translation of Timed Promela to Timed Automata with Discrete Data.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	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
1	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks
1	Beatriz Pérez, Ivan Porres	Verification of Clinical Guidelines by Model Checking.	CBMS	2008	DBLP DOI BibTeX RDF	Model checking, Formal Methods, Clinical Guidelines
1	Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan	Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker.	CSSE	2008	DBLP DOI BibTeX RDF
1	Andres J. Ramirez, Betty H. C. Cheng	Verifying and Analyzing Adaptive Logic through UML State Models.	ICST	2008	DBLP DOI BibTeX RDF
1	Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno	Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.	PRDC	2008	DBLP DOI BibTeX RDF
1	Christopher Power, Alice Miller	Prism2Promela.	QEST	2008	DBLP DOI BibTeX RDF
1	Xiangping Chen, Gang Huang 0001, Hong Mei	Towards Automatic Verification of Web-Based SOA Applications.	APWeb	2008	DBLP DOI BibTeX RDF
1	Michael Leuschel	The High Road to Formal Validation: .	ABZ	2008	DBLP DOI BibTeX RDF	Model Checking, Tool Support, Spin, B-Method, Symmetry Reduction
1	Pamela Zave	Understanding SIP through Model-Checking.	IPTComm	2008	DBLP DOI BibTeX RDF
1	Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith	Automated Testing of Planning Models.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Gaurav Singh, 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
1	Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe	RESY: Requirement Synthesis for Compositional Model Checking.	TACAS	2008	DBLP DOI BibTeX RDF
1	Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus	Automated generation of Promela model from SDL specification.	Computer Standards & Interfaces	2007	DBLP DOI BibTeX RDF
1	Youssef Hanna	SLEDE: lightweight verification of sensor network security protocol implementations.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	Slede, sensor networks, model checking, security protocols
1	Youssef Hanna	SLEDE: lightweight verification of sensor network security protocol implementations.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	slede, sensor networks, model checking, security protocols
1	Zhifeng Gu, Juan-Zi Li, Jie Tang, Bin Xu, Ruobo Huang	Verification of Web Service Conversations Specified in WSCL.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	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
1	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
1	Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi	A New Approach for Design and Verification of Transaction Level Models.	ISCAS	2007	DBLP DOI BibTeX RDF
1	YoungJoon Byun	A Tool Support for Design and Validation of Communication Protocol using State Transition Diagrams.	ITNG	2007	DBLP DOI BibTeX RDF
1	Yan Sun, 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
1	Joost-Pieter Katoen	Abstraction of Probabilistic Systems.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro	Model Checking Temporal Metric Specifications with Trio2Promela.	FSEN	2007	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin
1	Kuntal Das Barman, Debapriyay Mukhopadhyay	Model Checking in Practice: Analysis of Generic Bootloader Using SPIN.	ICFEM	2007	DBLP DOI BibTeX RDF
1	Hanmei Cui, Jessica Chen	On Formal MOM Modeling.	ISPA	2007	DBLP DOI BibTeX RDF	model checking, distributed applications, nondeterminism, message-oriented middleware
1	Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens	SC2SCFL: Automated SystemC to SystemCFL Translation.	SAMOS	2007	DBLP DOI BibTeX RDF
1	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino	Model Extraction for ARINC 653 Based Avionics Software.	SPIN	2007	DBLP DOI BibTeX RDF	apex, Real Time, software model checking, avionics, Model extraction
1	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
1	Michael Weber	An Embeddable Virtual Machine for State Space Generation.	SPIN	2007	DBLP DOI BibTeX RDF
1	Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan	GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.	TACAS	2007	DBLP DOI BibTeX RDF
1	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
1	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
1	Michael J. May, Carl A. Gunter, Insup Lee	Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies.	CSFW	2006	DBLP DOI BibTeX RDF
1	Alessandro Campi, Paola Spoletini	History Checking of XML Data Streams.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
1	Honghua Cao, Shi Ying, Dehui Du	Towards Model-based Verification of BPEL with Model Checking.	CIT	2006	DBLP DOI BibTeX RDF
1	Salekul Islam, J. William Atwood	The Internet Group Management Protocol with Access Control (IGMP-AC).	LCN	2006	DBLP DOI BibTeX RDF
1	Hemangee K. Kapoor	Formal Modelling and Verification of an Asynchronous DLX Pipeline.	SEFM	2006	DBLP DOI BibTeX RDF
1	Alastair F. Donaldson, Alice Miller	A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.	AMAST	2006	DBLP DOI BibTeX RDF
1	Stefan Leue, Alin Stefanescu, Wei Wei	A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.	CONCUR	2006	DBLP DOI BibTeX RDF
1	Daniel Jackson	Idioms of Logical Modelling.	ICGT	2006	DBLP DOI BibTeX RDF
1	Nikola Trcka	Verifying chi Models of Industrial Systems with Spin.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge	Verifying Multi-agent Programs by Model Checking.	Autonomous Agents and Multi-Agent Systems	2006	DBLP DOI BibTeX RDF	AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming
1	Muffy Calder, Alice Miller	Feature interaction detection by pairwise analysis of LTL properties - A case study.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Distributed systems, Model checking, Feature interaction, Communicating processes, Communications services
1	Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini	Verifying Object-based Graph Grammars.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	Partial systems, Model checking, Reactive systems, Graph grammars, Object-based systems