M. Vouk

发表

Verifying Constraints on Web Service Compositions

Munindar P. Singh, Z. Cheng, M. Vouk, 2002 .

Fault-tolerant software voters based on fuzzy equivalence relations

D. McAllister, M. Vouk, K. Kim, 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

A modeling and execution environment for distributed scientific workflows

Calton Pu, Arie Shoshani, Reagan Moore, 2003, 15th International Conference on Scientific and Statistical Database Management, 2003..

Empirical studies of predicate-based software testing

Mladen A. Vouk, Kuo-Chung Tai, Amit M. Paradkar, 1994, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering.

On testing of functionally equivalent components of fault-tolerant software

D. McAllister, M. Vouk, K. Tai, 1986 .

SDStorage: A Software Defined Storage Experimental Framework

Mahmoud Al-Ayyoub, Yaser Jararweh, Mladen A. Vouk, 2015, 2015 IEEE International Conference on Cloud Engineering.

1 A Practical Implementation of Maximum Likelihood Voting

D. McAllister, M. Vouk, Kalhee Kim, 2007 .

Locally Invertible Multidimensional Convolutional Encoders

Mladen A. Vouk, Donald L. Bitzer, Ruben G. Lobo, 2012, IEEE Transactions on Information Theory.

Analysis of coding theory based models for initiating protein translation in prokaryotic organisms

Mladen A. Vouk, Donald L. Bitzer, Elebeoba May, 2002 .

Predictive models for identifying software components prone to failure during security attacks

Michael Gegick, Mladen A. Vouk, Laurie Williams, 2008 .

Simulation of Fusion Plasmas: Current Status and Future Direction

L. L. Lao, Scott Klasky, J. Manickam, 2007 .

Scientific Process Automation and Workflow Management

Cláudio T. Silva, Matthew B. Jones, N. Podhorszki, 2009, Scientific Data Management.

Participation of Women in Information Technology

Tiffany D. Barnes, M. Vouk, S. Berenson, 2006 .

Two-phonon assisted free exciton recombination radiation from intrinsic silicon

M. Vouk, E. C. Lightowlers, 1977 .

Free Energy Analysis on the Coding Region of the Individual Genes of Saccharomyces cerevisiae

C. Xing, D. Bitzer, M. Vouk, 2006, 2006 International Conference of the IEEE Engineering in Medicine and Biology Society.

Searching for ribosome-mRNA hybridization sites

D. Bitzer, M. Vouk, J. Starmer, 2006, 2006 IEEE International Workshop on Genomic Signal Processing and Statistics.

Scientific Process Automation and Workflow Management

Scott Klasky, Carole A. Goble, Mladen A. Vouk, 2009, Scientific Data Management.

Simulation of Fusion Plasmas: Current Status and Future Direction

D. Keyes, N. Podhorszki, Choong-Seock Chang, 2007 .

Using Redundancy to Detect Security Anomalies: Towards IoT security attack detectors

M. Vouk, R. Venkatakrishnan, Mladen A. Vouk, 2016, Ubiquity.

The Effects of the Business Model on Object-Oriented Software Development Productivity

Mladen A. Vouk, Thomas E. Potok, T. Potok, 1997, IBM Syst. J..

Accelerating the scientific exploration process with scientific workflows

Bertram Ludäscher, I. Altintas, A. Shoshani, 2006 .

SU(6) quadrupole phonon model for even and odd nuclei and the SU(3) limit

M. Vouk, L. F. Canto, V. Paar, 1982 .

Data management on the fusion computational pipeline

D. Silver, S. Klasky, M. Beck, 2005 .

Binding motif based code models for prokaryotic translation initiation

D. Bitzer, M. Vouk, E. May, 2003, 4th International IEEE EMBS Special Topic Conference on Information Technology Applications in Biomedicine, 2003..

Free energy periodicity in E.coli

