Mitigating Drift in Time Series Data with Noise Augmentation
Fields, Tonya, Hsieh, George, Chenou, Jules
Published in 2019 International Conference on Computational Science and Computational Intelligence (CSCI) (01.12.2019)
Published in 2019 International Conference on Computational Science and Computational Intelligence (CSCI) (01.12.2019)
Get full text
Conference Proceeding
FPGA Formal Verification: A Local Logic Correctness Approach
Chenou, Jules, Njilla, Laurent, William, Aurelia, Fields, Tonya
Published in 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE) (24.07.2023)
Published in 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE) (24.07.2023)
Get full text
Conference Proceeding
Petri Algebras
Badouel, Eric, Chenou, Jules, Guillou, Goulven
Published in Automata, Languages and Programming (2005)
Published in Automata, Languages and Programming (2005)
Get full text
Book Chapter
Conference Proceeding
Requirements hierarchy in the responsive and formal design process
Gebreyohannes, Solomon, Edmonson, William, Esterline, Albert, Chenou, Jules
Published in 2016 IEEE International Symposium on Systems Engineering (ISSE) (01.10.2016)
Published in 2016 IEEE International Symposium on Systems Engineering (ISSE) (01.10.2016)
Get full text
Conference Proceeding
Formal requirement management for the Responsive and Formal Design process
Gebreyohannes, Solomon, Edmonson, William, Chenou, Jules, Neogi, Natasha, Esterline, Albert
Published in 2015 IEEE International Symposium on Systems Engineering (ISSE) (01.09.2015)
Published in 2015 IEEE International Symposium on Systems Engineering (ISSE) (01.09.2015)
Get full text
Conference Proceeding
Weather-monitoring sensor web for supporting situation awareness
Esterline, Albert, Wright, William, Chenou, Jules
Published in 2014 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA) (01.03.2014)
Published in 2014 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA) (01.03.2014)
Get full text
Conference Proceeding
Small satellite systems design methodology: A formal and agile design process
Edmonson, William, Chenou, Jules, Neogi, Natasha, Herencia-Zapana, Heber
Published in 2014 IEEE International Systems Conference Proceedings (01.03.2014)
Published in 2014 IEEE International Systems Conference Proceedings (01.03.2014)
Get full text
Conference Proceeding
Modeling the relationship between trust and risk in cyberspace
Ntuen, Celestine A, Chenou, Jules, Idoye, Emeka
Published in IISE Annual Conference. Proceedings (01.01.2014)
Get full text
Published in IISE Annual Conference. Proceedings (01.01.2014)
Journal Article
Believability of Sensemaking Support Systems Using a Bayesian Network
Ntuen, Celestine A, Chenou, Jules, Kim, Gwang
Published in IISE Annual Conference. Proceedings (01.01.2010)
Get full text
Published in IISE Annual Conference. Proceedings (01.01.2010)
Journal Article
A case study in sensemaking using Data/Frame Model
Codjoe, Emma Afua Ameng, Ntuen, Celestine, Chenou, Jules
Published in IISE Annual Conference. Proceedings (01.01.2010)
Get full text
Published in IISE Annual Conference. Proceedings (01.01.2010)
Journal Article
Simulation of Sensemaking using Data/Frame Model
Codjoe, Emma A A, Ntuen, Celestine A, Chenou, Jules, Park, Eui, Jiang, Zongliang
Published in IISE Annual Conference. Proceedings (01.01.2011)
Get full text
Published in IISE Annual Conference. Proceedings (01.01.2011)
Journal Article