Mladen A. Vouk

Affiliations:
  • North Carolina State University, Raleigh, USA


According to our database1, Mladen A. Vouk authored at least 142 papers between 1984 and 2018.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2001, "For contributions to engineering of reliable software-based systems.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Developing an Open Source 'Big Data' Cognitive Computing Platform: Big Data (Ubiquity symposium).
Ubiquity, 2018

SECross: securing cross cloud boundary.
Int. J. Cloud Comput., 2018

A formal model towards scientific workflow security in a cloud.
Int. J. Cloud Comput., 2018

2017
A novel framework for software defined based secure storage systems.
Simul. Model. Pract. Theory, 2017

About PaaS security.
Int. J. Cloud Comput., 2017

2016
Using Redundancy to Detect Security Anomalies: Towards IoT security attack detectors: The Internet of Things (Ubiquity symposium).
Ubiquity, 2016

Software defined cloud: Survey, system and evaluation.
Future Gener. Comput. Syst., 2016

Message from the steering committee and general chairs.
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Assessing Run-time Overhead of Securing Kepler.
Proceedings of the International Conference on Computational Science 2016, 2016

Cross-institutional research cyberinfrastructure for data intensive science.
Proceedings of the 2016 IEEE High Performance Extreme Computing Conference, 2016

Embedding Cloud Computing inside Supercomputer Architectures.
Proceedings of the CLOSER 2016, 2016

Cost Analysis Comparing HPC Public Versus Private Cloud Computing.
Proceedings of the Cloud Computing and Services Science - 6th International Conference, 2016

2015
SDIoT: a software defined based internet of things framework.
J. Ambient Intell. Humaniz. Comput., 2015

Toward a Proof of Concept Implementation of a Cloud Infrastructure on the Blue Gene/Q.
Int. J. Grid High Perform. Comput., 2015

Securing Scientific Workflows.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

CS/SE Instructors Can Improve Student Writing without Reducing Class Time Devoted to Technical Content: Experimental Results.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

SDSecurity: A Software Defined Security experimental framework.
Proceedings of the IEEE International Conference on Communication, 2015

SDStorage: A Software Defined Storage Experimental Framework.
Proceedings of the 2015 IEEE International Conference on Cloud Engineering, 2015

SDDC: A Software Defined Datacenter Experimental Framework.
Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015

2014
The Virtual Computing Lab (VCL): An Open Source Cloud Computing Solution Designed Specifically for Education and Research.
Int. J. Serv. Sci. Manag. Eng. Technol., 2014

On Coverage-Based Attack Profiles.
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

Developing CS/SE students' communication abilities through a program-wide framework.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Access Control Policy Evolution: An Empirical Study.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Securing Hadoop in cloud.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Diversity-based detection of security anomalies.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

An analysis of Fedora security profile.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Access control policy evolution: an empirical study.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

A survey of common security vulnerabilities and corresponding countermeasures for SaaS.
Proceedings of the 2014 IEEE GLOBECOM Workshops, Austin, TX, USA, December 8-12, 2014, 2014

Modeling ribosome dynamics to optimize heterologous protein production in escherichia coli.
Proceedings of the 2014 IEEE Global Conference on Signal and Information Processing, 2014

2013
High Consequence Systems and Semantic Computing.
Int. J. Semantic Comput., 2013

Constructing next generation academic cloud services.
Int. J. Cloud Comput., 2013

Integrating communication skills into the computer science curriculum (abstract only).
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Integration of high-performance computing into a VCL cloud.
Proceedings of the 8th Workshop on Virtualization in High-Performance Cloud Computing, 2013

Non-operational testing of software for security issues.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Using software reliability models for security assessment - Verification of assumptions.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012
Locally Invertible Multidimensional Convolutional Encoders.
IEEE Trans. Inf. Theory, 2012