D. Bitzer, M. Vouk, E. May, 1999, Proceedings of the First Joint BMES/EMBS Conference. 1999 IEEE Engineering in Medicine and Biology 21st Annual Conference and the 1999 Annual Fall Meeting of the Biomedical Engineering Society (Cat. N.

Toward a first-principles integrated simulation of tokamak edge plasmas

Roselyne B. Tchoua, L. Greengard, D. Keyes, 2008 .

A high resolution investigation of the recombination radiation from Si containing the acceptors B, Al, Ga, In and Tl

M. Vouk, E. C. Lightowlers, 1977 .

Comparison of the Q-Matrix Clustering Method with Factor Analysis and K-Means Cluster Analysis

D. Bitzer, T. Barnes, M. Vouk, 2022 .

On Locally Invertible Rate- Convolutional Encoders

D. Bitzer, M. Vouk, A. Dholakia, 1998 .

ENGINEERING OF TELECOMMUNICATIONS SOFTWARE1

M. Vouk, 2007 .

Using Redundancy to Detect Security Anomalies: Towards IoT security attack detectors

M. Vouk, R. Venkatakrishnan, 2016, Ubiquity.

Network Computing

Munindar P. Singh, M. Vouk, 1999 .

An error-correcting code framework for genetic sequence analysis

Mladen A. Vouk, Donald L. Bitzer, Elebeoba E. May, 2003, J. Frankl. Inst..

Luminescence associated with transitions from an excited state of the bound excitons in P, As, Sb and Bi doped Si

M. Vouk, M. Henry, E. C. Lightowlers, 1977 .

Conditions necessary for the formation of the electron-hole liquid in diamond and calculation of its parameters

M. Vouk, 1979 .

An investigation of the recombination radiation from the electron-hole condensate in intrinsic silicon

M. Vouk, E. C. Lightowlers, 1975 .

NCSU's Virtual Computing Lab: A Cloud Computing Solution

Mladen A. Vouk, Samuel F. Averitt, Marc I. Hoit, 2009, Computer.

High Consequence Systems and Semantic Computing

Taghi M. Khoshgoftaar, Raymond A. Paul, Bojan Cukic, 2013, Int. J. Semantic Comput..

Software defined cloud: Survey, system and evaluation

Mahmoud Al-Ayyoub, Yaser Jararweh, Mladen A. Vouk, 2016, Future Gener. Comput. Syst..

Free energy periodicity in prokaryotic coding and its role in identification of +1 ribosomal frameshifting in the Escherichia Coli K-12 gene prfb

M. Vouk, M.A. Vouk, M. Mishra, 2004, The 26th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

Assessing Run-time Overhead of Securing Kepler

Mladen A. Vouk, Donghoon Kim, M. Vouk, 2016, ICCS.

A Model for Sharing of Confidential Provenance Information in a Query Based System

Mladen A. Vouk, Meiyappan Nagappan, M. Vouk, 2008, IPAW.

Predicting Shine–Dalgarno Sequence Locations Exposes Genome Annotation Errors

Mladen A. Vouk, Donald L. Bitzer, Anne-Marie Stomp, 2006, PLoS Comput. Biol..

What can rna hybrids tell us about translation

Mladen A. Vouk, Donald L. Bitzer, Joshua D. Starmer, 2006 .

Modeling ribosome dynamics to optimize heterologous protein production in escherichia coli

Mladen A. Vouk, Donald L. Bitzer, S. K. Vu, 2014, 2014 IEEE Global Conference on Signal and Information Processing (GlobalSIP).

Productivity analysis of object‐oriented software developed in a commercial environment

Mladen A. Vouk, Thomas E. Potok, Andy Rindos, 1999 .

Productivity Analysis of Object-Oriented Software Development in a Commercial Environment

Mladen A. Vouk, Thomas E. Potok, Andrew Rindos, 1999, Softw. Pract. Exp..

Workflow and End-User Quality of Service Issues in Web-Based Education

Mladen A. Vouk, Donald L. Bitzer, Richard L. Klevans, 1999, IEEE Trans. Knowl. Data Eng..

Proton-hole states in 57Co studied with the 58Ni(d, 3He) 57Co reaction at 78 MeV

M. Vouk, W. Oelert, A. Marinov, 1985 .

Study of proton-hole states in 61Co using the 62Ni(d, 3He)61Co reaction at 78 MeV

M. Vouk, W. Oelert, G. Berg, 1984 .

Low-lying levels of 77Se studied by thermal neutron capture and evidence for a new term in the E2 operator of RQM (IBM)

M. Vouk, K. Schreckenbach, G. Barreau, 1985 .

Analysis of Free Energy Signals Arising from Nucleotide Hybridization Between rRNA and mRNA Sequences during Translation in Eubacteria

Mladen A. Vouk, Donald L. Bitzer, Anne-Marie Stomp, 2006, EURASIP J. Bioinform. Syst. Biol..

ESCHERICHIA COLI PROTEIN CODING SEQUENCE DETECTION BY ANALYSIS OF FREE ENERGY PERIODICITY

D. Bitzer, M. Vouk, D. Rosnick, 2022 .

An Approach to the Modeling and Analysis of Software Production Processes

Mladen A. Vouk, Salah E. Elmaghraby, Elizabeth I. Baxter, 1995 .

Introduction to scientific workflow management and the Kepler system

Scott Klasky, Mladen A. Vouk, Bertram Ludäscher, 2006, SC.

Collaborative monitoring and analysis for simulation scientists

Scott Klasky, Mladen A. Vouk, Cláudio T. Silva, 2010, 2010 International Symposium on Collaborative Technologies and Systems.

Structural and dialogue act modeling in task-oriented tutorial dialogue

Kristy Elizabeth Boyer, Mladen A. Vouk, James C. Lester, 2010 .

Investigating the Relationship Between Dialogue Structure and Tutoring Effectiveness: A Hidden Markov Modeling Approach

Kristy Elizabeth Boyer, Mladen A. Vouk, James C. Lester, 2011, Int. J. Artif. Intell. Educ..

Abstracting log lines to log event types for mining software system logs

Mladen A. Vouk, Meiyappan Nagappan, M. Vouk, 2010, 2010 7th IEEE Working Conference on Mining Software Repositories (MSR 2010).

Efficiently Extracting Operational Profiles from Execution Logs Using Suffix Arrays

Kesheng Wu, Mladen A. Vouk, Meiyappan Nagappan, 2009, 2009 20th International Symposium on Software Reliability Engineering.

Prioritizing software security fortification throughcode-level metrics

Michael Gegick, Laurie A. Williams, Jason A. Osborne, 2008, QoP '08.

Using VCL technology to implement distributed reconfigurable data centers and computational services for educational institutions

Mladen A. Vouk, Samuel F. Averitt, Andy Kurth, 2009, IBM J. Res. Dev..

Cloud computing — Issues, research and implementations

Mladen A. Vouk, M. Vouk, 2008, ITI 2008 - 30th International Conference on Information Technology Interfaces.

SDIoT: a software defined based internet of things framework

Mahmoud Al-Ayyoub, Yaser Jararweh, Mladen A. Vouk, 2015, Journal of Ambient Intelligence and Humanized Computing.

Automatic test generation for predicates

Mladen A. Vouk, Kuo-Chung Tai, Amit M. Paradkar, 1996, Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering.

Optimizing effectiveness and efficiency of software testing: a hybrid approach

Mladen A. Vouk, Kera Zakiyah Bell, M. Vouk, 2006 .

Specification‐based testing using cause‐effect graphs

Amit Paradkar, K. C. Tai, M. A. Vouk, 1997, Ann. Softw. Eng..

Evaluation of a Predicate-Based Software Testing Strategy

Mladen A. Vouk, Kuo-Chung Tai, Amit M. Paradkar, 1994, IBM Syst. J..

A predicate-based software testing strategy

K. C. Tai, M. A. Vouk, A. Paradkar, 1994 .

Engineering of telecommunications software

Mladen A. Vouk, M. Vouk, 1992 .

On the value of static analysis for fault detection in software

Laurie A. Williams, Mladen A. Vouk, Nachiappan Nagappan, 2006, IEEE Transactions on Software Engineering.

Modeling execution time of multi-stage N-version fault-tolerant software

David F. McAllister, Mladen A. Vouk, Amit M. Paradkar, 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.

Dialogue Act Modeling in a Complex Task-Oriented Domain

Kristy Elizabeth Boyer, Mladen A. Vouk, James C. Lester, 2010, SIGDIAL Conference.

Construction of Reliable Software in Resource‐Constrained Environments

Mladen A. Vouk, Anthony Thyron Rivers, M. Vouk, 2003 .

Theoretical analysis of the SABUL congestion control algorithm

Mladen A. Vouk, Yannis Viniotis, Phoemphun Oothongsap, 2006, Telecommun. Syst..

Experimental Analysis of the SABUL Congestion Control Algorithm

Mladen A. Vouk, Yannis Viniotis, Phoemphun Oothongsap, 2004, NETWORKING.

Increasing technical excellence, leadership and commitment of computing students through identity-based mentoring

Kristy Elizabeth Boyer, Mladen A. Vouk, E. Nathan Thomas, 2010, SIGCSE.

A variable-redundancy hybrid ARQ scheme using invertible convolutional codes

Mladen A. Vouk, Ajay Dholakia, Donald L. Bitzer, 1994, Proceedings of IEEE Vehicular Technology Conference (VTC).

An efficient table-driven decoder for one-half rate convolutional codes

Mladen A. Vouk, Paul D. Franzon, L. Wang, 1992, ACM Southeast Regional Conference.

Cloud Computing – Issues, Research and Implementations

Mladen A. Vouk, M. Vouk, 2008, CIT 2008.

Characterizing communication instruction in computer science and engineering programs: Methods and applications

Mladen A. Vouk, Michael Carter, Gerald C. Gannod, 2012, 2012 Frontiers in Education Conference Proceedings.

Enhancing security of Hadoop in a public cloud

Peng Ning, Mladen A. Vouk, Yu Xianqing, 2015, 2015 6th International Conference on Information and Communication Systems (ICICS).

Investigating the role of student motivation in computer science education through one-on-one tutoring

Kristy Elizabeth Boyer, Mladen A. Vouk, James C. Lester, 2009, Comput. Sci. Educ..

Balancing Cognitive and Motivational Scaffolding in Tutorial Dialogue

Kristy Elizabeth Boyer, Mladen A. Vouk, James C. Lester, 2008, Intelligent Tutoring Systems.

Learner Characteristics and Feedback in Tutorial Dialogue

Kristy Elizabeth Boyer, James C. Lester, Robert Phillips, 2008 .

Deadlock detection of EFSMs using simultaneous reachability analysis

Mladen A. Vouk, Kuo-Chung Tai, Bengi Karaçali, 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

Securing Software Application Chains in a Cloud

Mladen A. Vouk, Donghoon Kim, M. Vouk, 2015, 2015 2nd International Conference on Information Science and Security (ICISS).

Reliability of voting in fault-tolerant software systems for small output-spaces

D. McAllister, M. Vouk, Chien-En Sun, 1990 .

Integrating Communication Instruction Throughout Computer Science and Software Engineering Curricula

Mladen A. Vouk, Gerald C. Gannod, Janet E. Burge, 2011 .

Teaching software testing: Experiences, lessons learned and the path forward

Mladen A. Vouk, Antonia Bertolino, A. Jefferson Offutt, 2011, CSEE&T.

The next generation of integrated air quality modeling: EPA's models-3

Daewon W. Byun, Robin L. Dennis, Carlie J. Coats, 1996 .

Defensive computer-security deception operations: processes, principles and techniques

Mladen A. Vouk, Jim Yuill, Ana I. Anton, 2006 .

Leveraging Hidden Dialogue State to Select Tutorial Moves

Kristy Elizabeth Boyer, James C. Lester, Robert Phillips, 2010 .

Modeling Dialogue Structure with Adjacency Pair Analysis and Hidden Markov Models

Kristy Elizabeth Boyer, Mladen A. Vouk, James C. Lester, 2009, NAACL.

The Influence of Learner Characteristics on Task-Oriented Tutorial Dialogue

Kristy Elizabeth Boyer, Mladen A. Vouk, James C. Lester, 2007, AIED.

Classification of Escherichia coli K-12 ribosome binding sites

E.E. May, M.A. Vouk, D.L. Bitzer, 2006, IEEE Engineering in Medicine and Biology Magazine.

An Empirical Evaluation of Consensus Voting and Consensus Recovery Block Reliability in the Presence of Failure Correlation

David F. McAllister, Mladen A. Vouk, Kalhee Kim, 2007 .

On effectiveness of pairwise methodology for testing network-centric software

M.A. Vouk, K.Z. Bell, M. Vouk, 2005, 2005 International Conference on Information and Communication Technology.

Resource-constrained non-operational testing of software

Mladen A. Vouk, Anthony Thyron Rivers, M. Vouk, 1998, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257).

