Search results for "UIO"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	W. Y. L. Chan, C. T. Vuong, M. R. Otp	An Improved Protocol Test Generation Procedure Based on UIOS.	SIGCOMM	1989	DBLP DOI BibTeX RDF
96	Dechang Sun, Bapiraju Vinnakota, Wanli Jiang	Fast State Verification.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
83	M. Cihan Yalcin, Hüsnü Yenigün	Using Distinguishing and UIO Sequences Together in a Checking Sequence.	TestCom	2006	DBLP DOI BibTeX RDF
77	Fabrizio Lombardi, Yinan N. Shen, Hannu H. Kari	On a new approach for enhancing the fault coverage of conformance testing of protocols.	SPDP	1991	DBLP DOI BibTeX RDF
64	Nicolae Goga	Comparing TorX, Autolink, TGV and UIO Test Algorithms.	SDL Forum	2001	DBLP DOI BibTeX RDF
64	Bo Yang, Hasan Ural	Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping.	SIGCOMM	1990	DBLP DOI BibTeX RDF
64	David R. Cheriton	UIO: A Uniform I/O System Interface for Distributed Systems.	ACM Trans. Comput. Syst.	1987	DBLP DOI BibTeX RDF
59	Kshirasagar Naik	Efficient computation of unique input/output sequences in finite-state machines.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	UIO sequence, UIO tree, interference rule, path vector, testing, finite-state machine, projection, communication protocol
58	Yinan N. Shen, Fabrizio Lombardi, Donatella Sciuto	Evaluation and improvement of fault coverage for verification and validation of protocols.	SPDP	1990	DBLP DOI BibTeX RDF
51	Woojik Chun, Paul D. Amer	Improvements on UIO Sequence Generation and Partial UIO Sequences.	PSTV	1992	DBLP BibTeX RDF
45	Micky Rakotondrabe, Philippe Lutz	Force estimation in a piezoelectric cantilever using the inverse-dynamics-based UIO technique.	ICRA	2009	DBLP DOI BibTeX RDF
45	Kai Chen 0009, Fan Jiang 0005, Chuan-dong Huang	A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences.	SAC	2006	DBLP DOI BibTeX RDF	output-shifting faults, synchronization problems, distributed system, conformance testing, FSM
38	Per Kristian Lehre, Xin Yao 0001	Crossover Can Be Constructive When Computing Unique Input Output Sequences.	SEAL	2008	DBLP DOI BibTeX RDF
38	Tao Huang 0019, Anthony Chung	Finding Narrow Input/Output (NIO) Sequences by Model Checking.	SERA	2008	DBLP DOI BibTeX RDF	Communication protoocls, model checking, protocol engineering, protocol testing
38	Wen-Li Dong, Hang Yu	Web Service Testing Method Based on Fault-coverage.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
38	Krishan K. Sabnani, Anton T. Dahbura	A new technique for generating protocol test.	SIGCOMM	1985	DBLP DOI BibTeX RDF
30	Xiao Sun 0002, Carmie Hull	Functional Verification Coverage vs. Physical Stuck-at Fault Coverage.	DFT	1998	DBLP DOI BibTeX RDF	functional property, stuck-at fault coverage, verification coverage, UIO, verification, validation, ATPG, FSM, signature analysis, test application time
29	Lihua Duan, Jessica Chen	Reducing Test Sequence Length Using Invertible Sequences.	ICFEM	2007	DBLP DOI BibTeX RDF	UIO sequence, finite state machine, conformance testing, test sequence
26	Changyao Huang, Zhan Xu, Zhongjin Xue, Zhihuang Zhang, Zhenyu Liu, Xiangyu Wang 0005, Liang Li 0004	Transfer Case Clutch Modeling and EKF-UIO Based Torque Estimation Method for On-Demand 4WD Vehicles.	IEEE Trans. Veh. Technol.	2023	DBLP DOI BibTeX RDF
26	Mohmmad Faizan, Ravinder Pawar	Alanine boronic acid functionalized UiO-66 MOF as a nanoreactor for the conversion of CO2 into formic acid.	J. Comput. Chem.	2023	DBLP DOI BibTeX RDF
26	Egil Rønningstad	UIO at SemEval-2023 Task 12: Multilingual fine-tuning for sentiment classification in low-resource languages.	CoRR	2023	DBLP DOI BibTeX RDF
26	Jovan D. Stefanovski	Deflating Subspace Approach to UIO Design and Application to Fault-Tolerant Control.	SIAM J. Control. Optim.	2023	DBLP DOI BibTeX RDF
26	Egil Rønningstad	UIO at SemEval-2023 Task 12: Multilingual fine-tuning for sentiment classification in low-resource Languages.	SemEval@ACL	2023	DBLP DOI BibTeX RDF
26		The Influence of Multisensor Fusion Machine Learning on the Controllable Fabrication of MOF (UIO-66)/ZrAl Ceramic Composite Membranes.	J. Sensors	2022	DBLP DOI BibTeX RDF
26	Jingping Xia, Bin Jiang 0001, Ke Zhang 0001	UIO-Based Practical Fixed-Time Fault Estimation Observer Design of Nonlinear Systems.	Symmetry	2022	DBLP DOI BibTeX RDF
26	Ankush Sharma 0002, Akshay Akshay, Marie Rogne, Ragnhild Eskeland	ShinyArchR.UiO: user-friendly, integrative and open-source tool for visualization of single-cell ATAC-seq data using ArchR.	Bioinform.	2022	DBLP DOI BibTeX RDF
26	Khaled El-Fakih, Robert M. Hierons, Uraz Cengiz Türker	$\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs.	IEEE Trans. Software Eng.	2021	DBLP DOI BibTeX RDF
26	Jieum Hyun, Hyun Myung	NR-UIO: NLOS-Robust UWB-Inertial Odometry Based on Interacting Multiple Model and NLOS Factor Estimation.	Sensors	2021	DBLP DOI BibTeX RDF
26	Andrey Kutuzov, Mario Giulianelli	UiO-UvA at SemEval-2020 Task 1: Contextualised Embeddings for Lexical Semantic Change Detection.	CoRR	2020	DBLP BibTeX RDF
26	Andrey Kutuzov, Mario Giulianelli	UiO-UvA at SemEval-2020 Task 1: Contextualised Embeddings for Lexical Semantic Change Detection.	SemEval@COLING	2020	DBLP DOI BibTeX RDF
26	Abir Hezzi, Yemna Bensalem, Mohamed Zerrougui, Seifeddine Ben Elghali, Mohamed Naceur Abdelkrim	Sensorless Control Strategy for Five-Phase PMSM based on UIO for Linear Parameter Varying System.	SSD	2020	DBLP DOI BibTeX RDF
26	Eugenio Alcalá, Vicenç Puig, Joseba Quevedo	TS-MPC for Autonomous Vehicles Including a TS-MHE-UIO Estimator.	IEEE Trans. Veh. Technol.	2019	DBLP DOI BibTeX RDF
26	Ali Saad Hadi, Montadher Sami Shaker, Qusay A. Jawad	Estimation/decoupling approach for robust Takagi-Sugeno UIO-based fault reconstruction in nonlinear systems affected by a simultaneous time-varying actuator and sensor faults.	Int. J. Syst. Sci.	2019	DBLP DOI BibTeX RDF
26	Feng Xu 0006, Junbo Tan, Ye Wang 0005, Xueqian Wang 0001, Bin Liang 0001, Bo Yuan 0003	Robust Fault Detection and Set-Theoretic UIO for Discrete-Time LPV Systems With State and Output Equations Scheduled by Inexact Scheduling Variables.	IEEE Trans. Autom. Control.	2019	DBLP DOI BibTeX RDF
26	Feng Xu 0006, Junbo Tan, Xueqian Wang 0001, Bin Liang 0001	Conservatism comparison of set-based robust fault detection methods: Set-theoretic UIO and interval observer cases.	Autom.	2019	DBLP DOI BibTeX RDF
26	Eugenio Alcalá, Vicenç Puig, Joseba Quevedo	TS-MPC for Autonomous Vehicles including a dynamic TS-MHE-UIO.	CoRR	2018	DBLP BibTeX RDF
26	Farhad Nooralahzadeh, Lilja Øvrelid, Jan Tore Lønning	SIRIUS-LTG-UiO at SemEval-2018 Task 7: Convolutional Neural Networks with Shortest Dependency Paths for Semantic Relation Extraction and Classification in Scientific Papers.	CoRR	2018	DBLP BibTeX RDF
26	Rui Liu 0002, Junbin Liang, Jiannong Cao 0001, Weiping Zhu 0004, Sebastian VanSyckel, Christian Becker 0001	UIO-Based Testbed Augmentation for Simulating Cyber-Physical Systems.	IEEE Intell. Syst.	2018	DBLP DOI BibTeX RDF
26	Farhad Nooralahzadeh, Lilja Øvrelid, Jan Tore Lønning	SIRIUS-LTG-UiO at SemEval-2018 Task 7: Convolutional Neural Networks with Shortest Dependency Paths for Semantic Relation Extraction and Classification in Scientific Papers.	SemEval@NAACL-HLT	2018	DBLP DOI BibTeX RDF
26	Zina Bougatef, Nouceyba Abdelkrim, Abdelouhab Aitouche, Mohamed Naceur Abdelkrim	UIO Design and Sensor Fault Diagnosis of LPV Systems with Time Delay Using Descriptor Approach.	SSD	2018	DBLP DOI BibTeX RDF
26	Marwa Bettaher, Aicha Elhsoumi, Bel Hadj Ali Naoui Saloua	UIO-Based Diagnosis and Prognosis of Neutral Time Delay System.	SSD	2018	DBLP DOI BibTeX RDF
26	Amir Hossein Hassanabadi, Masoud Shafiee, Vicenç Puig	UIO design for singular delayed LPV systems with application to actuator fault detection and isolation.	Int. J. Syst. Sci.	2016	DBLP DOI BibTeX RDF
26	Robert M. Hierons, Uraz Cengiz Türker	Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences.	IEEE Trans. Software Eng.	2016	DBLP DOI BibTeX RDF
26	Weiwei Lin 0003, Hongwei Zeng	A chain algorithm for conformance testing based on UIO sequences.	SNPD	2015	DBLP DOI BibTeX RDF
26	Elisabeth Lien, Milen Kouylekov	UIO-Lien: Entailment Recognition using Minimal Recursion Semantics.	SemEval@COLING	2014	DBLP DOI BibTeX RDF
26	Eugne Tarasov, Christophe Sueur, Belkacem Ould Bouamama	UIO approach for estimation of nonlinear components behavior.	CDC	2014	DBLP DOI BibTeX RDF
26	Chen He, Xiaodong Zhang 0028, Binghui Jia	UIO based robust fault diagnosis approach for aero-engine fiber-optic sensor.	CASE	2013	DBLP DOI BibTeX RDF
26	Meng Zhou, Yi Shen 0001, Qiang Wang	Robust UIO-based fault estimation for sampled-data systems: An LMI approach.	ICIA	2013	DBLP DOI BibTeX RDF
26	Emanuele Lapponi, Erik Velldal, Lilja Øvrelid, Jonathon Read	UiO 2: Sequence-labeling Negation Using Dependency Features.	*SEM@NAACL-HLT	2012	DBLP BibTeX RDF
26	Eivind Tøstesen, Geir Ivar Jerstad, Eivind Hovig	Stitchprofiles.uio.no: analysis of partly melted DNA conformations using stitch profiles.	Nucleic Acids Res.	2005	DBLP DOI BibTeX RDF
26	Jörg Tiedemann, Lars Nygaard	The OPUS Corpus - Parallel and Free: http: //logos.uio.no/opus.	LREC	2004	DBLP BibTeX RDF
26	Robert M. Hierons, Hasan Ural	UIO sequence based checking sequences for distributed test architectures.	Inf. Softw. Technol.	2003	DBLP DOI BibTeX RDF
26	Michael A. Demetriou	UIO for fault detection in vector second order systems.	ACC	2001	DBLP DOI BibTeX RDF
26	Anthony Chung	On the Lengths of Protocol Conformance Test Sequences Using Minimal Input Set for UIO's.	CAINE	2001	DBLP BibTeX RDF
26	Giacomo Buonanno, Franco Fummi, Donatella Sciuto	An extended-UIO-based method for protocol conformance testing.	J. Syst. Archit.	2000	DBLP DOI BibTeX RDF
26	Wen-Huei Chen, Hasan Ural	Synchronizable test sequences based on multiple UIO sequences.	IEEE/ACM Trans. Netw.	1995	DBLP DOI BibTeX RDF
26	D. Schin, Yinan N. Shen, Fabrizio Lombardi	An Approach for UIO Generation for FSM Verification and Validation.	ISCAS	1994	DBLP DOI BibTeX RDF
26	Hasan Ural, Zhiping Wang	Synchronizable test sequence generation using UIO sequences.	Comput. Commun.	1993	DBLP DOI BibTeX RDF
26	Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu	Fault Coverage of UIO-based Methods for Protocol Testing.	Protocol Test Systems	1993	DBLP BibTeX RDF
26	Fabrizio Lombardi, Yinan N. Shen	Evaluation and improvement of fault coverage of conformance testing by UIO sequences.	IEEE Trans. Commun.	1992	DBLP DOI BibTeX RDF
26	Yinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura	Protocol conformance testing using multiple UIO sequences.	IEEE Trans. Commun.	1992	DBLP DOI BibTeX RDF
26	Zhang Lidong, Liu Jiren, Huatian Li	A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences.	Protocol Test Systems	1992	DBLP BibTeX RDF
26	Malati Hedge, S. V. Shobha	An Experience in Using UIO Sequences and Rural Chinese Postman Tours of Conformance Testing of a Q.931 Implementation.	NETWORKS	1992	DBLP BibTeX RDF
26	Xiao Sun 0002, Yinan N. Shen, Fabrizio Lombardi	On the Verification and Validation of Protocols with High Fault Coverage Using UIO Sequences.	SRDS	1992	DBLP DOI BibTeX RDF
26	Alfred V. Aho, Anton T. Dahbura, David Lee 0001, M. Ümit Uyar	An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours.	IEEE Trans. Commun.	1991	DBLP DOI BibTeX RDF
26	Xiao Sun 0002, Yinan N. Shen, Fabrizio Lombardi, Donatella Sciuto	Protocol Conformance Testing by Discriminating UIO Sequences.	PSTV	1991	DBLP BibTeX RDF
26	Wen-Huei Chen, Ching-Sung Lu, Elben R. Brozovsky, Jin-Tuu Wang	An Optimization Technique for Protocol Conformance Testing Using Multiple Uio Sequences.	Inf. Process. Lett.	1990	DBLP DOI BibTeX RDF
26	Yinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura	Protocol Conformance Testing Using Multiple UIO Sequences.	PSTV	1989	DBLP BibTeX RDF
19	Daniele Brambilla, Luca Massimiliano Capisani, Antonella Ferrara, Pierluigi Pisu	Second order sliding mode observers for Fault Detection of robot manipulators.	CDC	2008	DBLP DOI BibTeX RDF
19	Yuhong Feng, Jiannong Cao 0001, Ivan Lau, Xuan Liu 0001	A Self-configuring Personal Agent Platform for Pervasive Computing.	EUC (1)	2008	DBLP DOI BibTeX RDF
19	Per Kristian Lehre, Xin Yao 0001	Runtime analysis of (1+l) EA on computing unique input output sequences.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
19	Slawomir Zielski, Janusz Sosnowski	The SCSI interface conformance tests generation.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
19	Rita Dorofeeva, Nina Yevtushenko 0001, Khaled El-Fakih, Ana R. Cavalli	Experimental Evaluation of FSM-Based Testing Methods.	SEFM	2005	DBLP DOI BibTeX RDF
19	Stein Jørgen Ryan	Synchronization in Portable Device Drivers.	ACM SIGOPS Oper. Syst. Rev.	1999	DBLP DOI BibTeX RDF
19	Stein Jørgen Ryan	Synchronization in Portable Device Drivers.	ACM SIGOPS Oper. Syst. Rev.	1998	DBLP DOI BibTeX RDF
19	José Salinas, Nohpill Park, U. Arunkumar, Fabrizio Lombardi	Conformance Testing of Time-Dependent Protocols.	ICECCS	1996	DBLP DOI BibTeX RDF
19	Heikki Saastamoinen, George M. White	On handling exceptions.	COOCS	1995	DBLP DOI BibTeX RDF