Search results for "labeled transition system"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Sachoun Park, Gihwon Kwon	SAT based Verification Tool for Labeled Transition System.	SERA	2007	DBLP DOI BibTeX RDF	Formal Verification, Labeled Transition System, Bounded Model checking, Linear Temporal Logic
2	Hubert Garavel, Radu Mateescu, Irina M. Smarandache	Parallel State Space Construction for Model-Checking.	SPIN	2001	DBLP DOI BibTeX RDF	state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS
2	Jun Zhou, Kuo-Chung Tai	Deadlock Analysis of Client/Server Programs.	ICDCS	2000	DBLP DOI BibTeX RDF	client/server program, deadlock, labeled transition system, reachability graph
2	Hacène Fouchal, Eric Petitjean, Sébastien Salva	Testing timed systems with timed purposes.	RTCSA	2000	DBLP DOI BibTeX RDF	timed systems testing, timed purposes, timed counterpart, timed input/output automaton, canonical tester, protocols, conformance testing, time constraints, labeled transition system, automata theory
1	Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu	Approximate Bisimulation for Metric Doubly Labeled Transition System.	TASE	2011	DBLP DOI BibTeX RDF
1	Puneet Bhateja	Grammar based asynchronous testing.	ISEC	2009	DBLP DOI BibTeX RDF	dynamic test behavior, static test behavior
1	Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan	Interacting process classes.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Abstract execution, Unified Modeling Language (UML), message sequence charts, active objects
1	Hervé Marchand, Jérémy Dubreil, Thierry Jéron	Automatic Testing of Access Control for Security Properties.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
1	Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli	Composing hybrid systems.	CDC	2008	DBLP DOI BibTeX RDF
1	Du Junwei, Xu Zhongwei, Mei Meng	Verification of Scenario-Based Safety Requirement Specification on Components Composition.	CSSE	2008	DBLP DOI BibTeX RDF
1	Li Pan, Weidong Zhao, Zhicheng Wang, Xinmin Zhou	A State Class Approach to Time Petri Nets with Weak Semantics.	CSSE	2008	DBLP DOI BibTeX RDF
1	Jyotishman Pathak, Samik Basu, Vasant Honavar	Composing Web Services through Automatic Reformulation of Service Specifications.	IEEE SCC	2008	DBLP DOI BibTeX RDF	Web Services, Composition, Labeled Transition Systems, Reformulation
1	Masaki Murakami	Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Martin Kero, Johan Nordlander, Per Lindgren	A correct and useful incremental copying garbage collector.	ISMM	2007	DBLP DOI BibTeX RDF	incremental copying garbage collection, labeled transition system
1	Thuy Duong Vu	Deciding orthogonal bisimulation.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Orthogonal bisimulation equivalence, Branching bisimulation equivalence, Silent step, Labeled transition system, Concurrency theory
1	Zhong-sheng Qian, Huaikou Miao, Tao He	An Approach to Modeling Hypermedia Web Applications.	GCC	2007	DBLP DOI BibTeX RDF
1	Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa	Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.	SEFM	2007	DBLP DOI BibTeX RDF
1	Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon	Test Synthesis from UML Models of Distributed Software.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Formal methods, testing tools, object-oriented design methods
1	Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan	Interacting process classes.	ICSE	2006	DBLP DOI BibTeX RDF	unified modeling language (UML), symbolic execution, message sequence charts, active objects
1	Yu David Liu, Scott F. Smith	A formal framework for component deployment.	OOPSLA	2006	DBLP DOI BibTeX RDF	component, deployment, version
1	Abbas Tarhini, Hacène Fouchal	Robustness evaluation of real-Time Protocols.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	Real-Time System, Testing, Robustness, Validation, Timed Automata, Component based System
1	Alain Girault, Huafeng Yu	A flexible method to tolerate value sensor failures.	ETFA	2006	DBLP DOI BibTeX RDF
1	Xiuguo Zhang, Weishi Zhang	CCML: A Novel Service Composition Language.	IAT Workshops	2006	DBLP DOI BibTeX RDF
1	María-del-Mar Gallardo, Christophe Joubert, Pedro Merino	Implementing Influence Analysis Using Parameterised Boolean Equation Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Harry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel	An Improved Test Derivation Technique.	NCA	2006	DBLP DOI BibTeX RDF
1	Xiuguo Zhang, Weishi Zhang	A Cooperative Service Composition Language and Its Formal Semantics.	PDCAT	2006	DBLP DOI BibTeX RDF
1	Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab	Compositional Semantics of an Actor-Based Language Using Constraint Automata.	COORDINATION	2006	DBLP DOI BibTeX RDF	Rebeca, Compositional semantics, Reo, Constraint Automata, actor model
1	Nikolay V. Shilov, Natalya Olegovna Garanina	Well-Structured Model Checking of Multiagent Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
1	Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi	Towards Formal Interfaces for Web Services with Transactions.	SITIS	2006	DBLP DOI BibTeX RDF	Interface theory, Web service, Composition, Transaction
1	Djamel-Eddine Saïdouni, Nabil Belala	Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification.	Int. Arab J. Inf. Technol.	2005	DBLP BibTeX RDF
1	Toni Jussila, Keijo Heljanko, Ilkka Niemelä	BMC via on-the-fly determinization.	STTT	2005	DBLP DOI BibTeX RDF	Verification, Labeled transition system, Bounded model checking
1	Rocco De Nicola, Diego Latella, Mieke Massink	Formal modeling and quantitative analysis of KLAIM-based mobile systems.	SAC	2005	DBLP DOI BibTeX RDF	formal modeling and validation, stochastic behavior, mobile systems, coordination languages
1	Keijo Heljanko, Alin Stefanescu	Complexity Results for Checking Distributed Implementability.	ACSD	2005	DBLP DOI BibTeX RDF
1	Jun Oyano, Nobuo Saito	Temporal Queries over World Wide Web.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
1	Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde	Generating Annotated Behavior Models from End-User Scenarios.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Scenario-based elicitation, synthesis of behavior models, incremental learning, labeled transition systems, model validation, message sequence charts, analysis tools, scenario generation, invariant generation
1	Abbas Tarhini, Hacène Fouchal, Nashat Mansour	A Simple Approach for Testing Web Service Based Applications.	IICS	2005	DBLP DOI BibTeX RDF	web service, verification, testing, web application, label transition systems
1	Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima, Leonardo Barros, Arthur Bessa	An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints.	PATMOS	2005	DBLP DOI BibTeX RDF
1	Raimundo S. Barreto, Sérgio Cavalcante, Paulo Romero Martins Maciel	A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
1	Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marília Neves, Ricardo Massa Ferreira Lima	An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints.	SBAC-PAD	2004	DBLP DOI BibTeX RDF
1	Michela Milano, Andrea Roli	MAGMA: a multiagent architecture for metaheuristics.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2004	DBLP DOI BibTeX RDF
1	Dorel Lucanu, Gabriel Ciobanu	Model Checking for Object Specifications in Hidden Algebra.	VMCAI	2004	DBLP DOI BibTeX RDF	hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV
1	Luca Durante, Riccardo Sisto, Adriano Valenzano	Automatic testing equivalence verification of spi calculus specifications.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	equivalence verification, Cryptographic protocols, state space exploration
1	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Synthesis of Behavioral Models from Scenarios.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts
1	Susumu Kiyamura, Yoshiaki Takata, Hiroyuki Seki	Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition.	PPAM	2003	DBLP DOI BibTeX RDF
1	Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin	Automatic Test Generation with AGATHA.	TACAS	2003	DBLP DOI BibTeX RDF
1	Marc Frappier, Régine Laleau	Proving Event Ordering Properties for Information Systems.	ZB	2003	DBLP DOI BibTeX RDF	E3, trace-based specifications, refinement, process algebra, B
1	D. D. Rice, Gardiner S. Stiles	Multi-threaded Java Design Using Finite State Processes (FSP) and the Labeled Transition System Analyzer.	PDPTA	2002	DBLP BibTeX RDF
1	Ugo A. Buy, Gaurav Singal	Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems.	COMPSAC	2002	DBLP DOI BibTeX RDF	Petri net generation, Petri nets, concurrency, automatic verification, transition systems, reachability graph
1	Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai	Incremental Integration Testing of Concurrent Programs.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	incremental testing, Software testing, concurrent programs, structural testing
1	Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney	The Möbius State-Level Abstract Functional Interface.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
1	Françoise Bellegarde, Samir Chouali, Jacques Julliand	Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.	ZB	2002	DBLP DOI BibTeX RDF	B event systems1, fairness hypotheses, PLTL verification, specification
1	Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi	Model Checking UML Statecharts.	APSEC	2001	DBLP DOI BibTeX RDF
1	Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer	Graphical animation of behavior models.	ICSE	2000	DBLP DOI BibTeX RDF	behvior analysis, graphic animation, labeled transition system
1	Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander	Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation.	IWSSD	2000	DBLP BibTeX RDF	Graphic Animation, Labeled Transition System, Air Traffic Control, Hybrid Models
1	Gian Luca Cattani, Peter Sewell	Models for Name-Passing Processes: Interleaving and Causal.	LICS	2000	DBLP DOI BibTeX RDF
1	David Gilbert, Catuscia Palamidessi	Concurrent Constraint Programming with Process Mobility.	Computational Logic	2000	DBLP DOI BibTeX RDF
1	Rance Cleaveland, Gerald Lüttgen	A Semantic Theory for Heterogeneous System Design.	FSTTCS	2000	DBLP DOI BibTeX RDF
1	Alexandre Petrenko	Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.	MOVEP	2000	DBLP DOI BibTeX RDF
1	Stefania Gnesi, Diego Latella, Mieke Massink	Model Checking UML Statechart Diagrams Using JACK. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	Branching Time Temporal Logics, Model Checking, UML, Formal Verification
1	Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h	UMLAUT: An Extendible UML Transformation Framework. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	UML Tools, Validation Tools, Object-Orientation, Functional Programming, Model Transformation, Formal techniques
1	Rob Gerth	Sequential Consistency and the Lazy Caching Algorithm.	Distributed Computing	1999	DBLP DOI BibTeX RDF	Weak memory models, Parallel program verification, Cache coherency, Sequential consistency
1	Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari	A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes.	AMAST	1998	DBLP DOI BibTeX RDF
1	Paul Steckler, Mitchell Wand	Lightweight Closure Conversion.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	global optimization/flow analysis, program transformations, compiler construction, closure conversion
1	Ugo Montanari, Marco Pistore	Checking Bisimilarity for Finitary pi-Calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi	The Expressive Power of Clocks.	ICALP	1995	DBLP DOI BibTeX RDF
1	Felipe Bracho, Manfred Droste, Dietrich Kuske	Dependence Orders for Computations of Concurrent Automata.	STACS	1995	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Scott A. Smolka	Incremental Model Checking in the Modal Mu-Calculus.	CAV	1994	DBLP DOI BibTeX RDF
1	Roberto Segala, Nancy A. Lynch	Probabilistic Simulations for Probabilistic Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch	Liveness in Timed and Untimed Systems.	ICALP	1994	DBLP DOI BibTeX RDF
1	Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier	Symbolic Equivalence Checking.	CAV	1993	DBLP DOI BibTeX RDF
1	Andrew C. Uselton	Structured Operational Semantics for Concurrency and Hierarchy.	STACS	1993	DBLP DOI BibTeX RDF
1	Jyh-Herng Chow, Williams Ludwell Harrison III	Compile-Time Analysis of Parallel Programs that Share Memory.	POPL	1992	DBLP DOI BibTeX RDF
1	William R. Bevier, Jørgen F. Søgaard-Andersen	Mechanically Checked Proofs of Kernel Specification.	CAV	1991	DBLP DOI BibTeX RDF	mechanical proof checking, Boyer-Moore Theorem Prover, Kernel, labeled transition systems, safety properties, stepwise development