Early estimation of defect density using an in-process Haskell metrics model

L. Williams, M. Vouk, Mark Sherriff, 2005, A-MOST.

Using In-Process Metrics to Predict Defect Density in Haskell Programs

Mladen A. Vouk, Laurie Williams, Mark Sherriff, 2004 .

Test-driven development as a defect-reduction practice

Laurie A. Williams, Mladen A. Vouk, E. Michael Maximilien, 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..

A development environment for distributed synchronous collaborative programming

Kristy Elizabeth Boyer, Mladen A. Vouk, James C. Lester, 2008, ITiCSE.

SDSecurity: A Software Defined Security experimental framework

Mahmoud Al-Ayyoub, Yaser Jararweh, Mladen A. Vouk, 2015, 2015 IEEE International Conference on Communication Workshop (ICCW).

Early estimation of software quality using in-process testing metrics

Laurie A. Williams, Jason A. Osborne, Mladen A. Vouk, 2005, WoSQ@ICSE.

Coding theory based models for protein translation initiation in prokaryotic organisms.

D. Bitzer, M. Vouk, E. May, 2004, Bio Systems.

Principles of asking effective questions during student problem solving

Kristy Elizabeth Boyer, Mladen A. Vouk, James C. Lester, 2010, SIGCSE.

An Empirically-Derived Question Taxonomy for Task-Oriented Tutorial Dialogue

