Invariant relations for affine loops
Ghardallou, Wided, Mohammadi, Hessamaldin, Linger, Richard C., Pleszkoch, Mark, Loh, JiMeng, Mili, Ali
Published in Acta informatica (01.09.2024)
Published in Acta informatica (01.09.2024)
Get full text
Journal Article
Computing Program Functions
Mohammadi, Hessamaldin, Ghardallou, Wided, Linger, Richard C, Mili, Ali
Published in 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2022)
Published in 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2022)
Get full text
Conference Proceeding
Introducing function extraction into software testing
Pleszkoch, Mark G., Linger, Richard C., Hevner, Alan R.
Published in ACM SIGMIS Database: the DATABASE for Advances in Information Systems (31.07.2008)
Published in ACM SIGMIS Database: the DATABASE for Advances in Information Systems (31.07.2008)
Get full text
Journal Article
Trade Publication Article
Survivability: protecting your critical systems
Ellison, R.J., Fisher, D.A., Linger, R.C., Lipson, H.F., Longstaff, T.A., Mead, N.R.
Published in IEEE internet computing (01.11.1999)
Published in IEEE internet computing (01.11.1999)
Get full text
Journal Article
A Service-Oriented Composition Framework with QoS Management
Fung, Casey K, Hung, Patrick C.K, Linger, Richard C, Wang, Guijun, Walton, Gwendolyn H
Published in International journal of web services research (01.07.2006)
Published in International journal of web services research (01.07.2006)
Get full text
Journal Article
The incremental development process in Cleanroom software engineering
Trammell, Carmen J., Pleszkoch, Mark G., Linger, Richard C., Hevner, Alan R.
Published in Decision Support Systems (22.04.1996)
Published in Decision Support Systems (22.04.1996)
Get full text
Journal Article
Computational Evaluation of Software Security Attributes
Walton, G.H., Longstaff, T.A., Linger, R.C.
Published in 2009 42nd Hawaii International Conference on System Sciences (01.01.2009)
Published in 2009 42nd Hawaii International Conference on System Sciences (01.01.2009)
Get full text
Conference Proceeding
Next-Generation Software Engineering Introduction to Minitrack
Hevner, Alan R., Linger, Richard C., Walton, Gwendolyn H.
Published in 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) (01.01.2007)
Published in 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) (01.01.2007)
Get full text
Conference Proceeding
Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior
Linger, R.C., Pleszkoch, M.G., Burns, L., Hevner, A.R., Walton, G.H.
Published in 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) (01.01.2007)
Published in 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) (01.01.2007)
Get full text
Conference Proceeding
Extending Business Process Execution Language for Web Services with Service Level Agreements Expressed in Computational Quality Attributes
Fung, C.K., Hung, P.C.K., Linger, R.C., Walton, G.H.
Published in Proceedings of the 38th Annual Hawaii International Conference on System Sciences (2005)
Published in Proceedings of the 38th Annual Hawaii International Conference on System Sciences (2005)
Get full text
Conference Proceeding
Flow-Service-Quality (FSQ) engineering: foundations for high-assurance network systems development
Linger, R.C., Hevner, A.R., Walton, G., Pleszkoch, M.G.
Published in Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings (2004)
Published in Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings (2004)
Get full text
Conference Proceeding