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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM Symposium on Communications Architectures & Protocols, SIGCOMM 1989, Austin, TX, USA, September 19-22, 1989, pp. 283-294, 1989, ACM, 0-89791-332-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
96 | Dechang Sun, Bapiraju Vinnakota, Wanli Jiang |
Fast State Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998., pp. 619-624, 1998, ACM Press, 0-89791-964-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings, pp. 259-273, 2006, Springer, 3-540-34184-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, SPDP 1991, 2-5 December 1991, Dallas, Texas, USA, pp. 428-435, 1991, IEEE Computer Society, 0-8186-2310-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
64 | Nicolae Goga |
Comparing TorX, Autolink, TGV and UIO Test Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings, pp. 379-402, 2001, Springer, 3-540-42281-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
64 | Bo Yang, Hasan Ural |
Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM Symposium on Communications Architectures & Protocols, SIGCOMM 1990, Philadelpia, PA, USA, September 24-27, 1990, pp. 118-125, 1990, ACM, 0-89791-405-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
64 | David R. Cheriton |
UIO: A Uniform I/O System Interface for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 5(1), pp. 12-46, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
59 | Kshirasagar Naik |
Efficient computation of unique input/output sequences in finite-state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 5(4), pp. 585-599, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990., pp. 200-207, 1990, IEEE Computer Society, 0-8186-2087-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
51 | Woojik Chun, Paul D. Amer |
Improvements on UIO Sequence Generation and Partial UIO Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 245-260, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
45 | Micky Rakotondrabe, Philippe Lutz |
Force estimation in a piezoelectric cantilever using the inverse-dynamics-based UIO technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 2205-2210, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1791-1797, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings, pp. 595-604, 2008, Springer, 978-3-540-89693-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Tao Huang 0019, Anthony Chung |
Finding Narrow Input/Output (NIO) Sequences by Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic, pp. 283-289, 2008, IEEE Computer Society, 978-0-7695-3302-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC Workshops ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, Workshops, pp. 43, 2006, IEEE Computer Society, 0-7695-2743-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Krishan K. Sabnani, Anton T. Dahbura |
A new technique for generating protocol test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Ninth Symposium on Data Communications, SIGCOMM 1985, Whistler Moutain, British Columbia, Canada, September 10-12, 1985, pp. 36-43, 1985, ACM, 0-89791-164-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
30 | Xiao Sun 0002, Carmie Hull |
Functional Verification Coverage vs. Physical Stuck-at Fault Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 13th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '98), 2-4 November 1998, Austin, TX, USA, Proceedings, pp. 108-116, 1998, IEEE Computer Society, 0-8186-8832-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings, pp. 171-190, 2007, Springer, 978-3-540-76648-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 72(1), pp. 458-468, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 44(18), pp. 1624-1633, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.14189, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Jovan D. Stefanovski |
Deflating Subspace Approach to UIO Design and Application to Fault-Tolerant Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 61(5), pp. 2876-2901, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SemEval@ACL ![In: Proceedings of the The 17th International Workshop on Semantic Evaluation, SemEval@ACL 2023, Toronto, Canada, 13-14 July 2023., pp. 1054-1060, 2023, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sensors ![In: J. Sensors 2022, pp. 1-9, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(8), pp. 1618, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 38(3), pp. 834-836, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 47(5), pp. 1029-1040, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(23), pp. 7886, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Andrey Kutuzov, Mario Giulianelli |
UiO-UvA at SemEval-2020 Task 1: Contextualised Embeddings for Lexical Semantic Change Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.00050, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Andrey Kutuzov, Mario Giulianelli |
UiO-UvA at SemEval-2020 Task 1: Contextualised Embeddings for Lexical Semantic Change Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SemEval@COLING ![In: Proceedings of the Fourteenth Workshop on Semantic Evaluation, SemEval@COLING 2020, Barcelona (online), December 12-13, 2020, pp. 126-134, 2020, International Committee for Computational Linguistics, 978-1-952148-31-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: 17th International Multi-Conference on Systems, Signals & Devices, SSD 2020, Monastir, Tunisia, July 20-23, 2020, pp. 991-996, 2020, IEEE, 978-1-7281-1080-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Eugenio Alcalá, Vicenç Puig, Joseba Quevedo |
TS-MPC for Autonomous Vehicles Including a TS-MHE-UIO Estimator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 68(7), pp. 6403-6413, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 50(13), pp. 2473-2485, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 64(12), pp. 4982-4997, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 105, pp. 307-313, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Eugenio Alcalá, Vicenç Puig, Joseba Quevedo |
TS-MPC for Autonomous Vehicles including a dynamic TS-MHE-UIO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.00088, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.08887, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 33(6), pp. 69-86, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SemEval@NAACL-HLT ![In: Proceedings of The 12th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2018, New Orleans, Louisiana, USA, June 5-6, 2018, pp. 805-810, 2018, Association for Computational Linguistics, 978-1-948087-20-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: 15th International Multi-Conference on Systems, Signals & Devices, SSD 2018, Yassmine Hammamet, Tunisia, March 19-22, 2018, pp. 146-150, 2018, IEEE, 978-1-5386-5305-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: 15th International Multi-Conference on Systems, Signals & Devices, SSD 2018, Yassmine Hammamet, Tunisia, March 19-22, 2018, pp. 791-796, 2018, IEEE, 978-1-5386-5305-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 47(1), pp. 107-121, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Robert M. Hierons, Uraz Cengiz Türker |
Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 42(11), pp. 1077-1091, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Weiwei Lin 0003, Hongwei Zeng |
A chain algorithm for conformance testing based on UIO sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2015, Takamatsu, Japan, June 1-3, 2015, pp. 611-616, 2015, IEEE Computer Society, 978-1-4799-8676-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Elisabeth Lien, Milen Kouylekov |
UIO-Lien: Entailment Recognition using Minimal Recursion Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SemEval@COLING ![In: Proceedings of the 8th International Workshop on Semantic Evaluation, SemEval@COLING 2014, Dublin, Ireland, August 23-24, 2014., pp. 699-703, 2014, The Association for Computer Linguistics, 978-1-941643-24-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Eugne Tarasov, Christophe Sueur, Belkacem Ould Bouamama |
UIO approach for estimation of nonlinear components behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014, pp. 1828-1833, 2014, IEEE, 978-1-4799-7746-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 2013 IEEE International Conference on Automation Science and Engineering, CASE 2013, Madison, WI, USA, August 17-20, 2013, pp. 550-553, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIA ![In: IEEE International Conference on Information and Automation, ICIA 2013, Yinchuan, China, August 26-28, 2013, pp. 1308-1313, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Emanuele Lapponi, Erik Velldal, Lilja Øvrelid, Jonathon Read |
UiO 2: Sequence-labeling Negation Using Dependency Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
*SEM@NAACL-HLT ![In: Proceedings of the First Joint Conference on Lexical and Computational Semantics, *SEM 2012, June 7-8, 2012, Montréal, Canada., pp. 319-327, 2012, Association for Computational Linguistics, 978-1-937284-21-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 33(Web-Server-Issue), pp. 573-576, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jörg Tiedemann, Lars Nygaard |
The OPUS Corpus - Parallel and Free: http: //logos.uio.no/opus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Fourth International Conference on Language Resources and Evaluation, LREC 2004, May 26-28, 2004, Lisbon, Portugal, 2004, European Language Resources Association. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
26 | Robert M. Hierons, Hasan Ural |
UIO sequence based checking sequences for distributed test architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 45(12), pp. 793-803, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Michael A. Demetriou |
UIO for fault detection in vector second order systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2001, Arlington, VA, USA, 25-27 June, 2001, pp. 1121-1126, 2001, IEEE, 0-7803-6495-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Anthony Chung |
On the Lengths of Protocol Conformance Test Sequences Using Minimal Input Set for UIO's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAINE ![In: Proceedings of the 14th International Conference on Computer Applications in Industry and Engineering, November 27-29, 2001, Las Vegas, Nevada, USA, pp. 125-129, 2001, ISCA, 1-880843-40-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
26 | Giacomo Buonanno, Franco Fummi, Donatella Sciuto |
An extended-UIO-based method for protocol conformance testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 46(3), pp. 225-242, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Wen-Huei Chen, Hasan Ural |
Synchronizable test sequences based on multiple UIO sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 3(2), pp. 152-157, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | D. Schin, Yinan N. Shen, Fabrizio Lombardi |
An Approach for UIO Generation for FSM Verification and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30 - June 2, 1994, pp. 303-306, 1994, IEEE, 0-7803-1916-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Hasan Ural, Zhiping Wang |
Synchronizable test sequence generation using UIO sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 16(10), pp. 653-661, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu |
Fault Coverage of UIO-based Methods for Protocol Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993, pp. 21-34, 1993, North-Holland, 0-444-81697-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | Fabrizio Lombardi, Yinan N. Shen |
Evaluation and improvement of fault coverage of conformance testing by UIO sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 40(8), pp. 1288-1293, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Yinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura |
Protocol conformance testing using multiple UIO sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 40(8), pp. 1282-1287, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Zhang Lidong, Liu Jiren, Huatian Li |
A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 229-235, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETWORKS ![In: Computer Networks, Architecture and Applications, Proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture and Applications, NETWORKS '92, Trivandrum, India, 28-29 October, 1992, pp. 223-235, 1992, North-Holland, 0-444-89968-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 11th Symposium on Reliable Distributed Systems, SRDS 1992, Houston, Texas, USA, October 5-7, 1992, Proceedings, pp. 196-203, 1992, IEEE Computer Society, 0-8186-2890-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 39(11), pp. 1604-1615, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Xiao Sun 0002, Yinan N. Shen, Fabrizio Lombardi, Donatella Sciuto |
Protocol Conformance Testing by Discriminating UIO Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 349-364, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 36(1), pp. 7-11, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Yinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura |
Protocol Conformance Testing Using Multiple UIO Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989, pp. 131-143, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 2949-2954, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC (1) ![In: 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume I, pp. 438-444, 2008, IEEE Computer Society, 978-0-7695-3492-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Per Kristian Lehre, Xin Yao 0001 |
Runtime analysis of (1+l) EA on computing unique input output sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 1882-1889, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Slawomir Zielski, Janusz Sosnowski |
The SCSI interface conformance tests generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland, pp. 360-367, 2007, IEEE Computer Society, 0-7695-2850-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Rita Dorofeeva, Nina Yevtushenko 0001, Khaled El-Fakih, Ana R. Cavalli |
Experimental Evaluation of FSM-Based Testing Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 23-32, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Stein Jørgen Ryan |
Synchronization in Portable Device Drivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 33(1), pp. 18-25, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Stein Jørgen Ryan |
Synchronization in Portable Device Drivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 32(4), pp. 62-69, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | José Salinas, Nohpill Park, U. Arunkumar, Fabrizio Lombardi |
Conformance Testing of Time-Dependent Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 257-264, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Heikki Saastamoinen, George M. White |
On handling exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COOCS ![In: Proceedings of the Conference on Organizational Computing Systems, COOCS 1995, Milpitas, California, USA, August 13-16, 1995, pp. 302-310, 1995, ACM, 978-0-89791-706-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|