Kristy Elizabeth Boyer, Mladen A. Vouk, James C. Lester, 2009 .

CS/SE Instructors Can Improve Student Writing without Reducing Class Time Devoted to Technical Content: Experimental Results

Sarah Smith Heckman, Mladen A. Vouk, David Wright, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

Statistical significance and biological relevance of a sinusoidal pattern detected in translational free energy signals

L. Ponnala, D. Bitzer, M. Vouk, 2006, 2006 IEEE International Workshop on Genomic Signal Processing and Statistics.

Free energy based analysis of the coding region of Saccharomyces cerevisiae

C. Xing, D. Bitzer, M. Vouk, 2004, Proceedings. Eighth International Conference on Information Visualisation.

Free energy periodicity in E. coli coding

D. Bitzer, M. Vouk, E. May, 2000, Proceedings of the 22nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (Cat. No.00CH37143).

An empirical study of security problem reports in Linux distributions

M. Vouk, P. Anbalagan, Prasanth Anbalagan, 2009, 2009 3rd International Symposium on Empirical Software Engineering and Measurement.

"Days of the week" effect in predicting the time taken to fix defects

Prasanth Anbalagan, Mladen Vouk, M. Vouk, 2009, DEFECTS '09.

A study of software security problem disclosure, correction and patching processes

