Search results for "Transition systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan	Opacity generalised to transition systems.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Non-deducibility, Observable behaviour, Petri nets, Anonymity, Abstract interpretation, Labelled transition systems, Opacity
3	Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel	Deriving event-based transition systems from goal-oriented requirements models.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Requirements animation, Requirements analysis, Labelled transition systems, Goal-oriented requirements engineering, Method integration
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	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
3	Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil	A Temporal Logic for Input Output Symbolic Transition Systems.	APSEC	2005	DBLP DOI BibTeX RDF	input output symbolic transition systems, strong bisimulation, temporal logic, refinement, adequacy
3	Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan	Opacity Generalised to Transition Systems.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF	non-deducibility, non-inference, observable behaviour, Petri nets, anonymity, labelled transition systems, opacity
3	Frank van Ham, Huub van de Wetering, Jarke J. van Wijk	Interactive Visualization of State Transition Systems.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	Graph visualization, transition systems, state spaces, cone trees
3	Zhiming Liu, Xiaoshan Li, Jifeng He	Using Transition Systems to Unify UML Models.	ICFEM	2002	DBLP DOI BibTeX RDF	UML, Object-orientation, Conceptual model, Transition systems, Use-case model
3	Katerina Korenblat, Orna Grumberg, Shmuel Katz	Translations between Textual Transition Systems and Petri Nets.	IFM	2002	DBLP DOI BibTeX RDF	textual transition systems, structure and semantics preservation, Petri nets, model translations
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*
3	Thomas A. Henzinger, Zohar Manna, Amir Pnueli	Timed Transition Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	real time, concurrency, Transition systems
3	Simon S. Lam, A. Udaya Shankar	A Relational Notation for State Transition Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	relational notation, specifying state transition systems, refinement relations, formal specification, protocols, composition, alternating-bit protocol
2	Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema	Order-Independence of Vector-Based Transition Systems.	ACSD	2010	DBLP DOI BibTeX RDF	Vector-based transition systems, Moore machines, Order independence, Model checking, Partial order reduction
2	Kerstin Bauer, Klaus Schneider	From synchronous programs to symbolic representations of hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	symbolic representation of transition systems, hybrid systems, synchronous languages
2	Eike Best, Philippe Darondeau	A decomposition theorem for finite persistent transition systems.	Acta Inf.	2009	DBLP DOI BibTeX RDF
2	Jean Fanchon, Rémi Morin	Pomset Languages of Finite Step Transition Systems.	Petri Nets	2009	DBLP DOI BibTeX RDF
2	Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink	Rate-Based Transition Systems for Stochastic Process Calculi.	ICALP	2009	DBLP DOI BibTeX RDF
2	Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba	Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.	ICTAC	2009	DBLP DOI BibTeX RDF
2	Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel	A Sound Observational Semantics for Modal Transition Systems.	ICTAC	2009	DBLP DOI BibTeX RDF
2	Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi	A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Service composition, symbolic execution, test-case generation, orchestration, transition systems, WS-BPEL, formal testing
2	Hayssam Soueidan, Grégoire Sutre, Macha Nikolski	Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models.	CMSB	2009	DBLP DOI BibTeX RDF
2	Bartek Klin	Structural Operational Semantics for Weighted Transition Systems.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Ou Wei, Arie Gurfinkel, Marsha Chechik	Mixed Transition Systems Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
2	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
2	Nicolas Rapin	Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.	TAP	2009	DBLP DOI BibTeX RDF	Input Output Symbolic Transition Systems, Verification, Symbolic Execution, Linear Temporal Logic
2	Leo Freitas, Jim Woodcock	FDR Explorer.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR
2	Bas Ploeger, Carst Tankink	Improving an interactive visualization of transition systems.	SOFTVIS	2008	DBLP DOI BibTeX RDF	graph drawing, 3D visualization, transition systems, cone trees
2	Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg	Transformations in Reconfigurable Place/Transition Systems.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
2	Jan Tretmans	Model Based Testing with Labelled Transition Systems.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
2	Michel Sintzoff	Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems.	MPC	2008	DBLP DOI BibTeX RDF
2	Dario Fischbein, Sebastián Uchitel	On correct and complete strong merging of partial behaviour models.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	partial behaviour models, merge, elaboration, modal transition systems
2	Paolo Greci, Fabio Martinelli, Ilaria Matteucci	A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application.	ISoLA	2008	DBLP DOI BibTeX RDF	Contract-policy matching, symbolic transition systems, mobile application, simulation relation
2	Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees M. van Hee	Model Driven Testing Based on Test History.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	Petri nets, software testing, transition systems, stopping criterion
2	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina	Parametric probabilistic transition systems for system design and analysis.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Probabilistic non-repudiation protocol, Reachability, Parameters, Discrete-time Markov chains
2	Rohit Chadha, Mahesh Viswanathan	Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.	CONCUR	2007	DBLP DOI BibTeX RDF
2	Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel	Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.	ICATPN	2007	DBLP DOI BibTeX RDF	integration of net theory and graph transformations, parallel and sequential independence of net transformations and token firing
2	Harald Fecher, Immo Grabe	Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.	FSEN	2007	DBLP DOI BibTeX RDF
2	Frédéric Herbreteau, Grégoire Sutre, The Quang Tran	Unfolding Concurrent Well-Structured Transition Systems.	TACAS	2007	DBLP DOI BibTeX RDF
2	Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel	MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.	ETX	2007	DBLP DOI BibTeX RDF	FLTL, synthesis, scenarios, Eclipse, MTS
2	Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin	Comparing the Expressive Power of Well-Structured Transition Systems.	CSL	2007	DBLP DOI BibTeX RDF	well-structured systems, language theory, Expressiveness
2	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
2	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
2	Lihua Duan, Jessica Chen	A Formal Approach to Website Maintenance.	HASE	2007	DBLP DOI BibTeX RDF	reverse engineering, formal verification, labelled transition systems, tree automata
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	Antoine Rollet, Fares Saad-Khorchef	A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis.	SERA	2007	DBLP DOI BibTeX RDF	Robustness relations, Timed Automata, Labelled Transition Systems, Robustness Testing
2	Maciej Koutny, Marta Pietkiewicz-Koutny	Synthesis of Elementary Net Systems with Context Arcs and Localities.	ICATPN	2007	DBLP DOI BibTeX RDF	theory of concurrency, net synthesis, step sequence semantics, inhibitor arcs, activator arcs, context arcs, Petri nets, localities, transition systems, structure and behaviour of nets, elementary net systems, theory of regions
2	Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel	A Distributed Computational Model for Mobile Agents.	PRIMA	2007	DBLP DOI BibTeX RDF	distributed algorithms, mobile agent, computations model, transition systems
2	Maciej Koutny, Marta Pietkiewicz-Koutny	Transition Systems of Elementary Net Systems with Localities.	CONCUR	2006	DBLP DOI BibTeX RDF
2	Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente	Heuristic Search for the Analysis of Graph Transition Systems.	ICGT	2006	DBLP DOI BibTeX RDF
2	Miguel Valero Espada, Jaco van de Pol	Accelerated Modal Abstractions of Labelled Transition Systems.	AMAST	2006	DBLP DOI BibTeX RDF
2	Ernst-Erich Doberkat	Hyperfinite Approximations to Labeled Markov Transition Systems.	AMAST	2006	DBLP DOI BibTeX RDF
2	Grant Malcolm	Sheaves and Structures of Transition Systems.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
2	Christophe Damas, Bernard Lambeau, Axel van Lamsweerde	Scenarios, goals, and state machines: a win-win partnership for model synthesis.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	scenario-based elicitation, synthesis of behavior models, incremental learning, labelled transition systems, message sequence charts, goal-oriented requirements engineering, analysis tools, scenario generation
2	Jules Desharnais, Bernhard Möller, Georg Struth	Kleene algebra with domain.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Idempotent semiring, codomain, image and preimage operation, program development and analysis, domain, Kleene algebra, equational reasoning, state transition systems
2	Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Test Purpose Definition.	TestCom	2006	DBLP DOI BibTeX RDF	Input/Output Symbolic Transition Systems, Conformance testing, Symbolic Execution, Coverage Criteria, Test Purposes
2	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Timed Use Case Maps.	SAM	2006	DBLP DOI BibTeX RDF	timing aspects, timed UCM, Clocked Transition Systems, performance, User Requirements Notation, Use Case Maps
2	Franck van Breugel	A Behavioural Pseudometric for Metric Labelled Transition Systems.	CONCUR	2005	DBLP DOI BibTeX RDF
2	A. Johannes Pretorius, Jarke J. van Wijk	Multidimensional Visualization of Transition Systems.	IV	2005	DBLP DOI BibTeX RDF
2	Marcello M. Bonsangue, Alexander Kurz	Duality for Logics of Transition Systems.	FoSSaCS	2005	DBLP DOI BibTeX RDF
2	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
2	Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer	A Java Implementation of a Component Model with Explicit Symbolic Protocols.	Software Composition	2005	DBLP DOI BibTeX RDF	Behavioural IDL, Explicit Protocols, Symbolic Transition Systems, Java, Controllers, Channels, CBSE
2	Michael Huth	Refinement is complete for implementations.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Implementation relation, Model checking, Refinement, Modal transition systems
2	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina	Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security.	SEFM	2004	DBLP DOI BibTeX RDF
2	E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov	Model Checking mu-Calculus in Well-Structured Transition Systems.	TIME	2004	DBLP DOI BibTeX RDF
2	Luca de Alfaro, Marco Faella, Mariëlle Stoelinga	Linear and Branching Metrics for Quantitative Transition Systems.	ICALP	2004	DBLP DOI BibTeX RDF
2		Part II. Testing of Labeled Transition Systems.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
2	Stefan Wöhrle, Wolfgang Thomas	Model Checking Synchronized Products of Infinite Transition Systems.	LICS	2004	DBLP DOI BibTeX RDF
2	Michael Huth	Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space.	LICS	2004	DBLP DOI BibTeX RDF
2	Olivier Maréchal, Pascal Poizat, Jean-Claude Royer	Checking Asynchronously Communicating Components Using Symbolic Transition Systems.	CoopIS/DOA/ODBASE	2004	DBLP DOI BibTeX RDF
2	Jessica Chen, Xiaoshan Zhao	Formal Models for Web Navigations with Session Control and Browser Cache.	ICFEM	2004	DBLP DOI BibTeX RDF	Model Checking, Operational Semantics, Web Caching, Specification-based Testing, Labelling Transition Systems, Web Navigation
2	Neelesh Korade, S. Arun-Kumar	A Logical Characterization of Efficiency Preorders.	ICTAC	2004	DBLP DOI BibTeX RDF	efficiency preorders, Hennessy-Milner Logic, Concurrency, bisimulation, transition systems, process efficiency
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	Ana Sokolova, Erik P. de Vink	Probabilistic Automata: System Types, Parallel Composition and Comparison.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF	probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition
2	Alexandre Petrenko, Nina Yevtushenko, Jiale Huo	Testing Transition Systems with Input and Output Testers.	TestCom	2003	DBLP DOI BibTeX RDF	input/output transition system, test generation, fault model, conformance testing
2	Julien Musset, Michaël Rusinowitch	Computing Meta-transitions for Linear Transition Systems with Polynomials.	FME	2003	DBLP DOI BibTeX RDF	Infinite systems, acceleration rules, model-checking, complex systems
2	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Behaviour model elaboration using partial labelled transition systems.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	model elaboration, partial LTS, synthesis, scenarios
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	Jessica Chen	Using Formal Methods to Serialize Synchronization Events.	ICFEM	2003	DBLP DOI BibTeX RDF	Reproducible Testing, Formal Engineering Method, Nondeterminism, Labelled Transition Systems
2	Steve Reeves, David Streader	Comparison of Data and Process Refinement.	ICFEM	2003	DBLP DOI BibTeX RDF	process refinement, sub-typing, Z, labelled transition systems, data refinement
2	Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev	Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions.	IEEE Trans. on CAD of Integrated Circuits and Systems	2002	DBLP DOI BibTeX RDF
2	Radu Mateescu	Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.	TACAS	2002	DBLP DOI BibTeX RDF
2	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
2	Martin Otto	Modal and Guarded Characterisation Theorems over Finite Transition Systems.	LICS	2002	DBLP DOI BibTeX RDF
2	Michael Huth	Model Checking Modal Transition Systems Using Kripke Structures.	VMCAI	2002	DBLP DOI BibTeX RDF
2	Jirí Srba	Note on the Tableau Technique for Commutative Transition Systems.	FoSSaCS	2002	DBLP DOI BibTeX RDF
2	Gian Luigi Ferrari, Ugo Montanari, Marco Pistore	Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation.	FoSSaCS	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	Formal Modelling of Java GUI Event Handling.	ICFEM	2002	DBLP DOI BibTeX RDF	Java Swing and AWT, Model Checking, Concurrency, Nondeterminism, Labelled Transition Systems
2	Manfred Droste, R. M. Shortt	From Petri Nets to Automata with Concurrency.	Applied Categorical Structures	2002	DBLP DOI BibTeX RDF	automaton with concurrency relations, place/transition systems, conditional coproduct, coreflection, Petri net, adjunction
2	Franck van Breugel, James Worrell	An Algorithm for Quantitative Verification of Probabilistic Transition Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
2	Jirí Srba	On the Power of Labels in Transition Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
2	Manfred Droste, R. M. Shortt	Continuous Petri Nets and Transition Systems.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
2	Marta Pietkiewicz-Koutny	Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.	ACSD	2001	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis, theory of regions
2	Franck van Breugel, James Worrell	Towards Quantitative Verification of Probabilistic Transition Systems.	ICALP	2001	DBLP DOI BibTeX RDF
2	Michael Huth, Radha Jagadeesan, David A. Schmidt	Modal Transition Systems: A Foundation for Three-Valued Program Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
2	Christine Choppy, Pascal Poizat, Jean-Claude Royer	Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.	FASE	2001	DBLP DOI BibTeX RDF	mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation
2	Oscar H. Ibarra, Tevfik Bultan, Jianwen Su	Reachability Analysis for Some Models of Infinite-State Transition Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
2	Pablo Gruer, Vincent Hilaire, Abder Koukam	Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.	FASE	2000	DBLP DOI BibTeX RDF
2	Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic	A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.	ISORC	2000	DBLP DOI BibTeX RDF
2	Natarajan Shankar	Symbolic Analysis of Transition Systems.	Abstract State Machines	2000	DBLP DOI BibTeX RDF