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 |
|