Mladen A. Vouk, Prasanth Anbalagan, M. Vouk, 2011 .

A mechanistic model for +1 frameshifts in eubacteria

L. Ponnala, D. Bitzer, M. Vouk, 2007, 0712.2068.

A flexible soft DiffServ test-bed

Mladen A. Vouk, Zyad Dwekat, Yannis Viniotis, 2002, Proceedings. Eleventh International Conference on Computer Communications and Networks.

DiffServ experiments: analysis of the premium service over the Alcatel-NCSU Internet2 testbed

Mladen A. Vouk, Emanuele Jones, Aziz Mohammed, 2002, 2nd European Conference on Universal Multiservice Networks. ECUMN'2001 (Cat. No.02EX563).

Application based resource allocation policies in multiservice networks

Mihail Devetsikiotis, Vladica Stanisic, M. Devetsikiotis, 2005 .

Tracking Files in the Kepler Provenance Framework

Scott Klasky, Mladen A. Vouk, Pierre Mouallem, 2009, SSDBM.

Communication genres: Integrating communication into the software engineering curriculum

Mladen A. Vouk, Michael Carter, Gerald C. Gannod, 2011, 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T).

The Reliable Hybrid Pattern A Generalized Software Fault Tolerant Design Pattern

Mladen A. Vouk, Kalhee Kim, Fonda Jonette Daniels, 1997 .

