Search results for "LTSs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Radu Mateescu 0001, Emilie Oudot	Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.	SPIN	2008	DBLP DOI BibTeX RDF
72	Daniel Sinnig, Patrice Chalin, Ferhat Khendek	LTS semantics for use case models.	SAC	2009	DBLP DOI BibTeX RDF	LTSs, semantics, requirements, use cases
71	Radu Mateescu 0001	Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.	TACAS	2002	DBLP DOI BibTeX RDF
53	Radu Mateescu 0001, Emilie Oudot	Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems.	MEMOCODE	2008	DBLP DOI BibTeX RDF
53	Miguel Valero Espada, Jaco van de Pol	Accelerated Modal Abstractions of Labelled Transition Systems.	AMAST	2006	DBLP DOI BibTeX RDF
53	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
36	Guoyan Li, Liyu He, Yulin Ren, Xiong Li, Jingbin Zhang, Runjun Liu	Compound Fault Diagnosis of Planetary Gearbox Based on Improved LTSS-BoW Model and Capsule Network.	Sensors	2024	DBLP DOI BibTeX RDF
36	Xuekai Du, ZhiHui Lv 0002, Qiang Duan, Jie Wu 0003, Chengrong Wu	LTSS: Load-Adaptive Traffic Steering and Forwarding for Security Services in Multi-Tenant Cloud Datacenters.	J. Comput. Sci. Technol.	2017	DBLP DOI BibTeX RDF
36	Antti Valmari	All Linear-Time Congruences for Finite LTSs and Familiar Operators.	ACSD	2012	DBLP DOI BibTeX RDF
36	Antti Valmari	All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs.	CONCUR	2012	DBLP DOI BibTeX RDF
36	Silvia Crafa, Francesco Ranzato	A Spectrum of Behavioral Relations over LTSs on Probability Distributions.	CONCUR	2011	DBLP DOI BibTeX RDF
36	Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic	LTSs for translation validation of (multi-clocked) SIGNAL specifications.	MEMOCODE	2010	DBLP DOI BibTeX RDF
36	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari	Saturated LTSs for Adhesive Rewriting Systems.	ICGT	2010	DBLP DOI BibTeX RDF
36	Radu Mateescu 0001, Damien Thivolle	A Model Checking Language for Concurrent Value-Passing Systems.	FM	2008	DBLP DOI BibTeX RDF
36	Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar	Composing Web Services through Automatic Reformulation of Service Specifications.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	Web Services, Composition, Labeled Transition Systems, Reformulation
36	Antti Puhakka	Using Fairness Constraints in Process-Algebraic Verification.	ICTAC	2005	DBLP DOI BibTeX RDF
36	Jim Woodcock 0001, Ana Cavalcanti 0001, Leonardo Freitas	Operational Semantics for Model Checking Circus.	FM	2005	DBLP DOI BibTeX RDF
36	Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu 0001	BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.	TACAS	2005	DBLP DOI BibTeX RDF
36	Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski 0001	Deriving Weak Bisimulation Congruences from Reduction Systems.	CONCUR	2005	DBLP DOI BibTeX RDF
36	A. W. Roscoe 0001	Seeing Beyond Divergence.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
36	Teruyoshi Zenmyo, Takashi Kobayashi 0001, Motoshi Saeki	Automated Support for Framework Selection and Customization.	ASE	2004	DBLP DOI BibTeX RDF
36	Susumu Kiyamura, Yoshiaki Takata, Hiroyuki Seki	Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition.	PPAM	2003	DBLP DOI BibTeX RDF
36	Juhana Helovuo, Antti Valmari	Checking for CFFD-Preorder with Tester Processes.	TACAS	2000	DBLP DOI BibTeX RDF
36	Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci	A Symbolic Model Checker for ACTL.	FM-Trends	1998	DBLP DOI BibTeX RDF
36	Ushio Yamamoto, Eun-Seok Lee 0001, Norio Shiratori	Similarity for reuse of specifications in communication software development.	ICNP	1995	DBLP DOI BibTeX RDF
36	Andrew C. Uselton, Scott A. Smolka	A Compositional Semantics for Statecharts using Labeled Transition Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
18	Puneet Bhateja	Grammar based asynchronous testing.	ISEC	2009	DBLP DOI BibTeX RDF	dynamic test behavior, static test behavior
18	Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi 0001	TAPAs: A Tool for the Analysis of Process Algebras.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	behavioural equivalences, concurrency, process algebras, modal logics, bisimulation, property verification
18	Nick Moffat, Michael Goldsmith, Bill Roscoe	A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.	ICFEM	2008	DBLP DOI BibTeX RDF
18	Julian Rathke, Pawel Sobocinski 0001	Deriving Structural Labelled Transitions for Mobile Ambients.	CONCUR	2008	DBLP DOI BibTeX RDF
18	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
18	Davide Grohmann, Marino Miculan	Reactive Systems over Directed Bigraphs.	CONCUR	2007	DBLP DOI BibTeX RDF
18	J. Christian Attiogbé, Pascal André, Gilles Ardourel	Checking Component Composability.	SC@ETAPS	2006	DBLP DOI BibTeX RDF	Behavioural Interface Description, Behavioural Verification, Components, Services, Composability
18	Henri Hansen, Antti Valmari	Operational Determinism and Fast Algorithms.	CONCUR	2006	DBLP DOI BibTeX RDF
18	Filippo Bonchi, Fabio Gadducci, Barbara König 0001	Process Bisimulation Via a Graphical Encoding.	ICGT	2006	DBLP DOI BibTeX RDF
18	Toni Jussila, Keijo Heljanko, Ilkka Niemelä	BMC via on-the-fly determinization.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Verification, Labeled transition system, Bounded model checking
18	Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara	Model-Based Testing Through a GUI.	FATES	2005	DBLP DOI BibTeX RDF
18	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
18	Lars Frantzen, Jan Tretmans, Tim A. C. Willemse	Test Generation Based on Symbolic Specifications.	FATES	2004	DBLP DOI BibTeX RDF
18	Ranko Lazic 0001, David Nowak	On a Semantic Definition of Data Independence .	TLCA	2003	DBLP DOI BibTeX RDF	nondeterminism, logical relations, Data independence, definability
18	James J. Leifer, Robin Milner	Deriving Bisimulation Congruences for Reactive Systems.	CONCUR	2000	DBLP DOI BibTeX RDF