Helping students become better communicators (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Characterizing communication instruction in computer science and engineering programs: Methods and applications.
Proceedings of the IEEE Frontiers in Education Conference, 2012

2011
Investigating the Relationship Between Dialogue Structure and Tutoring Effectiveness: A Hidden Markov Modeling Approach.
Int. J. Artif. Intell. Educ., 2011

A Note on Uncertainty in Real-Time Analytics.
Proceedings of the Uncertainty Quantification in Scientific Computing, 2011

Which code construct metrics are symptoms of post release failures?
Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics, 2011

On High-Assurance Scientific Workflows.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Learning a Tutorial Dialogue Policy for Delayed Feedback.
Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

Teaching software testing: Experiences, lessons learned and the path forward.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

Communication genres: Integrating communication into the software engineering curriculum.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010
A Fault-Tolerance Architecture for Kepler-Based Distributed Scientific Workflows.
Proceedings of the Scientific and Statistical Database Management, 2010

Dialogue Act Modeling in a Complex Task-Oriented Domain.
Proceedings of the SIGDIAL 2010 Conference, 2010

Increasing technical excellence, leadership and commitment of computing students through identity-based mentoring.
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Principles of asking effective questions during student problem solving.
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Fault-Tolerance in Dataflow-Based Scientific Workflow Management.
Proceedings of the 6th World Congress on Services, 2010

Abstracting log lines to log event types for mining software system logs.
Proceedings of the 7th International Working Conference on Mining Software Repositories, 2010

Characterizing the Effectiveness of Tutorial Dialogue with Hidden Markov Models.
Proceedings of the Intelligent Tutoring Systems, 10th International Conference, 2010

Towards a Bayesian Approach in Modeling the Disclosure of Unique Security Faults in Open Source Projects.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

A Preliminary Investigation of Hierarchical Hidden Markov Models for Tutorial Planning.
Proceedings of the Educational Data Mining 2010, 2010

Collaborative monitoring and analysis for simulation scientists.
Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 2010

Integration of High-Performance Computing into Cloud Computing Services.
Proceedings of the Handbook of Cloud Computing., 2010

2009
Using VCL technology to implement distributed reconfigurable data centers and computational services for educational institutions.
IBM J. Res. Dev., 2009

Investigating the role of student motivation in computer science education through one-on-one tutoring.
Comput. Sci. Educ., 2009

NCSU's Virtual Computing Lab: A Cloud Computing Solution.
Computer, 2009

Tracking Files in the Kepler Provenance Framework.
Proceedings of the Scientific and Statistical Database Management, 2009

The impact of instructor initiative on student learning: a tutoring study.
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

Modeling Dialogue Structure with Adjacency Pair Analysis and Hidden Markov Models.
Proceedings of the Human Language Technologies: Conference of the North American Chapter of the Association of Computational Linguistics, Proceedings, May 31, 2009

On mining data across software repositories.
Proceedings of the 6th International Working Conference on Mining Software Repositories, 2009

Efficiently Extracting Operational Profiles from Execution Logs Using Suffix Arrays.
Proceedings of the ISSRE 2009, 2009

Towards a Unifying Approach in Understanding Security Problems.
Proceedings of the ISSRE 2009, 2009

On predicting the time taken to correct bug reports in open source projects.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

An empirical study of security problem reports in Linux distributions.
Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

Collaboration portal for petascale simulations.
Proceedings of the 2009 International Symposium on Collaborative Technologies and Systems, 2009

Inferring Tutorial Dialogue Structure with Hidden Markov Modeling.
Proceedings of the Fourth Workshop on Innovative Use of NLP for Building Educational Applications, 2009

Discovering Tutorial Dialogue Strategies with Hidden Markov Models.
Proceedings of the Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, 2009

Scientific Process Automation and Workflow Management.
Proceedings of the Scientific Data Management - Challenges, Technology, and Deployment., 2009

2008
Agile Software Development.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Cloud Computing - Issues, Research and Implementations.
J. Comput. Inf. Technol., 2008

Balancing Cognitive and Motivational Scaffolding in Tutorial Dialogue.
Proceedings of the Intelligent Tutoring Systems, 9th International Conference, 2008

A development environment for distributed synchronous collaborative programming.
Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

Efficient Operational Profiling of Systems Using Suffix Arrays on Execution Logs.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

On Reliability Analysis of Open Source Software - FEDORA.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

A Model for Sharing of Confidential Provenance Information in a Query Based System.
Proceedings of the Provenance and Annotation of Data and Processes, 2008

Evidence for a Cost Effective Cloud Computing Implementation Based Upon the NC State Virtual Computing Laboratory Model.
Proceedings of the High Speed and Large Scale Scientific Computing - Selected Papers from the High Performance Computing Workshop, Cetraro, Italy, June 30, 2008

Collaborative visualization spaces for petascale simulations.
Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008

Prioritizing software security fortification throughcode-level metrics.
Proceedings of the 4th ACM Workshop on Quality of Protection, 2008

2007
A case for smaller class size with integrated lab for introductory computer science.
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

Using In-Process Testing Metrics to Estimate Post-Release Field Quality.
Proceedings of the ISSRE 2007, 2007

The Influence of Learner Characteristics on Task-Oriented Tutorial Dialogue.
Proceedings of the Artificial Intelligence in Education, 2007

2006
On the Value of Static Analysis for Fault Detection in Software.
IEEE Trans. Software Eng., 2006

Theoretical analysis of the SABUL congestion control algorithm.
Telecommun. Syst., 2006

Predicting Shine-Dalgarno Sequence Locations Exposes Genome Annotation Errors.
PLoS Comput. Biol., 2006

Analysis of Free Energy Signals Arising from Nucleotide Hybridization Between rRNA and mRNA Sequences during Translation in Eubacteria.
EURASIP J. Bioinform. Syst. Biol., 2006

S04 - Introduction to scientific workflow management and the Kepler system.
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006


Free Energy Analysis on the Coding Region of the Individual Genes of Saccharomyces cerevisiae.
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

A computational model for reading frame maintenance.
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

2005
Early estimation of defect density using an in-process Haskell metrics model.
ACM SIGSOFT Softw. Eng. Notes, 2005

Early estimation of software quality using in-process testing metrics: a controlled case study.
ACM SIGSOFT Softw. Eng. Notes, 2005

Locally Invertible Multivariate Polynomial Matrices.
Proceedings of the Coding and Cryptography, International Workshop, 2005

Providing Test Quality Feedback Using Static Source Code and Automatic Test Suite Metrics.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

An Experimental Evaluation on Reliability Features of N-Version Programming.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Experimental Analysis of the Q-Matrix Method in Knowledge Discovery.
Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005

13. Software-Reliability Engineering of Numerical Systems.
Proceedings of the Accuracy and Reliability in Scientific Computing, 2005

2004
An error-correcting code framework for genetic sequence analysis.
J. Frankl. Inst., 2004

Experimental Analysis of the SABUL Congestion Control Algorithm.
Proceedings of the NETWORKING 2004, 2004

Preliminary Results On Using Static Analysis Tools For Software Inspection.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

GERT: An Empirical Reliability Estimation and Testing Feedback Tool.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Detecting and Mitigating Security Anomaliies.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

2003
A Modeling and Execution Environment for Distributed Scientific Workflows.
Proceedings of the 15th International Conference on Scientific and Statistical Database Management (SSDBM 2003), 2003

"Good enough" software reliability estimation plug-in for Eclipse.
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

Test-Driven Development as a Defect-Reduction Practice.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

2002
A flexible soft DiffServ test-bed.
Proceedings of the 11th International Conference on Computer Communications and Networks, 2002

2000
Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999
Workflow and End-User Quality of Service Issues in Web-Based Education.
IEEE Trans. Knowl. Data Eng., 1999

Productivity Analysis of Object-Oriented Software Development in a Commercial Environment.
Softw. Pract. Exp., 1999

Guiding resource constrained software testing.
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

1998
On Locally Invertible Rate-1/n Convolutional Encoders.
IEEE Trans. Inf. Theory, 1998

Resource-constrained non-operational testing of software.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Panel: Everything You Wanted to Know About SRE But Didn't Know Who To Ask.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

1997
The Effects of the Business Model on Object-Oriented Software Development Productivity.
IBM Syst. J., 1997

Specification-Based Testing Using Cause-Effect Graphs.
Ann. Softw. Eng., 1997

LAVA: Secure Delegation of Mobile Applets: Design, Implementation, and Applications.
Proceedings of the 6th Workshop on Enabling Technologies (WET-ICE '97), 1997

Reliability behavior of a large network based education system.
Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

1996
Automatic test-generation for predicates [software testing].
IEEE Trans. Reliab., 1996

Factors Influencing ATM Adapter Throughput.
Multim. Tools Appl., 1996

Automatically generated web-based multimedia presentations.
Proceedings of WebNet 96, 1996

Quality of service and scientific workflows.
Proceedings of the Quality of Numerical Software, 1996

Automatic test generation for predicates.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

An empirical evaluation of maximum likelihood voting in failure correlation conditions.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

Reliability and availability of a wide area network-based education system.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

1995
Table based decoding of rate one-half convolutional codes.
IEEE Trans. Commun., 1995

Development productivity for commercial software using object-oriented methods.
Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

1994
Evaluation of a Predicate-Based Software Testing Strategy.
IBM Syst. J., 1994

A variable-redundancy hybrid ARQ scheme using invertible convolutional codes.
Proceedings of 44th IEEE Vehicular Technology Conference: Creating Tomorrow's Mobile Systems, 1994

Empirical studies of predicate-based software testing.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1993
A Lost Cell Recovery Technique Using Convolutional Coding at the ATM Adaptation Layer in B-ISDN/ATM.
Proceedings of the High Speed Networks and Their Performance, 1993

Some issues in multi-phase software reliability modeling.
Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

Fault-based test generation for cause-effect graphs.
Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1992
Measuring the field quality of wide-distribution commercial software.
Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

On operational availability of a large software-based telecommunications system.
Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

Table-Driven Decoding of Convolutional Codes with Soft Decision.
Proceedings of the Coding And Quantization, 1992

An efficient table-driven decoder for one-half rate convolutional codes.
Proceedings of the 30th Annual Southeast Regional Conference, 1992

1991
An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability.
IEEE Trans. Software Eng., 1991

1990
Modeling execution time of multi-stage N-version fault-tolerant software.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1988
A large scale second generation experiment in multi-version software: description and early results.
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1984
On the cost of mixed language programming.
ACM SIGPLAN Notices, 1984


  Loading...