Composition Constraints for Semantic Web Services

Mladen A. Vouk, Munindar P. Singh, Zhengang Cheng, 2002 .

Diversity-based detection of security anomalies

Mladen A. Vouk, Roopak Venkatakrishnan, M. Vouk, 2014, HotSoS '14.

Towards a Bayesian Approach in Modeling the Disclosure of Unique Security Faults in Open Source Projects

Mladen A. Vouk, Prasanth Anbalagan, M. Vouk, 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

Towards a Unifying Approach in Understanding Security Problems

Mladen A. Vouk, Prasanth Anbalagan, M. Vouk, 2009, 2009 20th International Symposium on Software Reliability Engineering.

"Good enough" software reliability estimation plug-in for Eclipse

Laurie A. Williams, Mladen A. Vouk, Nachiappan Nagappan, 2003, eclipse '03.

Testing Process Guidance for Resource Constrained Software Testing

Mladen A. Vouk, Anthony Thyron Rivers, M. Vouk, 1999 .

Reliability behavior of a large network based education system

Mladen A. Vouk, Donald L. Bitzer, Paritosh Dixit, 1997, Proceedings The Eighth International Symposium on Software Reliability Engineering - Case Studies -.

Reliability and availability of a wide area network-based education system

Mladen A. Vouk, Donald L. Bitzer, Paritosh Dixit, 1996, Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering.

Some issues in multi-phase software reliability modeling

Mladen A. Vouk, Kuo-Chung Tai, M. Vouk, 1993, CASCON.

On operational availability of a large software-based telecommunications system

Mladen A. Vouk, Wendell D. Jones, Randy Cramp, 1992, [1992] Proceedings Third International Symposium on Software Reliability Engineering.

MULTI-VERSION SOFTWARE RELIABILITY THROUGH FAULT-AVOIDANCE AND FAULT-TOLERANCE

David F. McAllister, Mladen A. Vouk, D. McAllister, 1990 .

On back-to-back testing

M.A. Vouk, M. Vouk, Mladen A. Vouk, 1988, Computer Assurance, 1988. COMPASS '88.

Reliability and security analysis of open source software

Mladen A. Vouk, Prasanth Anbalagan, M. Vouk, 2008 .