2009 |
27 | EE | Yu Wang,
M. Ümit Uyar,
Samrat S. Batth,
Mariusz A. Fecko:
Fault masking by multiple timing faults in timed EFSM models.
Computer Networks 53(5): 596-612 (2009) |
2008 |
26 | EE | M. Ümit Uyar,
Samrat S. Batth,
Yu Wang,
Mariusz A. Fecko:
Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols.
IEEE Trans. Computers 57(2): 274-288 (2008) |
25 | EE | Ibrahim Hökelek,
M. Ümit Uyar,
Mariusz A. Fecko:
On stability analysis of virtual backbone in mobile ad hoc networks.
Wireless Networks 14(1): 87-102 (2008) |
2007 |
24 | EE | Mariusz A. Fecko,
Ibrahim Hökelek,
Sunil Samtani,
Aristides Staikos:
Controlled Dissemination Filter (CDF) for Integrated Link Selection Agents.
COMSWARE 2007 |
23 | EE | Xuezhou Ma,
Selcuk Cevher,
M. Ümit Uyar,
Mariusz A. Fecko,
John Sucec,
Sunil Samtani:
Network Planning for Multicast Using Partitioned Virtual User Domains.
MMNS 2007: 113-124 |
2006 |
22 | | M. Ümit Uyar,
Ali Y. Duale,
Mariusz A. Fecko:
Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
Springer 2006 |
21 | EE | Giovanni Di Crescenzo,
Mariusz A. Fecko,
Renwei Ge,
Gonzalo R. Arce:
Securing Weakly-Dominating Virtual Backbones in Mobile Ad Hoc Networks.
WOWMOM 2006: 576-580 |
20 | EE | Jianping Zou,
M. Ümit Uyar,
Mariusz A. Fecko,
Sunil Samtani:
Performance evaluation of subflow capable SCTP.
Computer Communications 29(12): 2413-2432 (2006) |
19 | EE | Jianping Zou,
M. Ümit Uyar,
Mariusz A. Fecko,
Sunil Samtani:
Throughput models for SCTP with parallel subflows.
Computer Networks 50(13): 2160-2182 (2006) |
2005 |
18 | | Ibrahim Hökelek,
M. Ümit Uyar,
Mariusz A. Fecko:
Random-walk based analysis of virtual backbone in manets.
Communications and Computer Networks 2005: 132-137 |
17 | | Ulas C. Kozat,
Mariusz A. Fecko,
Sunil Samtani:
Optimal allocation of pooled servers for situation awareness applications.
Communications and Computer Networks 2005: 18-23 |
16 | EE | M. Ümit Uyar,
Yu Wang,
Samrat S. Batth,
Adriana Wise,
Mariusz A. Fecko:
Timing Fault Models for Systems with Multiple Timers.
TestCom 2005: 192-208 |
15 | EE | Mariusz A. Fecko,
Christopher M. Lott:
XML-based requirements engineering for an electronic clearinghouse.
Information & Software Technology 47(13): 841-858 (2005) |
2004 |
14 | EE | Mariusz A. Fecko,
Ulas C. Kozat,
Sunil Samtani,
M. Ümit Uyar,
Ibrahim Hökelek:
Dynamic survivable resource pooling in mobile ad-hoc networks.
ISCC 2004: 196-201 |
13 | EE | Jianping Zou,
M. Ümit Uyar,
Mariusz A. Fecko,
Sunil Samtani:
Preferential treatment of SCTP subflows: analysis and simulation.
ISCC 2004: 810-815 |
12 | EE | M. Ümit Uyar,
Jianliang Zheng,
Mariusz A. Fecko,
Sunil Samtani,
Phillip T. Conrad:
Evaluation of architectures for reliable server pooling in wired and wireless environments.
IEEE Journal on Selected Areas in Communications 22(1): 164-175 (2004) |
2003 |
11 | EE | Mariusz A. Fecko,
M. Ümit Uyar,
Ali Y. Duale:
Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.
FORTE 2003: 273-288 |
10 | EE | M. Ümit Uyar,
Jianliang Zheng,
Mariusz A. Fecko,
Sunil Samtani:
Reliable Server Pooling in Highly Mobile Wireless Networks.
ISCC 2003: 627-632 |
9 | EE | M. Ümit Uyar,
Jianliang Zheng,
Mariusz A. Fecko,
Sunil Samtani:
Performance Study of Reliable Server Pooling.
NCA 2003: 205- |
8 | EE | Mariusz A. Fecko,
M. Ümit Uyar,
Ali Y. Duale,
Paul D. Amer:
A technique to generate feasible tests for communications systems with multiple timers.
IEEE/ACM Trans. Netw. 11(5): 796-809 (2003) |
7 | EE | M. Ümit Uyar,
Mariusz A. Fecko,
Ali Y. Duale,
Paul D. Amer,
Adarshpal S. Sethi:
Experience in developing and testing network protocol software using FDTs.
Information & Software Technology 45(12): 815-835 (2003) |
2002 |
6 | EE | Mariusz A. Fecko,
Christopher M. Lott:
Improving the Requirements Engineering Process for an Electronic Clearinghouse.
RE 2002: 52-60 |
5 | EE | Mariusz A. Fecko,
Christopher M. Lott:
Lessons learned from automating tests for an operations support system.
Softw., Pract. Exper. 32(15): 1485-1506 (2002) |
2000 |
4 | | Mariusz A. Fecko,
Paul D. Amer,
M. Ümit Uyar,
Ali Y. Duale:
Test Generation in the Presence of Conflicting Timers.
TestCom 2000: 301- |
3 | EE | Mariusz A. Fecko,
M. Ümit Uyar,
Paul D. Amer,
Adarshpal S. Sethi,
Theodore Dzik,
R. Menell,
Michael McMahon:
A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220.
Computer Communications 23(12): 1196-1213 (2000) |
1999 |
2 | EE | M. Ümit Uyar,
Mariusz A. Fecko,
Adarshpal S. Sethi,
Paul D. Amer:
Testing protocols modeled as FSMs with timing parameters.
Computer Networks 31(18): 1967-1988 (1999) |
1998 |
1 | | Mariusz A. Fecko,
M. Ümit Uyar,
Adarshpal S. Sethi,
Paul D. Amer:
Issues in conformance testing: multiple semicontrollable interfaces.
FORTE 1998: 111-126 |