Search results for "LTS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
125	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
122	Peter J. Rousseeuw, Katrien van Driessen	Computing LTS Regression for Large Data Sets.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	breakdown value, regression, outlier detection, robust estimation, linear model
97	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
83	Henri Hansen, Antti Valmari	Operational Determinism and Fast Algorithms.	CONCUR	2006	DBLP DOI BibTeX RDF
82	Byeongchang Kim 0001, Gary Geunbae Lee, Jong-Hyeok Lee	Morpheme-based grapheme to phoneme conversion using phonetic patterns and morphophonemic connectivity information.	ACM Trans. Asian Lang. Inf. Process.	2002	DBLP DOI BibTeX RDF	CCV LTS rule, grapheme-to-phoneme conversion, morphophonemic modeling, phonetic pattern dictionary, text-to-speech system
80	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
69	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
56	Zhong-sheng Qian, Huaikou Miao, Tao He 0004	An Approach to Modeling Hypermedia Web Applications.	GCC	2007	DBLP DOI BibTeX RDF
54	Jianxiong Pang, Lynne Blair	An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	auto adaptive systems, feature/aspect interaction detection and resolution, run time manager, LTS (Labelled Transition Systems), model checking, aspect-oriented programming, reflection
53	Gerald Lüttgen, Walter Vogler	Safe Reasoning with Logic LTS.	SOFSEM	2009	DBLP DOI BibTeX RDF
53	Andrzej Rusiecki	Robust LTS Backpropagation Learning Algorithm.	IWANN	2007	DBLP DOI BibTeX RDF
53	Michael Furman, Yossi Matias, Ely Porat	LTS: The List-Traversal Synopses System.	NGITS	2006	DBLP DOI BibTeX RDF	program rollback, list traversal, pebbling, hash chain, synopsis
50	Antti Valmari	On constructibility and unconstructibility of LTS operators from other LTS operators.	Acta Informatica	2015	DBLP DOI BibTeX RDF
42	Jia-Li You 0001, Yining Chen, Frank K. Soong, Jin-Lin Wang 0001	Improving letter-to-sound conversion performance with automatically generated new words.	ICASSP	2008	DBLP DOI BibTeX RDF
42	Julian Rathke, Pawel Sobocinski 0001	Deriving Structural Labelled Transitions for Mobile Ambients.	CONCUR	2008	DBLP DOI BibTeX RDF
42	Filippo Bonchi, Barbara König 0001, Ugo Montanari	Saturated Semantics for Reactive Systems.	LICS	2006	DBLP DOI BibTeX RDF
42	Antti Puhakka	Using Fairness Constraints in Process-Algebraic Verification.	ICTAC	2005	DBLP DOI BibTeX RDF
42	Hansjoerg von Brevern, Kateryna Synytsya	Systemic-Structural Theory of Activity: A Model for Holistic Learning Technology Systems.	ICALT	2005	DBLP DOI BibTeX RDF
42	Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Exploiting Symmetries for Testing Equivalence in the Spi Calculus.	ATVA	2004	DBLP DOI BibTeX RDF
42	Adrian Kosowski	An Efficient Algorithm for the Longest Tandem Scattered Subsequence Problem.	SPIRE	2004	DBLP DOI BibTeX RDF
42	Jan Zelinka, Ludek Müller	Automatic General Letter-to-Sound Rules Generation for German Text-to-Speech System.	TSD	2004	DBLP DOI BibTeX RDF
42	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
42	Hanzi Wang, David Suter	LTSD: a highly efficient symmetry-based robust estimator.	ICARCV	2002	DBLP DOI BibTeX RDF
42	Didier Bert, Francis Cave	Construction of Finite Labelled Transistion Systems from B Abstract Systems.	IFM	2000	DBLP DOI BibTeX RDF
42	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
42	James J. Leifer, Robin Milner	Deriving Bisimulation Congruences for Reactive Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
42	Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori	Automatic modification of a protocol specification based on changes of a service specification.	ICPADS	1996	DBLP DOI BibTeX RDF	verification, formal specification, protocols, validation, Labelled Transition System, service specification, protocol specification
41	Hyuntae Cho, Yeonsu Jung, Hoon Choi, Hyunsung Jang, Sanghyun Son 0001, Yunju Baek	Precise location tracking system based on time difference of arrival over LR-WPAN.	MELT	2008	DBLP DOI BibTeX RDF	LTS, time difference of arrival, ieee 802.15.4, location tracking
40	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS (1)	2007	DBLP DOI BibTeX RDF	Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation
40	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
39	Emanuela Gadelha Cartaxo, Wilkerson de L. Andrade, Francisco G. Oliveira Neto, Patrícia D. L. Machado	LTS-BT: a tool to generate and select functional test cases for embedded systems.	SAC	2008	DBLP DOI BibTeX RDF	generation, selection, model-based testing
28	Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel	A Sound Observational Semantics for Modal Transition Systems.	ICTAC	2009	DBLP DOI BibTeX RDF
28	Yining Chen, Peng Liu 0001, Jia-Li You 0001, Frank K. Soong	Discriminative training for improving letter-to-sound conversion performance.	ICASSP	2008	DBLP DOI BibTeX RDF
28	Narjess Touzani-Chebaane, Maha Khemaja, Rafik Braham	Pedagogical Scenarios Generation within LD Frameworks.	ICALT	2008	DBLP DOI BibTeX RDF
28	Junwei Du, Zhongwei Xu, Meng Mei	Verification of Scenario-Based Safety Requirement Specification on Components Composition.	CSSE (2)	2008	DBLP DOI BibTeX RDF
28	Amit Banerjee, Sushil J. Louis	A Genetic Algorithm Implementation of the Fuzzy Least Trimmed Squares Clustering.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
28	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
28	Filippo Bonchi, Ugo Montanari	Coalgebraic Models for Reactive Systems.	CONCUR	2007	DBLP DOI BibTeX RDF
28	Yu David Liu, Scott F. Smith 0001	A formal framework for component deployment.	OOPSLA	2006	DBLP DOI BibTeX RDF	component, deployment, version
28	Xiuguo Zhang, Weishi Zhang	A Cooperative Service Composition Language and Its Formal Semantics.	PDCAT	2006	DBLP DOI BibTeX RDF
28	Levente Hajder, Dmitry Chetverikov, István Vajk	Robust Structure from Motion under Weak Perspective.	3DPVT	2004	DBLP DOI BibTeX RDF
28	Monica Besana, Michele Borgatti	Application Mapping to a Hardware Platform through Automated Code Generation Targeting a RTOS: A Design Case Study.	DATE	2003	DBLP DOI BibTeX RDF
28	Ole Høgh Jensen, Robin Milner	Bigraphs and transitions.	POPL	2003	DBLP DOI BibTeX RDF	bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity
28	Antonia Bertolino, Paola Inverardi, Henry Muccini	Formal Methods in Testing Software Architectures.	SFM	2003	DBLP DOI BibTeX RDF
28	Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol	µCRL: A Toolset for Analysing Algebraic Specifications.	CAV	2001	DBLP DOI BibTeX RDF
28	Ming Ye, Robert M. Haralick	Optical Flow from a Least-Trimmed Squares Based Adaptive Approach.	ICPR	2000	DBLP DOI BibTeX RDF
28	Jean-Pierre Krimm, Laurent Mounier	Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems.	TACAS	2000	DBLP DOI BibTeX RDF
28	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
28	Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini	Equivalences of Statecharts.	CONCUR	1996	DBLP DOI BibTeX RDF
28	Andrew C. Uselton, Scott A. Smolka	A Compositional Semantics for Statecharts using Labeled Transition Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
28	Antti Valmari, Matthew Clegg	Reduced Labelled Transition Systems Save Verification Effort.	CONCUR	1991	DBLP DOI BibTeX RDF
27	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation for Parametric Polymorphism.	LICS	2008	DBLP DOI BibTeX RDF	LTS, bisimulation, parametric polymorphism, typed lambda calculus
27	Jun Zhou, Kuo-Chung Tai	Deadlock Analysis of Synchronous Message-Passing Programs.	PDSE	1999	DBLP DOI BibTeX RDF	LTS, Deadlock, CCS, Observational Equivalence
25	Zhen Li, Zining Cao, Chao Xing	Performance modeling and quantitative evaluation for cyber-physical systems based on LTS.	J. Supercomput.	2024	DBLP DOI BibTeX RDF
25	Andrea Zappatore, Gianluca De Marzi, Davide Uglietti	Impact of Hysteresis Losses in Hybrid (HTS-LTS) Coils for Fusion Applications.	IEEE Access	2023	DBLP DOI BibTeX RDF
25	Lukás Holík, Jirí Simácek	Optimizing an LTS-Simulation Algorithm (Technical Report).	CoRR	2023	DBLP DOI BibTeX RDF
25		A Transient Electrical-Thermal Co-Simulation Method with LTS for Multiscale Structures.	CoRR	2023	DBLP DOI BibTeX RDF
25	Thi-Kim-Lien Nguyen, Huu Ngoan Nguyen, Van Dan Dinh, Quoc Ngu Nguyen, Van Hung Le	An Application of the Super-SBM MAX and LTS(A, A, A) Models to Analyze the Business Performance of Hydropower Suppliers in Vietnam.	Axioms	2022	DBLP DOI BibTeX RDF
25	Dodo Khan, Low Tang Jung, Manzoor Ahmed Hashmani, Moke Kwai Cheong	Empirical Performance Analysis of Hyperledger LTS for Small and Medium Enterprises.	Sensors	2022	DBLP DOI BibTeX RDF
25	Sharifah Hafizah Syed Ariffin, Jee Chun Hian, Nur Haliza Abdul Wahab	Indoor Location Based Tracking using Euclidean Distance Estimation (LTS-ED).	ICTC	2022	DBLP DOI BibTeX RDF
25	Chia-Nan Wang, Quynh-Ngoc Hoang, Thi-Kim-Lien Nguyen	Integrating the EBM Model and LTS(A, A, A) Model to Evaluate the Efficiency in the Supply Chain of Packaging Industry in Vietnam.	Axioms	2021	DBLP DOI BibTeX RDF
25	Ludovica Delpopolo Carciopolo, Matteo Cusini, Luca Formaggia, Hadi Hajibeygi	Adaptive multilevel space-time-stepping scheme for transport in heterogeneous porous media (ADM-LTS).	J. Comput. Phys. X	2020	DBLP DOI BibTeX RDF
25	Uli Schlachter, Harro Wimmel	Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete.	CoRR	2020	DBLP BibTeX RDF
25	Shirin Sohrabi, Octavian Udrea, Anton Riabov, Oktie Hassanzadeh	Interactive Planning-Based Hypothesis Generation with LTS+ +.	Knowledge Engineering Tools and Techniques for AI Planning	2020	DBLP DOI BibTeX RDF
25	Gema Zamora Fernández, Vera Ferreira, Pedro Manha	Poio Text Prediction: Lessons on the Development and Sustainability of LTs for Endangered Languages.	SLTU-CCURL@LREC	2020	DBLP BibTeX RDF
25	Saurabh Mishra, Debanjan Sadhya	LiARX: A Lightweight Cipher Based on the LTS Design Strategy of ARX.	ICISS	2020	DBLP DOI BibTeX RDF
25	Abdesselem Dakhli, Maher Jbeli, Chokri Ben Amar	Functions Approximation using Multi Library Wavelets and Least Trimmed Square (LTS) Method.	ICEIS (1)	2020	DBLP DOI BibTeX RDF
25	Uli Schlachter, Harro Wimmel	Relabelling LTS for Petri Net Synthesis via Solving Separation Problems.	Trans. Petri Nets Other Model. Concurr.	2019	DBLP DOI BibTeX RDF
25	Han Peng, Chenglie Du, Lei Rao, Zhouzhou Liu	LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns.	J. Inf. Process. Syst.	2019	DBLP BibTeX RDF
25	Ahmed Momen, Brian K. Johnson, Yacine Chakhchoukh	Parameters Estimation for Short Line Using the Least Trimmed Squares (LTS).	ISGT	2019	DBLP DOI BibTeX RDF
25	Pietro M. Ferreira, Nathan De Carvalho, Geoffroy Klisnick, Aziz Benlarbi-Delaï	Energy efficient fJ/spike LTS e-Neuron using 55-nm node.	SBCCI	2019	DBLP DOI BibTeX RDF
25	Fatma Zehra Dogru, Olçay Arslan	Robust mixture regression modeling using the least trimmed squares (LTS)-estimation method.	Commun. Stat. Simul. Comput.	2018	DBLP DOI BibTeX RDF
25	Han Peng, Chenglie Du, Lei Rao, Fu Chen	A LTS Approach to Control in Event-B.	Sci. Program.	2018	DBLP DOI BibTeX RDF
25	Gleb Beliakov, Marek Gagolewski, Simon James	Least Median of Squares (LMS) and Least Trimmed Squares (LTS) Fitting for the Weighted Arithmetic Mean.	IPMU (2)	2018	DBLP DOI BibTeX RDF
25	Mahdi Roozbeh, Nor Aishah Hamzah	Feasible robust estimator in restricted semiparametric regression models based on the LTS approach.	Commun. Stat. Simul. Comput.	2017	DBLP DOI BibTeX RDF
25	Fernando López Pelayo, Fernando Cuartero Gómez, Diego Cazorla, Pedro Valero-Lara, Mercedes G. Merayo	Heuristics for ROSA's LTS Searching.	IWANN (2)	2017	DBLP DOI BibTeX RDF
25	Tathagata Chakraborti, Kartik Talamadupula, Kshitij P. Fadnis, Murray Campbell, Subbarao Kambhampati	UbuntuWorld 1.0 LTS - A Platform for Automated Problem Solving & Troubleshooting in the Ubuntu OS.	AAAI	2017	DBLP DOI BibTeX RDF
25	Jin Wang, Ronghai Qu, Yuejin Tang, Yingzhen Liu, Bin Zhang, Jie He, Zhe Zhu, Haiyang Fang, Lushun Su	Design of a Superconducting Synchronous Generator With LTS Field Windings for 12 MW Offshore Direct-Drive Wind Turbines.	IEEE Trans. Ind. Electron.	2016	DBLP DOI BibTeX RDF
25	David M. Mount, Nathan S. Netanyahu, Christine D. Piatko, Angela Y. Wu, Ruth Silverman	A practical approximation algorithm for the LTS estimator.	Comput. Stat. Data Anal.	2016	DBLP DOI BibTeX RDF
25	Tathagata Chakraborti, Kartik Talamadupula, Kshitij P. Fadnis, Murray Campbell, Subbarao Kambhampati	UbuntuWorld 1.0 LTS - A Platform for Automated Problem Solving & Troubleshooting in the Ubuntu OS.	CoRR	2016	DBLP BibTeX RDF
25	Abdesselem Dakhli, Wajdi Bellil, Chokri Ben Amar	Wavelet Neural Network Initialization Using LTS for DNA Sequence Classification.	ACIVS	2016	DBLP DOI BibTeX RDF
25	Shirin Sohrabi, Octavian Udrea, Anton V. Riabov, Oktie Hassanzadeh	Interactive Planning-Based Hypothesis Generation with LTS++.	IJCAI	2016	DBLP BibTeX RDF
25	Sander de Putter, Anton Wijs	Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique.	FASE	2016	DBLP DOI BibTeX RDF
25	Yan Zhang 0012, Zhaohui Zhu, Jinjin Zhang	On recursive operations over logic LTS.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
25	Alceste Scalas, Massimo Bartoletti	The LTS WorkBench.	ICE	2015	DBLP DOI BibTeX RDF
25	Chen-Chia Chuang, Guan-Yi Hu, Jin-Tsong Jeng, Heng Wei Lee	LTS-SVM learning mechanism with wavelet for modeling of nonlinear systems with noise and outliers.	ICCA	2014	DBLP DOI BibTeX RDF
25	Yan Zhang 0012, Zhaohui Zhu, Jinjin Zhang	On Recursive Operations Over Logic LTS	CoRR	2013	DBLP BibTeX RDF
25	Francesca Torti, Domenico Perrotta, Anthony C. Atkinson, Marco Riani	Benchmark testing of algorithms for very robust regression: FS, LMS and LTS.	Comput. Stat. Data Anal.	2012	DBLP DOI BibTeX RDF
25	M. Hakan Satman	A Genetic Algorithm Based Modification on the LTS Algorithm for Large Data Sets.	Commun. Stat. Simul. Comput.	2012	DBLP DOI BibTeX RDF
25	Jasurbek Khodjaev, Soojung Hur, Yongwan Park	Low complexity LTS-based NLOS error mitigation for localization.	Ann. des Télécommunications	2012	DBLP DOI BibTeX RDF
25	Roberto Bruni, Anne Kersten Kauer	LTS Semantics for Compensation-Based Processes.	TGC	2012	DBLP DOI BibTeX RDF
25	Teng Wang, Xingyu Chen, Xiaodong Zhao, Zheng Wang	A fault detection method for wireless sensor networks based on improved LTS regression algorithm.	ICC	2012	DBLP DOI BibTeX RDF
25	Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari	A Modular LTS for Open Reactive Systems.	IFIP TCS	2012	DBLP DOI BibTeX RDF
25	Chunhua Yang 0002, Hai-Yang Wang	An Approach to Weaving Stateful Aspects using LTS.	J. Inf. Sci. Eng.	2011	DBLP BibTeX RDF
25	Gerald Lüttgen, Walter Vogler	Safe reasoning with Logic LTS.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
25	Itai Hayut, Erika E. Fanselow, Barry W. Connors, David Golomb	LTS and FS Inhibitory Interneurons, Short-Term Synaptic Plasticity, and Cortical Circuit Dynamics.	PLoS Comput. Biol.	2011	DBLP DOI BibTeX RDF
25	Ning Jin, Wei Wang 0010	LTS: Discriminative subgraph mining by learning from search history.	ICDE	2011	DBLP DOI BibTeX RDF
25	Xi-Hui Yan, Jian Wang 0022, Bai-gen Cai, Wei ShangGuan	A novel automatic track identification algorithm based on LTS-Hausdorff distance.	ITSC	2011	DBLP DOI BibTeX RDF
25	Jennifer Lantair, Pawel Sobocinski 0001	WiCcA : LTS Generation Tool for Wire Calculus.	CALCO	2011	DBLP DOI BibTeX RDF
25	Giacoma Valentina Monreale	LTS Semantics for Process Calculi from Their Graphical Encodings.	ICGT	2010	DBLP DOI BibTeX RDF