Search results for "labeled transition systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Taolue Chen, Jaco van de Pol, Yanjing Wang	PDL over Accelerated Labeled Transition Systems.	TASE	2008	DBLP DOI BibTeX RDF	PDL, Accelerated Labeled Transition Systems
3	Rocco De Nicola, Frits W. Vaandrager	Three Logics for Branching Bisimulation.	J. ACM	1995	DBLP DOI BibTeX RDF	Hennessy-Milner logic, backward modalities, branching bisimulation equivalence, doubly labeled transition systems, stuttering equivalence, until operations, semantics, concurrency, reactive systems, labeled transition systems, Kripke structures, CTL*
2	Xianli Jin, Huadong Ma, Zonghua Gu	Real-Time Component Composition Using Hierarchical Timed Automata.	QSIC	2007	DBLP DOI BibTeX RDF	hierarchical timed automata, real-time, component, labeled transition systems
2		Part II. Testing of Labeled Transition Systems.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
2	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
2	Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion
2	Radu Mateescu	Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.	TACAS	2002	DBLP DOI BibTeX RDF
2	Stefan Blom, Jaco van de Pol	State Space Reduction by Proving Confluence.	CAV	2002	DBLP DOI BibTeX RDF	on-the-fly state space reduction, symbolic transformation, &#55CRL tool set, theorem proving, Labeled transition systems, partial order reduction, confluence, branching bisimulation
2	Jessica Chen	A study on static analysis in network of synchronizing FSMs.	APSEC	2000	DBLP DOI BibTeX RDF	synchronizing FSMs, multithreaded systems, nondeterministic behavior, Java monitors, Java, static analysis, finite state machines, synchronisation, operational semantics, multi-threading, labeled transition systems, thread synchronization, design artifacts
2	Bard Bloom, Wan Fokkink, Rob J. van Glabbeek	Precongruence Formats for Decorated Trace Preorders.	LICS	2000	DBLP DOI BibTeX RDF	semantic equivalences and preorders, Concurrency, compositionality, labeled transition systems, full abstraction, structural operational semantics
2	Andrew C. Uselton, Scott A. Smolka	A Compositional Semantics for Statecharts using Labeled Transition Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Marco Bernardo, Rocco De Nicola, Michele Loreti	Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi	PACO	2011	DBLP DOI BibTeX RDF
1	Zhenchang Xing, Jun Sun 0001, Yang Liu, Jin Song Dong	Differencing Labeled Transition Systems.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn R. Lutz	Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems.	WS-FM	2010	DBLP DOI BibTeX RDF
1	Marco Bernardo, Rocco De Nicola, Michele Loreti	Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes.	TGC	2010	DBLP DOI BibTeX RDF
1	Daniel Sinnig, Ferhat Khendek, Patrice Chalin	A Formal Model for Generating Integrated Functional and User Interface Test Cases.	ICST	2010	DBLP DOI BibTeX RDF	User Interface Testing, Task Models, Functional Testing, Labeled Transition Systems, Use Case Models
1	Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig	Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems.	FMCO	2009	DBLP DOI BibTeX RDF
1	Puneet Bhateja	Grammar based asynchronous testing.	ISEC	2009	DBLP DOI BibTeX RDF	dynamic test behavior, static test behavior
1	Daniel Sinnig, Patrice Chalin, Ferhat Khendek	LTS semantics for use case models.	SAC	2009	DBLP DOI BibTeX RDF	LTSs, semantics, requirements, use cases
1	Lijun Mei, W. K. Chan, T. H. Tse	Data flow testing of service choreography.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	web services, software testing, service composition, orchestration, choreography, data flow testing
1	Christophe Damas, Bernard Lambeau, Francois Roucoux, Axel van Lamsweerde	Analyzing critical process models through behavior model synthesis.	ICSE	2009	DBLP DOI BibTeX RDF
1	Filippo Bonchi, Ugo Montanari	Coalgebraic Symbolic Semantics.	CALCO	2009	DBLP DOI BibTeX RDF
1	Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino	Non-strongly Stable Orders Also Define Interesting Simulation Relations.	CALCO	2009	DBLP DOI BibTeX RDF
1	Filippo Bonchi, Ugo Montanari	Minimization Algorithm for Symbolic Bisimilarity.	ESOP	2009	DBLP DOI BibTeX RDF
1	Gregor von Bochmann	Using First-Order Logic to Reason about Submodule Construction.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Walid Chainbi	Modeling Multi-Agent Systems as Labeled Transitions Systems: A Unifying Approach.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	behavioral semantics, multi-agent systems, modal logics, Transition systems
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	Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer	Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Model checking, Learning, Labeled transition systems, Compositional verification, Safety properties, Assume-guarantee reasoning, Proof rules
1	Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He	Execution Semantics for rCOS.	APSEC	2008	DBLP DOI BibTeX RDF
1	Chunhua Yang, Haiyang Wang	A Process Algebra Based Aspect Weaving Model.	CSSE	2008	DBLP DOI BibTeX RDF
1	Radu Mateescu, Emilie Oudot	Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems.	MEMOCODE	2008	DBLP DOI BibTeX RDF
1	Ralf Wimmer, Salem Derisavi, Holger Hermanns	Symbolic Partition Refinement with Dynamic Balancing of Time and Space.	QEST	2008	DBLP DOI BibTeX RDF
1	Gordon Fraser, Martin Weiglhofer, Franz Wotawa	Coverage Based Testing with Test Purposes.	QSIC	2008	DBLP DOI BibTeX RDF	input-output conformance, Session Initiation Protocol, model-based testing, LOTOS, coverage criteria, test purposes
1	Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel	A Framework of Composable Access Control Definition, Enforcement and Assurance.	SCCC	2008	DBLP DOI BibTeX RDF
1	Anu Singh, C. R. Ramakrishnan, Scott A. Smolka	A Process Calculus for Mobile Ad Hoc Networks.	COORDINATION	2008	DBLP DOI BibTeX RDF
1	Radu Mateescu, Damien Thivolle	A Model Checking Language for Concurrent Value-Passing Systems.	FM	2008	DBLP DOI BibTeX RDF
1	Julien Schmaltz, Jan Tretmans	On Conformance Testing for Timed Systems.	FORMATS	2008	DBLP DOI BibTeX RDF
1	Radu Mateescu, Emilie Oudot	Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.	SPIN	2008	DBLP DOI BibTeX RDF
1	Mario Bravetti, Gianluigi Zavattaro	Contract Compliance and Choreography Conformance in the Presence of Message Queues.	WS-FM	2008	DBLP DOI BibTeX RDF
1	Emanuela G. Cartaxo, Francisco G. Oliveira Neto, Patrícia D. L. Machado	Test case generation by means of UML sequence diagrams and labeled transition systems.	SMC	2007	DBLP DOI BibTeX RDF
1	Daniel Sinnig, Patrice Chalin, Ferhat Khendek	Common Semantics for Use Cases and Task Models.	IFM	2007	DBLP DOI BibTeX RDF	requirements, Use cases, task models, formal semantics, labeled transition systems, partial order sets
1	Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	Modeling software product lines using color-blind transition systems.	STTT	2007	DBLP DOI BibTeX RDF	Relativized simulation, Modeling, Embedded software, Product lines, Labeled transition systems
1	Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon	A very modal model of a modern, major, general type system.	POPL	2007	DBLP DOI BibTeX RDF	impredicative polymorphism, mutable references, recursive types, Kripke models
1	Alessandro Fantechi, Stefania Gnesi	A behavioural model for product families.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	software families, product lines, modal transition systems
1	Alessandro Fantechi, Stefania Gnesi	A behavioural model for product families.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	software families, product lines, modal transition systems
1	Marcelo Arenas, Pablo Barceló, Leonid Libkin	Combining Temporal Logics for Querying XML Documents.	ICDT	2007	DBLP DOI BibTeX RDF
1	Woo Jin Lee, Ho-Jun Kim, Heung Seok Chae	Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS.	SEUS	2007	DBLP DOI BibTeX RDF	safety property analysis, LTS, slice model, embedded system
1	Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler	Adaptor Synthesis for Real-Time Components.	TACAS	2007	DBLP DOI BibTeX RDF
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	Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki	Supporting Application Framework Selection Based on Labeled Transition Systems.	IEICE Transactions	2006	DBLP DOI BibTeX RDF
1	Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna	Post-reboot Equivalence and Compositional Verification of Hardware.	FMCAD	2006	DBLP DOI BibTeX RDF
1	Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mikko Satama	Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach.	TAIC PART	2006	DBLP DOI BibTeX RDF
1	Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen	MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	timed automata, stochastic processes, formal semantics, compositionality, Modeling formalism
1	Cheng Li, Zhe Dang	Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems.	FATES/RV	2006	DBLP DOI BibTeX RDF
1	Rajeev Alur, Pavol Cerný, Steve Zdancewic	Preserving Secrecy Under Refinement.	ICALP	2006	DBLP DOI BibTeX RDF
1	Michael von der Beeck	A Formal Semantics of UML-RT.	MoDELS	2006	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Sampath Kannan, Insup Lee	Simulation-Based Graph Similarity.	TACAS	2006	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	Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes	Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.	QSIC	2005	DBLP DOI BibTeX RDF
1	Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara	Model-Based Testing Through a GUI.	FATES	2005	DBLP DOI BibTeX RDF
1	Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko	Multiplexing of Partially Ordered Events.	TestCom	2005	DBLP DOI BibTeX RDF
1	Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu	BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.	TACAS	2005	DBLP DOI BibTeX RDF
1	Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion	Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models.	MoDELS Satellite Events	2005	DBLP DOI BibTeX RDF
1	Stefan Blom, Simona Orzan	Distributed state space minimization.	STTT	2005	DBLP DOI BibTeX RDF	Distributed verification, Bisimulation equivalence
1	Stefan Blom, Simona Orzan	A distributed algorithm for strong bisimulation reduction of state spaces.	STTT	2005	DBLP DOI BibTeX RDF	Strong bisimulation, Distributed tools, Multirelational coarsest partition problem, Model checking, State space reduction
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	Bard Bloom, Wan Fokkink, Rob J. van Glabbeek	Precongruence formats for decorated trace semantics.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Decorated trace semantics, precongruence
1	Mark Lawford, Hong Zhang	Equivalence Verification of Timed Transition Models.	ACSD	2004	DBLP DOI BibTeX RDF
1	Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki	Automated Support for Framework Selection and Customization.	ASE	2004	DBLP DOI BibTeX RDF
1	Henry Muccini, Antonia Bertolino, Paola Inverardi	Using Software Architecture for Code Testing.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Software engineering, software architectures, tracing, testing strategies, testing and debugging
1	Pascal Fradet, Stéphane Hong Tuan Ha	Network Fusion.	APLAS	2004	DBLP DOI BibTeX RDF
1	Machiel van der Bijl, Fabien Peureux	I/O-automata Based Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
1	Stefan Blom, Izak van Langevelde, Bert Lisser	Compressed and Distributed File Formats for Labeled Transition Systems.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes.	ACSD	2003	DBLP DOI BibTeX RDF
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	Gordon J. Pace, Frédéric Lang, Radu Mateescu	Calculating-Confluence Compositionally.	CAV	2003	DBLP DOI BibTeX RDF
1	Patrice Godefroid, Radha Jagadeesan	On the Expressiveness of 3-Valued Models.	VMCAI	2003	DBLP DOI 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	Michael von der Beeck	A structured operational semantics for UML-statecharts.	Software and System Modeling	2002	DBLP DOI BibTeX RDF	Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
1	Kousha Etessami	A Hierarchy of Polynomial-Time Computable Simulations for Automata.	CONCUR	2002	DBLP DOI BibTeX RDF
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	Daniel C. DuVarney, S. Purushothaman Iyer	C Wolf - A Toolset for Extracting Models from C Programs.	FORTE	2002	DBLP DOI BibTeX RDF	Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs
1	Karl Erich Wolff	Interpretation of Automata in Temporal Concept Analysis.	ICCS	2002	DBLP DOI BibTeX RDF
1	H. Peter Gumm, Tobias Schröder	Monoid-labeled transition systems.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	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
1	Michael von der Beeck	Formalization of UML-Statecharts.	UML	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	Gian Luca Cattani, Peter Sewell	Models for Name-Passing Processes: Interleaving and Causal.	LICS	2000	DBLP DOI BibTeX RDF
1	C. R. Ramakrishnan	Verification Using Tabled Logic Programming.	CONCUR	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	Thomas A. Henzinger, Sriram K. Rajamani	Fair Bisimulation.	TACAS	2000	DBLP DOI BibTeX RDF
1	Eric Petitjean, Hacène Fouchal	A Realistic Architecture for Timed Testing.	ICECCS	1999	DBLP DOI BibTeX RDF	Real-Time Systems, Testing, Fault Model, Timed Automata, Labeled Transition Systems, Protocol Engineering
1	Glenn Bruns, Patrice Godefroid	Model Checking Partial State Spaces with 3-Valued Temporal Logics.	CAV	1999	DBLP DOI BibTeX RDF
1	Jun Bi, Jianping Wu, X. Chen	A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2.	ICCCN	1998	DBLP DOI BibTeX RDF	Concurrent TTCN, CEBE, Internet, Distributed Systems, Formal Methods, Computer Networks, Test Generation, Routing Protocol, Labeled Transition Systems, OSPF, Protocol Testing
1	Sanguthevar Rajasekaran, Insup Lee	Parallel Algorithms for Relational Coarsest Partition Problems.	IEEE Trans. Parallel Distrib. Syst.	1998	DBLP DOI BibTeX RDF	Bisimulation checking, coarsest partition problems, analysis of concurrent systems, parallel algorithms, labeled transition systems
1	Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci	A Symbolic Model Checker for ACTL.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Joseph Sifakis	A General Framework for the Composition of Timed Systems Extended Abstract.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani	Fair Simulation.	CONCUR	1997	DBLP DOI BibTeX RDF
1	Y. S. Ramakrishna, Scott A. Smolka	Partial-Order Reduction in the Weak Modal Mu-Calculus.	CONCUR	1997	DBLP DOI BibTeX RDF
1	Shing-Chi Cheung, Jeff Kramer	Context Constraints for Compositional Reachability Analysis.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	compositional techniques, context constraints, distributed systems, concurrency, static analysis, validation, reachability analysis, labeled transition systems, state space reduction