Ali Mili
Orcid: 0000-0002-6578-5510Affiliations:
- New Jersey Institute of Technology, Newark, USA
According to our database1,
Ali Mili
authored at least 193 papers
between 1981 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on cs.njit.edu
On csauthors.net:
Bibliography
2025
Subsumption, correctness and relative correctness: Implications for software testing.
Sci. Comput. Program., 2025
2024
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024), 2024
2023
Softw. Syst. Model., December, 2023
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Proceedings of the 18th International Conference on Software Technologies, 2023
2022
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the Software Technologies - 17th International Conference, 2022
Proceedings of the 17th International Conference on Software Technologies, 2022
Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022
2021
J. Syst. Softw., 2021
The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2021
Proceedings of the Quality of Information and Communications Technology, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021
2020
Int. J. Crit. Comput. Based Syst., 2020
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
2019
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
CoRR, 2019
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019
Proceedings of the Software Technologies - 14th International Conference, 2019
Proceedings of the 14th International Conference on Software Technologies, 2019
2018
J. Log. Algebraic Methods Program., 2018
Proceedings of the Proceedings 18th Refinement Workshop, 2018
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2018
Proceedings of the 13th International Conference on Software Technologies, 2018
Proceedings of the Software Technologies - 13th International Conference, 2018
2017
Sci. Comput. Program., 2017
Proceedings of the 12th International Conference on Software Technologies, 2017
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017
2016
Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016
2015
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015
Putting engineering into software engineering: Upholding software engineering principles in the classroom.
Comput. Hum. Behav., 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the ENASE 2015, 2015
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015
2014
Int. J. Crit. Comput. Based Syst., 2014
Automated Quantitative Attributes Prediction from Architectural Description Language.
Proceedings of the ICSOFT-PT 2014, 2014
Proceedings of the Cyber and Information Security Research Conference, 2014
Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Cyber Security, 2014
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2013
Sci. Comput. Program., 2013
J. Symb. Comput., 2013
J. King Saud Univ. Comput. Inf. Sci., 2013
Mean Failure Cost as a Measurable Value and Evidence of Cybersecurity: E-Learning Case Study.
Int. J. Secur. Softw. Eng., 2013
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013
ACME+ for Software Architecture Analysis.
Proceedings of the ICSOFT 2013, 2013
Proceedings of the 46th Hawaii International Conference on System Sciences, 2013
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2013
Proceedings of the ENASE 2013, 2013
Failure impact analysis of key management in AMI using cybernomic situational assessment (CSA).
Proceedings of the Cyber Security and Information Intelligence, 2013
2012
J. Log. Algebraic Methods Program., 2012
Innov. Syst. Softw. Eng., 2012
Inf. Syst. E Bus. Manag., 2012
Proceedings of the 2012 International Conference on Cyber Security, 2012
2011
J. Softw., 2011
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011
Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011
2010
J. Symb. Comput., 2010
Innov. Syst. Softw. Eng., 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010
Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions.
Proceedings of the Second International Workshop on Invariant Generation, 2010
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010
2009
Modeling the Evolution of Software Engineering Trends - A Bottom Up Approach.
Proceedings of the ICSOFT 2009, 2009
Methodology for Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009
Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009
Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009
Proceedings of the 2009 IEEE Symposium on Computational Intelligence in Cyber Security, 2009
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009
2008
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008
An Algorithm for Computing Loop Functions.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
Evaluating security controls based on key performance indicators and stakeholder mission.
Proceedings of the 4th annual workshop on Cyber security and information intelligence research, 2008
2007
J. Syst. Softw., 2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007
Monitoring software technology evolution, one trend at a time.
Proceedings of the 16th International Conference on Software Engineering and Data Engineering (SEDE-2007), 2007
A Product Line of Software Reuse Cost Models.
Proceedings of the ICSOFT 2007, 2007
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007
2006
Innov. Syst. Softw. Eng., 2006
Using Change Propagation Probabilities to Assess Quality Attributes of Software Architectures 1.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006
2005
Innov. Syst. Softw. Eng., 2005
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005
2004
Proceedings of the 10th IEEE International Software Metrics Symposium (METRICS 2004), 2004
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004
Towards the Verification and Validation of Online Learning Systems: General Framework and Applications.
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004
Assessing and Quantifying Attributes of Product Line Architectures.
Proceedings of the 2nd International Conference Computing, 2004
2003
2002
2001
IEEE Trans. Software Eng., 2001
An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System.
Proceedings of the First International Workshop on Relational Methods in Software, 2001
Ann. Softw. Eng., 2001
Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Proceedings of the 23rd International Conference on Software Engineering, 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
2000
A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering.
Ann. Softw. Eng., 2000
A hierarchy of COTS certification criteria.
Proceedings of the Software Product Lines; Experiences and Research Directions, 2000
Proceedings of the Software Reuse: Advances in Software Reusability, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
Views: A Framework for Feature-based Development and Distribution of OO Applications.
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000
Lattice Based Distances.
Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000
1999
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999
Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy.
Proceedings of the 1999 International Conference on Software Engineering, 1999
1998
Proceedings of the Logic Programming Synthesis and Transformation, 1998
Towards a uniform relational semantics for tabular expressions.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998
Capturing pointer semantics and scoping rules.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998
1997
IEEE Trans. Software Eng., 1997
Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997
Detecting Feature Interactions on Relational Specifications.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997
Proceedings of the Tenth Conference on Software Engineering Education and Training, 1997
Defining and detecting feature interactions.
Proceedings of the Algorithmic Languages and Calculi, 1997
Algorithms = RelationaI Algebra + Ordering Relations.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997
Measures of Distances to Perform Approximate Retrieval.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997
Proceedings of the Relational Methods in Computer Science., 1997
1996
1995
Behavorial Specifications in Object-Oriented Programming.
J. Object Oriented Program., 1995
Proceedings of the Mathematics of Program Construction, 1995
1994
Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994
A process for verification based inspections.
Proceedings of the SEKE'94, 1994
Proceedings of the 16th International Conference on Software Engineering, 1994
1993
1992
Semantic-Based Software Retrieval to Support Rapid Prototyping.
Struct. Program., 1992
Formal Aspects Comput., 1992
Computers in the Classroom: A National Proposal.
Proceedings of the Education and Society, 1992
1991
J. Syst. Softw., 1991
Proceedings of the Conference on Software Maintenance, 1991
1990
J. Syst. Softw., 1990
A foreword to the special issue of the journal of systems and software on the Role of languages in programming (the Tenth Tunisian-French Seminar of Computer Science).
J. Syst. Softw., 1990
Proceedings of the Conference on Software Maintenance, 1990
A Database of Software Components: An Algebraic Structure and Its Implementation.
Proceedings of the International Conference on Database and Expert Systems Applications, 1990
1988
On the Analysis of Iterative and Recursive Programs.
Aust. Comput. J., 1988
1987
Acta Informatica, 1987
1986
Softw. Pract. Exp., 1986
1985
Computer, 1985
Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements.
Acta Informatica, 1985
Une perspective relationnelle de la programmation. (Relational perspective of programming science).
, 1985
1984
Proceedings of the 15th SIGCSE Technical Symposium on Computer Science Education, 1984
A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods.
Proceedings of the Proceedings, 1984
1983
J. Syst. Softw., 1983
Verifying Programs by Induction on Their Data Structure: General Format and Applications.
Inf. Process. Lett., 1983
Acta Informatica, 1983
Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, 1983
The Bottom up Analysis of While Statements: Strongest Invariant Functions.
Proceedings of the Information Processing 83, 1983
1982
IEEE Trans. Computers, 1982
ACM SIGSOFT Softw. Eng. Notes, 1982
Proceedings of the Proceedings, 1982
1981
Self-Checking Programs: An Axiomatic Approach to the Validation of Programs by the Use of Assertions
PhD thesis, 1981