Theodore W. Manikas - Publications
Computer Security and Disaster Tolerance
-
W. Chen, X. Wen, C. Hong, T.W. Manikas, M.A. Thornton, and P. Gui, “Secure Controller Area Network (CAN) Transceiver with Embedded Authentication Support”, IEEE Trans. Circuits and Systems I, to appear
-
Hong, Can, Weizhong Chen, Xianshan Wen, Theodore W. Manikas, Ping Gui, and Mitchell A. Thornton. 2024. "Controller Area Network (CAN) Bus Transceiver with Authentication Support and Enhanced Rail Converters" Chips 3, no. 4: 361-378.
-
A. Sinha, M. Taylor, N. Srirama, T. Manikas, E.C. Larson and M.A. Thornton, “Industrial Control System Anomaly Detection Using Convolutional Neural Network Consensus”, 2021 5th IEEE Conference on Control Technology and Applications (CCTA), 2021, pp. 693-700 (PDF).
-
S. A. Alhelaly, J. Dworak, K. Nepal, T. Manikas, P. Gui and A. L. Crouch, "3D Ring Oscillator based Test Structures to Detect a Trojan Die in a 3D Die Stack in the Presence of Process Variations," IEEE Transactions on Emerging Topics in Computing, vol. 9, no. 2, pp. 774-786, 1 April-June 2021 (PDF).
-
T.W. Manikas and M.A. Thornton, “Model Checking for Security Analysis of Cyber-Physical Systems”, 2nd International Conference on Data Intelligence and Security (ICDIS 2019), South Padre Island, TX, USA, June 2019.
-
S. Alhelaly, J. Dworak, T. Manikas, P. Gui, K. Nepal and A. L. Crouch, "Detecting a Trojan die in 3D stacked integrated circuits," 2017 IEEE North Atlantic Test Workshop (NATW), Providence, RI, USA, May 2017, pp. 1-6, (PDF).
-
K. N. Smith, M. A. Taylor, A. A. Carroll, T. W. Manikas and M. A. Thornton, "Automated Markov-chain based analysis for large state spaces," 2017 Annual IEEE International Systems Conference (SysCon), Montreal, QC, Canada, 2017, pp. 1-8, (PDF).
-
P.C. Davis, M.A. Thornton, T.W. Manikas, “Reliability Block Diagram Extensions for Non-Parametric Probabilistic Analysis”, Proc. 10th Annual IEEE Systems Conference (SysCon), Apr. 2016, pp. 927-932,
(PDF).
-
T.W. Manikas, M.A. Thornton, S. Nagayama, “An Improved Methodology for System Threat Analysis Using Multiple-Valued Logic and Conditional Probabilities”, Proc. Society for Design and Process Science Conf. (SDPS 2015), Nov. 2015, (PDF).
-
S. Nagayama, T. Sasao, J. Butler, M. Thornton and T. Manikas, "Edge Reduction for EVMDDs to Speed Up Analysis of Multi-State Systems", Proc. 45th IEEE
International Symposium on Multiple-Valued Logic, May 2015, pp. 170-175, (PDF)
.
-
T.W. Manikas, M.A. Thornton, D.Y. Feinstein, "Modeling System Threat
Probabilities Using Mixed-Radix Multiple-Valued Logic Decision
Diagrams", Journal of Multiple-valued Logic and Soft
Computing, v.24.1-4, pp. 135-149, 2015, [Invited Paper].
-
S. Nagayama, T. Sasao, J. Butler, M. Thornton and T. Manikas, "On
Optimizations of Edge-Valued MDDs for Fast Analysis of Multi-State
Systems", IEICE Transactions on Information and Systems,
Vol. E97-D, No. 9, pp. 2234-2242, Sep. 2014, (PDF)
-
M. Thornton, T. Manikas, S. Szygenda and S. Nagayama, "System
Probability Distribution Modeling using MDDs", Proc. 44th IEEE
International Symposium on Multiple-Valued Logic, May 2014, pp. 196-201, (PDF)
-
S. Nagayama, T. Sasao, J. Butler, M. Thornton and T. Manikas,
"Analysis Methods of Multi-State Systems Partially Having Dependent
Components Using Multiple-Valued Decision Diagrams", Proc. 44th IEEE
International Symposium on Multiple-Valued Logic, May 2014, pp. 190-195, (PDF)
-
T.W. Manikas, M.A. Thornton, and F.R. Chang, "Mission Planning
Analysis using Decision Diagrams", 2013 Reed Muller Workshop,
May 2013. (PDF)
-
S. Pham, J.L. Dworak, and T.W. Manikas, "An Analysis of Differences
between Trojans inserted at RTL and at Manufacturing with Implications
for their Detectability", 2012 IEEE North Atlantic Test
Workshop, (PDF)
-
T.W. Manikas, D.Y. Feinstein, M.A. Thornton, "Modeling Medical System
Threats with Conditional Probabilities Using Multiple-Valued Logic
Decision Diagrams", Proc. 42nd IEEE International Symposium on
Multiple-Valued Logic (ISMVL 2012), May 2012, pp. 244-249. (PDF)
-
T.W. Manikas, M.A. Thornton, D.Y. Feinstein, "Using Multiple-Valued
Logic Decision Diagrams to Model System Threat Probabilities", Proc. 41st
IEEE International Symposium on Multiple-Valued Logic (ISMVL-11),
May 2011, pp. 263-267. (PDF)
- T.W. Manikas, L.L. Spenner, P.D. Krier, M.A. Thornton, S. Nair,
and S.A. Szygenda, "An Axiomatic Analysis Approach for Large-Scale
Disaster-Tolerant Systems Modeling", Journal of Systemics,
Cybernetics and Informatics, vol. 9, no. 1, 2011, pp. 89-93.
(PDF)
- T.W. Manikas, "Modeling of Large-Scale Disaster-Tolerant
Systems", Society for Design and Process Science Conf. (SDPS
2010), June 2010. (PDF)
- T.W. Manikas, L.L. Spenner, P.D. Krier, M.A. Thornton, S. Nair,
and S.A. Szygenda,"An Axiomatic Analysis Approach for
Large-Scale Disaster-Tolerant Systems Modeling",
Int. Multi-Conf on Complexity, Informatics, and Cybernetics
(IMCICÂ’10), April 2010, [Best Paper Award]. (PDF)
- P. Ongsakorn, K. Turney, M. Thornton, S. Nair, S. Szygenda, and
T. Manikas,"Cyber Threat Trees for Large System Threat Cataloging
and Analysis", IEEE Int. Systems Conference, April
2010. (PDF)
- L. Spenner, P. Krier, M. Thornton, S. Nair, S. Szygenda, and
T. Manikas, "Large System Decomposition and Simulation
Methodology Using Axiomatic Analysis", IEEE Int. Systems
Conference, April 2010. (PDF)
- T.W. Manikas and M.A. Thornton, "Axiomatic Analysis and Cyber
Threat Tree Models for the Development of Large-Scale
Disaster-Tolerant Information Security Systems", 2010
Symposium on Information Systems and Computing Technology Network
(ISaCTN), April 2010.
VLSI and Nanotechnology Circuit Design and Test
-
A. Coyle, H. Jiang, J. Dworak, T. Manikas, and K. Nepal, “Dual Use Circuitry for Early Failure Warning and Test”, 25th International Symposium on Quality Electronic Design (ISQED'24), San Francisco, CA, USA, 2024, pp. 1-8.,
-
A. Coyle, H. Jiang, J. Dworak, T. Manikas, and K. Nepal, “Leveraging Canary Flip-Flops in MISR for Superior SDC Detection", Presented at DISCC 2023 (2nd Workshop on Data Integrity and Secure Cloud Computing) held in conjunction with the 56th International Symposium on Microarchitecture (MICRO 2023).
-
A. Coyle, H. Jiang, J. Dworak, T. Manikas, and K. Nepal, “Why Should DFT Stop at Test? Reusing DFT in Functional Mode”, IMTR23: 2nd Workshop on Intelligent Methods for Test and Reliability, May 25-26, 2023, Venice, Italy
-
E. Yassien, Y. Xu, H. Jiang, T. Nyugen, J. Dworak, T. Manikas, and K. Nepal, “Harvesting Wasted Clock Cycles for Efficient Online Testing”, 2023 IEEE European Test Symposium (ETS), Venezia, Italy, 2023, pp. 1-6, doi: 10.1109/ETS56758.2023.10173955.
-
H. Jiang, F. Zhang, J. Dworak, K. Nepal and T. Manikas, "Increased Detection of Hard-to-Detect Stuck-at Faults during Scan Shift", Journal of Electronic Testing: Theory and Applications (JETTA) , 2023, 39(2), 227–243. https://doi.org/10.1007/s10836-023-06060-z
(Best Paper Award)
-
H. Jiang, J. Dworak, K. Nepal and T. Manikas, "Enhanced DFT for Fortuitous Detection of Transition Faults During Scan Shift," 2022 IEEE 31st Microelectronics Design & Test Symposium (MDTS), 2022, pp. 1-6.
-
Y. Sun, H. Jiang, L. Ramakrishnan, J. Dworak, K. Nepal, T. Manikas, R.I. Bahar, “Low Power Shift and Capture through ATPG-Configured Embedded Enable Capture Bits”, 2021 IEEE International Test Conference (ITC), pp. 319-323 (PDF).
-
Y. Sun, F. Zhang, H. Jiang, K. Nepal, J. Dworak, T. Manikas, R.I. Bahar, “Repurposing FPGAs for Tester Design to Enhance Field-Testing in a 3D Stack”, Journal of Electronic Testing: Theory and Applications (JETTA), Dec. 2019 (PDF)
-
Y. Sun, H. Jiang, L. Ramakrishnan, M. Segal, J. Dworak, T. Manikas, K. Nepal, R.I. Bahar, “Test Architecture for Fine Grained Capture Power Reduction”, 2019 26th IEEE International Conference on Electronics, Circuits and Systems (ICECS), Genova, Italy from 27-29, November 2019 (PDF)
-
Y. Sun, H. Jiang, L. Ramakrishnan, M. Segal, J. Dworak, K. Nepal, T. Manikas, and R. I. Bahar, “Scan Segment Disable for Capture Power Reduction for Low-Power Decompressed Patterns”, 2019 IEEE North Atlantic Test Workshop (NATW), Essex, VT, USA, May 2019
-
F. Zhang, Y. Sun, X. Shen, K. Nepal, J. Dworak, T. Manikas, P. Gui, R.I. Behar, A. Crouch, and J. Potter, “Using Existing Reconfigurable Logic in 3D Die Stacks for Test”, 25th IEEE North Atlantic Test Workshop, May 2016, (IEEE Excellence in Design and Test Engineering Award) . (PDF)
-
K. Nepal, S. Alhelaly, J. Dworak, R.I. Bahar, T. Manikas, and P. Gui,"Repairing a 3D Die-Stack Using Available Programmable Logic", IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, v. 34, n. 5, pp. 849-861, May 2015. (PDF)
-
K. Nepal, X. Shen, J. Dworak, T. Manikas, R.I. Bahar, "Built-in
Self-Repair in a 3D Die Stack Using Programmable Logic", 16th IEEE Symp. Defect and Fault Tolerance in VLSI and Nanotechnology
Systems, Oct. 2013, pp. 243-248. (PDF)
-
K. Nepal, X. Shen, J. Dworak, T. Manikas, R.I. Bahar, "Harnessing an
FPGA for Built-in Self-Repair in a 3D Die Stack", 22nd IEEE North
Atlantic Test Workshop, May 2013.
-
M.A. Thornton and T.W. Manikas, "Spectral Response of Ternary Logic
Netlists", Proc. 43rd IEEE International Symposium on
Multiple-Valued Logic (ISMVL 2013), May 2013, pp. 109-116. (PDF)
- T.W. Manikas, "Integrated Circuit Channel Routing Using a
Pareto-Optimal Genetic Algorithm", Journal of Circuits, Systems,
and Computers, vol. 21, no. 5, Aug. 2012. (PDF)
- D. Chatterjee and T.W.
Manikas, "On-Chip Thermal Optimisation by
Whitespace Reallocation using a Constrained Particle-Swarm Optimisation Algorithm", IET Circuits,
Devices, and Systems, Vol. 4, no. 3, May 2010, pp. 251-260.
(PDF)
- D. Chatterjee, T.W. Manikas, I. Markov, "COOLER- A Fast
Multiobjective Fixed-outline Thermal Floorplanner",
Proc. 3rd Annual Austin Conf. on Integrated Systems and Circuits (ACISC-08), May 2008. (PDF)
-
T.W. Manikas and D. Teeters, "Multiple-Valued Logic Memory System
Design Using Nanoscale Electrochemical Cells", Proc 38th IEEE
International Symposium on Multiple-Valued Logic (ISMVL-08), 2008,
pp. 197-201.(PDF)
- P.C. Utekar, T.W.
Manikas, and D. Teeters, "Nanobattery-crossbar system, a promising
candidate for future nanoscale data storage", Proc. 213th ECS (ElectroChemical Society) Meeting, 2008.
- "Nanoscale Power
and Memory Unit Design for Nanoscale Sensor Systems", T.W. Manikas
and D. Teeters, Proceedings of the 53rd ISA Int. Instrumentation ,
2007. (PDF)
- "A Genetic
Algorithm for Non-Slicing Floorplan Representation", D. Chatterjee
and T.W. Manikas, Proceedings of National Conference on Intelligent
Systems (NCIS), 2007. (PDF)
- "Power-Density
Aware Floorplanning for Reducing Maximum On-Chip Temperature", D.
Chatterjee and T.W. Manikas, Proceedings of 18th IASTED International
Conference on Modelling and Simulation (ICMS),
pp. 319-324, 2007. (PDF)
- C.M. Linnet and T.W.
Manikas, "A Genetic Algorithm for Binary Decision Diagram Variable
Ordering", Proceedings of the 81st AAAS-SWARM Annual Meeting, 2006.
- T.W. Manikas and G.R.
Kane, "Partitioning Effects on Placement Performance for VLSI Design", Proceedings
of the 78th AAAS-SWARM Annual Meeting, 2003.
- T.W. Manikas
and M.H. Mickle, "A Genetic
Algorithm for Mixed Macro and Standard Cell Placement", Proc. 45th IEEE Int. Midwest
Symp. on Circuits and
Systems, 2002, p. 115-118. (PDF)
- L. Li, T.W. Manikas, and H. Jin, "Channel Height
Estimation in VLSI Design", Proc.
45th IEEE Int. Midwest Symp. on
Circuits and Systems , 2002, p. 611-614. (PDF)
- T.W. Manikas and G.R. Kane, "Partitioning
Effects on Estimated Wire Length for Mixed Macro and Standard Cell
Placement", Proc. 11th IEEE/ACM Int.
Workshop on Logic & Synthesis (IWLS '02), 2002, p. 27-30. (PDF)
- T.W.
Manikas and G.R. Kane, "Standard Cell
Partition Size Variance and its Effect on Physical Design", Proc. 10th IEEE Int. Workshop on Logic &
Synthesis (IWLS '01), 2001, p. 265-268. (PDF)
- T.W. Manikas and J.T. Cain, "Genetic Algorithms
vs. Simulated Annealing: A Comparison of Approaches for Solving the
Circuit Partitioning Problem", Tech.
Report TR-96-101, University of Pittsburgh, Dept. of Electrical
Engineering, May 1996. (PDF)
Engineering Education
-
M.A. Thornton, T.W. Manikas, and P.A. Laplante, "Embedded and
Real-time Systems Classes in Traditional and Distance Education
Format", Proc. 43rd Annual Frontiers in Education Conf. (FIE
2013), Oct. 2013, pp. 1379-1385. (PDF)
- P. LoPresti,
T.W. Manikas, and J. Kohlbeck, "An
Electrical Engineering Summer Academy for Middle School and High School
Students", IEEE Transactions on Education, vol. 53, no. 1,
Feb. 2010, pp. 18-25.(PDF)
- P. G. LoPresti, T.W. Manikas, J. Kohlbeck,
"An Electrical Engineering Summer Academy for Middle School and High
School Students", Proceedings of the 2008 ASEE Midwest Section
Conference, 2008.
- T.W. Manikas and K.
Ashenayi, "Industry-University Partnerships for Undergraduate
Engineering Internships", Proceedings of the 2008 ASEE Midwest
Section Conference, 2008. (PDF)
- "Developing and
Funding Undergraduate Engineering Internships", T.W. Manikas and G.R.
Kane, Proceedings of the 2007 ASEE Midwest Section Conference, 2007. (PDF)
- "Developing
Laboratory Courses in a Resource-Constrained Environment", T.W.
Manikas, D.E. Jussaume, and G.R. Kane,
Proceedings of the 2005 ASEE Midwest Section Conference, University of Arkansas,
Sept. 14-16, 2005. (PDF)
- "Developing
Graduate Research Skills using Guided Reading Assignments", T.W.
Manikas and G.R. Kane, Proc. 39th ASEE Midwest Section Conf., 2004.
(PDF)
- "A VLSI Design
Course in a Resource-Constrained Environment", T.W. Manikas and G.R.
Kane, Proc. 38th ASEE Midwest Section Conf., 2003. (PDF)
- "A Digital Logic
Design Laboratory for Electrical Engineering and Computer Science
Undergraduates", T.W. Manikas, G.R. Kane, and J.G. Kohlbeck, Proc. 37th ASEE Midwest Section Conf.,
2002. (PDF)
- "A Senior Design
Course That Simulates an Industrial Engineering Environment", M.O.
Durham and T.W. Manikas, Proc. 36th ASEE Midwest Section Conf., 2001. [Best
Paper Award] (PDF)
Other Research Articles
- K. H-Sedighi,
K. Ashenayi, T.W. Manikas, and R.L. Wainwright, "A Genetic Algorithm
for Autonomous Navigation Using Variable-Monotone Paths", Int.
Journal of Robotics and Automation, vol. 24, no. 4, 2009, pp. 367-373.
- B. Gahring,
T. Manikas, and K. Ashenayi, "Developing an Autonomous Robot
Navigation System Using Genetic Algorithms", Proceedings of the
2009 AAAS-SWARM Annual Meeting, 2009.
- M. Samiee, K. Ashenayi,
and T. Manikas, "Investigation of Characteristics of Production Pipe
as Related to Data Communication in an Oil Well", Proceedings of
the 2009 AAAS-SWARM Annual Meeting, 2009.
- T.W. Manikas, K. Ashenayi, R.L.
Wainwright, "Genetic Algorithms
for Autonomous Robot Navigation", IEEE Instrumentation & Measurement Magazine, vol.
10, no. 6, Dec. 2007, pp. 26-31. [Invited Paper] (PDF)
- D.A. Ashlock,
T.W. Manikas, and K. Ashenayi, "Evolving a Diverse
Collection of Robot Path Planning Problems", Proc. 2006 IEEE Congress on Evolutionary
Computation (CEC2006), p. 1837-1844 (PDF)
- A. Hand, J. Godugu,
K. Ashenayi, T.W. Manikas, and R.L. Wainwright, "Benchmarking of
Robot Path Planning Algorithms", in Intelligent
Engineering Systems Through Artificial Neural Networks: Smart Engineering
Systems Design: Neural Networks, Fuzzy Logic, Evolutionary Programming,
Complex Systems and Artificial Life, C.H. Dagli,
et al., Editors. 2005, ASME Press: New York. pp. 377-83. (PDF)
- A. Hermanu, T.W. Manikas, K. Ashenayi,
and R.L. Wainwright, “Autonomous Robot
Navigation Using a Genetic Algorithm with an Efficient Genotype
Structure”, in Intelligent Engineering Systems Through
Artificial Neural Networks: Smart Engineering Systems Design: Neural
Networks, Fuzzy Logic, Evolutionary Programming, Complex Systems and
Artificial Life, C.H. Dagli, et al.,
Editors. 2004, ASME Press: New York. pp. 319-324. (PDF)
- K. H-Sedighi, K. Ashenayi, T.W. Manikas, R.L. Wainwright,
H.M. Tai, "Autonomous Local
Path Planning for a Mobile Robot Using a Genetic Algorithm", Proc. 2004 IEEE Congress on Evolutionary Computation
(CEC2004), p. 1338-1345. (PDF)
- T. Geisler and T.W. Manikas, "Autonomous Robot
Navigation System Using a Novel Value Encoded Genetic Algorithm", Proc. 45th IEEE Int.
Midwest Symp. on
Circuits and Systems, 2002, p. 45-48. (PDF)
Webpage last updated 2025 Jan 29