Search results for "Finite-State Models"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Sukhamay Kundu	Modeling Complex Systems by A Set of Interacting Finite-State Models.	APSEC	2003	DBLP DOI BibTeX RDF	communication among finite-state models, design optimization, finite-state models
2	Alejandro Hector Toselli, Moisés Pastor, Alfons Juan, Enrique Vidal	Spontaneous Handwriting Text Recognition and Classification Using Finite-State Models.	IbPRIA	2005	DBLP DOI BibTeX RDF
2	Srinivas Bangalore, Giuseppe Riccardi	Stochastic Finite-State Models for Spoken Language Machine Translation.	Machine Translation	2002	DBLP DOI BibTeX RDF	stochastic finite-state transducers, spoken language dialog systems, speech-to-speech translation
2	James C. Corbett	Using shape analysis to reduce finite-state models of concurrent Java programs.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	Java, modeling, shape analysis, concurrent systems, state-space reductions, finite-state verification, model extraction
2	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng	Bandera: extracting finite-state models from Java source code.	ICSE	2000	DBLP DOI BibTeX RDF	Java, model checking, abstract interpretation, program verification, slicing, program specialization, model extraction
2	Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi	Test Selection Based on Finite State Models.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	partial W-method, full fault-detection power, interaction parameters, reset function, software engineering, protocols, program testing, conformance testing, conformance testing, determinism, test suites, protocol implementations, protocol testing, test architectures, finite state models
1	Taniya Mishra, Srinivas Bangalore	Finite-state models for speech-based search on mobile devices.	Natural Language Engineering	2011	DBLP DOI BibTeX RDF
1	Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu	Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.	ICST	2011	DBLP DOI BibTeX RDF
1	Raquel Justo, M. Inés Torres	Using Finite State Models for the Integration of Hierarchical LMs into ASR Systems.	MCPR	2011	DBLP DOI BibTeX RDF
1	Elias Ponvert, Jason Baldridge, Katrin Erk	Simple Unsupervised Grammar Induction from Raw Text with Cascaded Finite State Models.	ACL	2011	DBLP BibTeX RDF
1	Markus Lumpe, Indika Meedeniya, Lars Grunske	PSPWizard: machine-assisted definition of temporal logical properties with specification patterns.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Raquel Justo, Alicia Pérez, M. Inés Torres, Francisco Casacuberta	Hierarchical Finite-State Models for Speech Translation Using Categorization of Phrases.	CICLing	2010	DBLP DOI BibTeX RDF
1	Harold W. Thimbleby	Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models.	EICS	2009	DBLP DOI BibTeX RDF	discovery tools, model checking, interaction programming
1	David Lo, Leonardo Mariani, Mauro Pezzè	Automatic steering of behavioral model inference.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	mining automata, dynamic analysis, temporal properties
1	Samik Basu, Arka P. Ghosh, Ru He	Approximate Model Checking of PCTL Involving Unbounded Path Properties.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Neil Walkinshaw, Kirill Bogdanov	Inferring Finite-State Models with Temporal Constraints.	ASE	2008	DBLP DOI BibTeX RDF
1	Domenico Cantone, Salvatore Cristofaro, Simone Faro, Emanuele Giaquinta	Finite State Models for the Generation of Large Corpora of Natural Language Texts.	FSMNLP	2008	DBLP DOI BibTeX RDF
1	Mouad Ben Mamoun, Nihal Pekergin	Model Checking of Infinite State Space Markov Chains by Stochastic Bounds.	ASMTA	2008	DBLP DOI BibTeX RDF
1	Sicco Verwer, Mathijs de Weerdt, Cees Witteveen	Polynomial Distinguishability of Timed Automata.	ICGI	2008	DBLP DOI BibTeX RDF
1	Roland Groz, Keqin Li 0002, Alexandre Petrenko, Muzammil Shahbaz	Modular System Verification by Inference, Testing and Reachability Analysis.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Francisco Casacuberta, Enrique Vidal	Learning finite-state models for machine translation.	Machine Learning	2007	DBLP DOI BibTeX RDF	Stochastic finite-state transducers, Machine translation, Grammatical inference
1	Nazli Ikizler, David A. Forsyth	Searching Video for Complex Activities with Finite State Models.	CVPR	2007	DBLP DOI BibTeX RDF
1	Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio	FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.	ICTAC	2007	DBLP DOI BibTeX RDF	Formal Methods, Formal Verification, Temporal Logics, Experience, System Design, Production Systems, Finite-State Models
1	Björn Wachter, Lijun Zhang, Holger Hermanns	Probabilistic Model Checking Modulo Theories.	QEST	2007	DBLP DOI BibTeX RDF
1	Anna Corazza, Giorgio Satta	Probabilistic Context-Free Grammars Estimated from Infinite Distributions.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Probabilistic context-free grammars, derivational entropy, expectation-maximization methods, Hidden Markov Models, maximum-likelihood estimation, cross-entropy
1	Muzammil Shahbaz, Keqin Li 0002, Roland Groz	Learning and Integration of Parameterized Components Through Testing.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Paulo Tabuada	Symbolic models for control systems.	Acta Inf.	2007	DBLP DOI BibTeX RDF
1	Eun-Young Kang, Stephan Merz	Predicate diagrams for the verification of real-time systems.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF
1	Jyrki Niemi, Lauri Carlson, Kimmo Koskenniemi	Two String-Based Finite-State Models of the Semantics of Calendar Expressions.	FinTAL	2006	DBLP DOI BibTeX RDF
1	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta	Disjunctive image computation for embedded software verification.	DATE	2006	DBLP DOI BibTeX RDF
1	David Owen, Dejan Desovski, Bojan Cukic	Random testing of formal software models and induced coverage.	Random Testing	2006	DBLP DOI BibTeX RDF	formal methods, random testing, model testing
1	Rajeev Alur, Thao Dang, Franjo Ivancic	Predicate abstraction for reachability analysis of hybrid systems.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	hybrid systems, Reachability analysis, predicate abstraction
1	David Owen, Dejan Desovski, Bojan Cukic	Effectively Combining Software Verification Strategies: Understanding Different Assumptions.	ISSRE	2006	DBLP DOI BibTeX RDF
1	Masahiro Fujita, Subash Shankar, S. Shunsuke	Equivalence checking: a rule-based approach.	MEMOCODE	2006	DBLP DOI BibTeX RDF
1	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.	CAV	2006	DBLP DOI BibTeX RDF
1	Bertrand Jeannet, Thierry Jéron, Vlad Rusu	Model-Based Test Selection for Infinite-State Reactive Systems.	FMCO	2006	DBLP DOI BibTeX RDF
1	Wei Jiang, Yi Guan, Xiaolong Wang	Conditional Random Fields Based Label Sequence and Information Feedback.	ICIC	2006	DBLP DOI BibTeX RDF
1	Thierry Jéron	Model-Based Test Selection for Infinite State Reactive Systems.	DIPES	2006	DBLP DOI BibTeX RDF
1	Dan R. Ghica, Andrzej S. Murawski	Compositional Model Extraction for Higher-Order Concurrent Programs.	TACAS	2006	DBLP DOI BibTeX RDF
1	Bassel Daou, Gregor von Bochmann	Submodule Construction for Extended State Machine Models.	FORTE	2005	DBLP DOI BibTeX RDF
1	Rémi Morin	Concurrent Automata vs. Asynchronous Systems.	MFCS	2005	DBLP DOI BibTeX RDF
1	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai	Localization and Register Sharing for Predicate Abstraction.	TACAS	2005	DBLP DOI BibTeX RDF
1	Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva	Symbolic Test Selection Based on Approximate Analysis.	TACAS	2005	DBLP DOI BibTeX RDF
1	Alejandro Hector Toselli, Alfons Juan, Jorge González, Ismael Salvador, Enrique Vidal, Francisco Casacuberta, Daniel Keysers, Hermann Ney	Integrated Handwriting Recognition And Interpretation Using Finite-State Models.	IJPRAI	2004	DBLP DOI BibTeX RDF
1	Elsa Cubel, Jorge Civera, Juan Miguel Vilar, Antonio L. Lagarda, Francisco Casacuberta, Enrique Vidal, David Picó, Jorge González, Luis Rodríguez	Finite-State Models for Computer Assisted Translation.	ECAI	2004	DBLP BibTeX RDF
1	Jorge Civera, Elsa Cubel, Antonio L. Lagarda, David Picó, Jorge González, Enrique Vidal, Francisco Casacuberta, Juan Miguel Vilar, Sergio Barrachina	From Machine Translation to Computer Assisted Translation using Finite-State Models.	EMNLP	2004	DBLP BibTeX RDF
1	Enrique Vidal, Francisco Casacuberta	Learning Finite-State Models for Machine Translation.	ICGI	2004	DBLP DOI BibTeX RDF
1	Alejandro Hector Toselli, Alfons Juan, Enrique Vidal	Spontaneous Handwriting Recognition and Classification.	ICPR	2004	DBLP DOI BibTeX RDF
1	Sérgio G. Araújo, Antônio C. Mesquita, Aloysio Pedroza	A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques.	EvoWorkshops	2004	DBLP DOI BibTeX RDF
1	Stephen F. Siegel, George S. Avrunin	Verification of MPI-Based Software for Scientific Computation.	SPIN	2004	DBLP DOI BibTeX RDF
1	Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan	Towards scalable compositional analysis by refactoring design models.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	refactoring, CCS, compositional analysis, promela
1	Rajeev Alur, Thao Dang, Franjo Ivancic	Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.	HSCC	2003	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang	SAT Based Predicate Abstraction for Hardware Verification.	SAT	2003	DBLP DOI BibTeX RDF
1	Jan W. Amtrup	Morphology in Machine Translation Systems: Efficient Integration of Finite State Transducers and Feature Structure Descriptions.	Machine Translation	2003	DBLP DOI BibTeX RDF	finite state morphology, feature structures, Persian, semiring
1	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	Using static analysis to improve automatic test generation.	STTT	2003	DBLP DOI BibTeX RDF	Static analysis, Bisimulation, Conformance testing, Slicing, Asynchronous systems
1	David Owen, Tim Menzies, Bojan Cukic	What Makes Finite-State Models More (or Less) Testable?	ASE	2002	DBLP DOI BibTeX RDF
1	David Owen, Bojan Cukic, Tim Menzies	An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models.	HASE	2002	DBLP DOI BibTeX RDF
1	Sukhamay Kundu	Finite-State Modeling in Software Design: Some Fundamental Techniques.	APSEC	2002	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thao Dang, Franjo Ivancic	Reachability Analysis of Hybrid Systems via Predicate Abstraction.	HSCC	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	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby	Expressing checkable properties of dynamic systems: the Bandera Specification Language.	STTT	2002	DBLP DOI BibTeX RDF	Model checking, Object-oriented programs, Temporal specification
1	Mikel L. Forcada, Rafael C. Carrasco	Finite-State Computation in Analog Neural Networks: Steps towards Biologically Plausible Models?	Emergent Neural Computational Architectures Based on Neuroscience	2001	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	Srinivas Bangalore, Giuseppe Riccardi	Finite-state models for lexical reordering in spoken language translation.	INTERSPEECH	2000	DBLP BibTeX RDF
1	Juan-Carlos Amengual, M. Asunción Castaño, Antonio Castellanos, Víctor M. Jiménez, David Llorens, Andrés Marzal, Federico Prat, Juan Miguel Vilar, José-Miguel Benedí, Francisco Casacuberta, Moisés Pastor, Enrique Vidal	The EuTrans Spoken Language Translation System.	Machine Translation	2000	DBLP DOI BibTeX RDF	subsequential transducers, transducer learning, grammatical inference, speech translation, finite-state models
1	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby	Bandera: a source-level interface for model checking Java programs.	ICSE	2000	DBLP DOI BibTeX RDF	debugging and testing, Java, Java, model checking, program analysis
1	Kenneth L. McMillan	Some Strategies for Proving Theorems with a Model Checker.	LICS	2000	DBLP DOI BibTeX RDF
1	Rajnish Ghughal, Ganesh Gopalakrishnan	Verification Methods for Weaker Shared Memory Consistency Models.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
1	James C. Corbett	Constructing Compact Models of Concurrent Java Programs.	ISSTA	1998	DBLP DOI BibTeX RDF	Java, static analysis, finite-state verification, model extraction
1	Matthew B. Dwyer, Corina S. Pasareanu	Filter-Based Model Checking of Partial Systems.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	filter-based analysis, model checking, assume-guarantee reasoning, software verification and validation
1	David Picó, Enrique Vidal	Transducer-Learning Experiments on Language Understanding.	ICGI	1998	DBLP DOI BibTeX RDF
1	Juan-Carlos Amengual, José-Miguel Benedí, Klaus Beulen, Francisco Casacuberta, M. Asunción Castaño, Antonio Castellanos, Víctor M. Jiménez, David Llorens, Andrés Marzal, Hermann Ney, Federico Prat, Enrique Vidal, Juan Miguel Vilar	Speech translation based on automatically trainable finite-state models.	EUROSPEECH	1997	DBLP BibTeX RDF
1	Gert Döhmen, Ronald Herrmann, Hergen Pargmann	Translating VHDL into Functional Symbolic Finite-State Models.	Formal Methods in System Design	1995	DBLP DOI BibTeX RDF
1	Juan Miguel Vilar, Andrés Marzal, Enrique Vidal	Learning language translation in limited domains using finite-state models: some extensions and improvements.	EUROSPEECH	1995	DBLP BibTeX RDF
1	Giacomo Bucci, Enrico Vicario	Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Time-critical systems, model partitioning, incremental state space enumeration, state space projection, compositional validation, time Petri Nets, finite state models
1	Piyu Tripathy, Kshirasagar Naik	Generation of Adaptive Test Cases from Nondeterministic Finite State Models.	Protocol Test Systems	1992	DBLP BibTeX RDF
1	Martin Dubuc, Rachida Dssouli, Gregor von Bochmann	TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models.	Protocol Test Systems	1991	DBLP BibTeX RDF
1	Robert P. Kurshan, Kenneth L. McMillan	Analysis of digital circuits through symbolic reduction.	IEEE Trans. on CAD of Integrated Circuits and Systems	1991	DBLP DOI BibTeX RDF
1	Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper	Adding Liveness Properties to Coupled Finite-State Machines.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
1	Graham Gough, Howard Barringer	A Semantics Driven Temporal Verification System.	ESOP	1988	DBLP DOI BibTeX RDF
1	John A. Llewellyn	Finite State Models in the Study of Comma-Free Codes.	Comput. J.	1983	DBLP DOI BibTeX RDF