Search the dblp DataBase
Ali Mili :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hafedh Mili , Fatma Mili , Ali Mili Reusing Software: Issues and Research Directions. [Citation Graph (4, 0)][DBLP ] IEEE Trans. Software Eng., 1995, v:21, n:6, pp:528-562 [Journal ] Robert G. Babb II , Richard B. Kieburtz , Ken Orr , Ali Mili , Susan Gearhart , Nancy N. Martin Workshop on Models and Languages for Software Specification and Design. [Citation Graph (2, 0)][DBLP ] IEEE Computer, 1985, v:18, n:3, pp:103-108 [Journal ] Rym Mili , Ali Mili , Roland Mittermeir Storing and Retrieving Software Conponents: A Refinement Based System. [Citation Graph (2, 0)][DBLP ] IEEE Trans. Software Eng., 1997, v:23, n:7, pp:445-460 [Journal ] Ali Mili , Rym Mili , Roland Mittermeir Storing and Retrieving Software Components: A Refinement Based System. [Citation Graph (1, 0)][DBLP ] ICSE, 1994, pp:91-100 [Conf ] Habib Ammari , Ali Mili Lattice Based Distances. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2000, pp:1-10 [Conf ] Rahma Ben Ayed , Hafedh Mili , Ali Mili Capturing pointer semantics and scoping rules. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1998, pp:3-7 [Conf ] Jules Desharnais , Ridha Khédri , Ali Mili Towards a uniform relational semantics for tabular expressions. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1998, pp:53-57 [Conf ] Rym Mili , Lamia Labed Jilani , Ali Mili Measures of Distances to Perform Approximate Retrieval. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1997, pp:301-307 [Conf ] Fatma Mili , Ali Mili Algorithms = RelationaI Algebra + Ordering Relations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1997, pp:273-289 [Conf ] Marc Frappier , Ali Mili , Jules Desharnais Defining and detecting feature interactions. [Citation Graph (0, 0)][DBLP ] Algorithmic Languages and Calculi, 1997, pp:212-239 [Conf ] Mark Shereshevsky , Habib Ammari , Nicholay Gradetsky , Ali Mili , Hany H. Ammar Information Theoretic Metrics for Software Architectures. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2001, pp:151-0 [Conf ] Noureddine Boudriga , Ali Mili A Database of Software Components: An Algebraic Structure and Its Implementation. [Citation Graph (0, 0)][DBLP ] DEXA, 1990, pp:162-166 [Conf ] Jules Desharnais , Marc Frappier , Ridha Khédri , Ali Mili Integration of Sequential Scenarios. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 1997, pp:310-326 [Conf ] Marc Frappier , Ali Mili , Jules Desharnais Detecting Feature Interactions on Relational Specifications. [Citation Graph (0, 0)][DBLP ] FIW, 1997, pp:123-137 [Conf ] Hafedh Mili , Joumana Dargham , Ali Mili Views: A Framework for Feature-based Development and Distribution of OO Applications. [Citation Graph (0, 0)][DBLP ] HICSS, 2000, pp:- [Conf ] Ali Mili , GuangJie Jiang , Bojan Cukic , Yan Liu , Rahma Ben Ayed Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. [Citation Graph (0, 0)][DBLP ] HICSS, 2004, pp:- [Conf ] Ali Mili , Frederick T. Sheldon , Fatma Mili , Mark Shereshevsky , Jules Desharnais Perspectives on Redundancy: Applications to Software Certification. [Citation Graph (0, 0)][DBLP ] HICSS, 2005, pp:- [Conf ] Ali Mili , Alex Vinokurov , Lamia Labed Jilani , Frederick T. Sheldon , Rahma Ben Ayed Towards an Engineering Discipline of Computational Society. [Citation Graph (0, 0)][DBLP ] HICSS, 2007, pp:281- [Conf ] Ali Mili , Tim Daly , Mark Pleszkoch , Stacy J. Prowell A Semantic Recognizer Infrastructure for Computing Loop Behavior. [Citation Graph (0, 0)][DBLP ] HICSS, 2007, pp:277- [Conf ] Victor R. Basili , Tom DeMarco , Ali Mili Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy. [Citation Graph (0, 0)][DBLP ] ICSE, 1999, pp:710-711 [Conf ] Ali Mili A Closer Look at Iteration: The Self Stabilizing Capability of Loops. [Citation Graph (0, 0)][DBLP ] ICSE, 1982, pp:48-57 [Conf ] Ali Mili , Senta Fowler Chmiel , Ravi Gottumukkala , Lisa Zhang An integrated cost model for software reuse. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:157-166 [Conf ] Ali Mili , Senta Fowler Chmiel , Ravi Gottumukkala , Lisa Zhang Tracking, predicting and assessing software reuse costs: an automated tool. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:785- [Conf ] Ali Mili , Jules Desharnais A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. [Citation Graph (0, 0)][DBLP ] ICSE, 1984, pp:499-509 [Conf ] H. Dieter Rombach , Manfred Broy , Michael Evangelist , Ali Mili , Leon J. Osterweil , David Lorge Parnas Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? [Citation Graph (0, 0)][DBLP ] ICSE, 2001, pp:698-698 [Conf ] Walid Abdelmoez , Mark Shereshevsky , Rajesh Gunnalan , Hany H. Ammar , Bo Yu , S. Bogazzi , M. Korkmaz , Ali Mili Software Architectures Change Propagation Tool (SACPT). [Citation Graph (0, 0)][DBLP ] ICSM, 2004, pp:517- [Conf ] Sherif M. Yacoub , Hany H. Ammar , Ali Mili Constructional Design Patterns as Reusable Components. [Citation Graph (0, 0)][DBLP ] ICSR, 2000, pp:369-387 [Conf ] Ali Mili The Bottom up Analysis of While Statements: Strongest Invariant Functions. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1983, pp:339-343 [Conf ] Ali Mili , Noureddine Boudriga Computers in the Classroom: A National Proposal. [Citation Graph (0, 0)][DBLP ] IFIP Congress (2), 1992, pp:116-122 [Conf ] Lamia Labed Jilani , Jules Desharnais , Marc Frappier , Rym Mili , Ali Mili Retrieving Software Components that Minimize Adaptation Effort. [Citation Graph (0, 0)][DBLP ] ASE, 1997, pp:255-0 [Conf ] Ali Mili , Bojan Cukic , T. Xia , Rahma Ben Ayed Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. [Citation Graph (0, 0)][DBLP ] ASE, 1999, pp:137-0 [Conf ] Rahma Ben Ayed , Jules Desharnais , Marc Frappier , Ali Mili Mathematical Foundations for Program Transformations. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1998, pp:319-321 [Conf ] Walid Abdelmoez , Diaa Eldin M. Nassar , Mark Shereshevsky , Nicholay Gradetsky , Rajesh Gunnalan , Hany H. Ammar , Bo Yu , Ali Mili Error Propagation In Software Architectures. [Citation Graph (0, 0)][DBLP ] IEEE METRICS, 2004, pp:384-393 [Conf ] Marc Frappier , Ali Mili , Jules Desharnais Program Construction by Parts. [Citation Graph (0, 0)][DBLP ] MPC, 1995, pp:257-281 [Conf ] Diego Del Gobbo , Ali Mili Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems. [Citation Graph (0, 0)][DBLP ] RE, 2001, pp:236-247 [Conf ] L. Ben Arfa , Marc Frappier , Rym Mili , Ali Mili , Douglas R. Skuce A process for verification based inspections. [Citation Graph (0, 0)][DBLP ] SEKE, 1994, pp:100-107 [Conf ] Rym Mili , Ali Mili Teaching a first course on data structures: a software engineering approach. [Citation Graph (0, 0)][DBLP ] SIGCSE, 1994, pp:21-25 [Conf ] Sherif M. Yacoub , Ali Mili , Chakri Kaveri , Mark Dehlin A hierarchy of COTS certification criteria. [Citation Graph (0, 0)][DBLP ] SPLC, 2000, pp:397-412 [Conf ] Rym Mili , Marc Frappier , Jules Desharnais , Ali Mili A Calculus of Program Modifications. [Citation Graph (0, 0)][DBLP ] SSR, 1997, pp:157-168 [Conf ] I. Shaik , Walid Abdelmoez , Rajesh Gunnalan , Mark Shereshevsky , A. Zeid , Hany H. Ammar , Ali Mili , Christopher P. Fuhrman Change Propagation for Assessing Design Quality of Software Architectures. [Citation Graph (0, 0)][DBLP ] WICSA, 2005, pp:205-208 [Conf ] Hafedh Mili , Joumana Dargham , Omar Cherkaoui , Robert Godin , Ali Mili View Programming for Decentralized Development of OO Programs. [Citation Graph (0, 0)][DBLP ] TOOLS (30), 1999, pp:210-221 [Conf ] Fatma Mili , B. Alaya , Ali Mili On the Analysis of Iterative and Recursive Programs. [Citation Graph (0, 0)][DBLP ] Australian Computer Journal, 1988, v:20, n:1, pp:27-32 [Journal ] Ali Mili A Relational Approach to the Design of Deterministic Programs. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:315-328 [Journal ] Ali Mili , Jules Desharnais , Jean-Raymond Gagné Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1985, v:22, n:1, pp:47-66 [Journal ] Ali Mili , Jules Desharnais , Fatma Mili Relational Heuristics for the Design of Deterministic Programs. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1987, v:24, n:3, pp:239-276 [Journal ] Hany H. Ammar , Bojan Cukic , Ali Mili , Christopher P. Fuhrman A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering. [Citation Graph (0, 0)][DBLP ] Ann. Software Eng., 2000, v:10, n:, pp:103-150 [Journal ] Ali Mili , Senta Fowler Chmiel , Ravi Gottumukkala , Lisa Zhang Managing Software Reuse Economics: An Integrated ROI-based Model. [Citation Graph (0, 0)][DBLP ] Ann. Software Eng., 2001, v:11, n:1, pp:175-218 [Journal ] Ali Mili , Rym Mili , Roland Mittermeir A Survey of software Reuse Libraries. [Citation Graph (0, 0)][DBLP ] Ann. Software Eng., 1998, v:5, n:, pp:349-414 [Journal ] Ali Mili Desert Island Column: The Long Story of a Short Theorem. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1999, v:6, n:2, pp:199-204 [Journal ] Noureddine Boudriga , Ali Mili , R. Zalila , Fatma Mili A Relational Model for the Specification of Data Types. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1992, v:17, n:2, pp:101-131 [Journal ] Ali Mili , Jules Desharnais Formal Models of Stepwise Refinement of Programs. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1986, v:18, n:3, pp:231-276 [Journal ] Diego Del Gobbo , Ali Mili An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal ] Noureddine Boudriga , Fathi Elloumi , Ali Mili On the Lattice of Specifications: Applications to a Specification Methodology. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1992, v:4, n:6, pp:544-571 [Journal ] Marc Frappier , Ali Mili , Jules Desharnais Unifying Program Construction and Modification. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1998, v:6, n:2, pp:317-340 [Journal ] Ali Mili Verifying Programs by Induction on Their Data Structure: General Format and Applications. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1983, v:17, n:3, pp:155-160 [Journal ] Noureddine Boudriga , Yahya Slimani , Ali Mili Relation-based semantics for concurrency. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 1993, v:75, n:3, pp:223-252 [Journal ] Robert David Cowan , Alan McKendall Jr. , Ali Mili , Lin Yang , L. Wang , Dapeng Chen , V. Janardhana , Terry Spencer Software engineering technology watch. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2002, v:140, n:3-4, pp:195-215 [Journal ] Douglas R. Skuce , Ali Mili Behavorial Specifications in Object-Oriented Programming. [Citation Graph (0, 0)][DBLP ] JOOP, 1995, v:7, n:8, pp:41-49 [Journal ] Kamel Barkaoui , Mohamed Jmaiel , Ali Mili Guest editorial. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2002, v:60, n:2, pp:87-89 [Journal ] Jean Pierre Finance , Ali Mili 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). [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1990, v:12, n:2, pp:83-85 [Journal ] Ali Jaoua , Ali Mili The use of executable assertions for error detection and damage assessment. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1990, v:12, n:1, pp:15-37 [Journal ] L. Kemayel , Ali Mili , I. Ouederni Controllable factors for programmer productivity: A statistical study. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1991, v:16, n:2, pp:151-163 [Journal ] Ali Mili , Sihem Guemara , Ali Jaoua , Paul Torrés On the use of executable assertions in structured programs. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1987, v:7, n:1, pp:15-28 [Journal ] Ali Mili , Donna Reese Representation and manipulation of information systems: A simplified approach. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1983, v:3, n:1, pp:85-93 [Journal ] Joze Zupancic , Stanislaw Wrycza , Ali Mili Guest editor's corner. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1996, v:33, n:2, pp:111-112 [Journal ] Yi Peng , Fu Li , Ali Mili Modeling the evolution of operating systems: An empirical study. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2007, v:80, n:1, pp:1-15 [Journal ] Rahma Ben Ayed , Jules Desharnais , Marc Frappier , Ali Mili A calculus of program adaptation and its applications. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2000, v:38, n:1-3, pp:73-124 [Journal ] Vittorio Cortellessa , Diego Del Gobbo , Mark Shereshevsky , Jules Desharnais , Ali Mili Relational characterizations of system fault tolerance. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2005, v:56, n:3, pp:343-361 [Journal ] Marc Frappier , Ali Mili , Jules Desharnais A Relational Calculus for Program Construction by Parts. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1996, v:26, n:1-3, pp:237-254 [Journal ] Jules Desharnais , Ali Mili , Fatma Mili On the Mathematics of Sequential Decompositions. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1993, v:20, n:3, pp:253-289 [Journal ] Fatma Mili , Ali Mili Heuristics for Constructing While Loops. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1992, v:18, n:1, pp:67-106 [Journal ] Yaofei Chen , Rose Dios , Ali Mili , Lan Wu , Kefei Wang An Empirical Study of Programming Language Trends. [Citation Graph (0, 0)][DBLP ] IEEE Software, 2005, v:22, n:3, pp:72-78 [Journal ] Robert David Cowan , Ali Mili , Hany H. Ammar , Alan McKendall Jr. , Lin Yang , Dapeng Chen , Terry Spencer Software Engineering Technology Watch. [Citation Graph (0, 0)][DBLP ] IEEE Software, 2002, v:19, n:4, pp:123-129 [Journal ] Ali Mili , Sherif M. Yacoub , Edward A. Addy , Hafedh Mili Toward an Engineering Discipline of Software Reuse. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1999, v:16, n:5, pp:22-31 [Journal ] Ali Mili , Xiaoyang Sean Wang , Yu Qing Specification Methodology: An Integrated Relational Approach. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1986, v:16, n:11, pp:1003-1030 [Journal ] Edward A. Addy , Ali Mili , Sherif M. Yacoub A Case Study in Software Reuse. [Citation Graph (0, 0)][DBLP ] Software Quality Journal, 1999, v:8, n:3, pp:169-195 [Journal ] Noureddine Boudriga , Ali Mili , Roland Mittermeir Semantic-Based Software Retrieval to Support Rapid Prototyping. [Citation Graph (0, 0)][DBLP ] Structured Programming, 1992, v:13, n:3, pp:109-127 [Journal ] Ali Mili Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1982, v:31, n:7, pp:685-689 [Journal ] Jules Desharnais , Nadir Belkhiter , Salah Ben Mohamed Sghaier , Fairouz Tchier , Ali Jaoua , Ali Mili , Nejib Zaguia Embedding a Demonic Semilattice in a Relational Algebra. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:149, n:2, pp:333-360 [Journal ] Jules Desharnais , Ali Jaoua , Fatma Mili , Noureddine Boudriga , Ali Mili A Relation Division Operator: The Conjugate Kernel. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:114, n:2, pp:247-272 [Journal ] Ali Jaoua , Ali Mili , Noureddine Boudriga , J. L. Durieux Regularity of Relations: A Measure of Uniformity. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:79, n:2, pp:323-339 [Journal ] Rym Mili , Jules Desharnais , Marc Frappier , Ali Mili Semantic distance between specifications. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:247, n:1-2, pp:257-276 [Journal ] Katerina Goseva-Popstojanova , Ahmed E. Hassan , Ajith Guedem , Walid Abdelmoez , Diaa Eldin M. Nassar , Hany H. Ammar , Ali Mili Architectural-Level Risk Analysis Using UML. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:10, pp:946-960 [Journal ] Jules Desharnais , Marc Frappier , Ridha Khédri , Ali Mili Integration of Sequential Scenarios. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1998, v:24, n:9, pp:695-708 [Journal ] Lamia Labed Jilani , Jules Desharnais , Ali Mili Defining and Applying Measures of Distance Between Specifications. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:8, pp:673-703 [Journal ] Ali Mili Towards a Theory of Forward Error Recovery. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1985, v:11, n:8, pp:735-748 [Journal ] Walid Abdelmoez , Mark Shereshevsky , Rajesh Gunnalan , Hany H. Ammar , Bo Yu , S. Bogazzi , M. Korkmaz , Ali Mili Quantifying software architectures: an analysis of change propagation probabilities. [Citation Graph (0, 0)][DBLP ] AICCSA, 2005, pp:124- [Conf ] Yanzhi Bai , Ali Mili Monitoring software technology evolution, one trend at a time. [Citation Graph (0, 0)][DBLP ] SEDE, 2007, pp:349-355 [Conf ] Relational Methods in the Analysis of While Loops: Observations of Versatility. [Citation Graph (, )][DBLP ] Using Change Propagation Probabilities to Assess Quality Attributes of Software Architectures 1. [Citation Graph (, )][DBLP ] Modeling Redundancy: Quantitative and Qualitative Models. [Citation Graph (, )][DBLP ] Measuring Reliability as a Mean Failure Cost. [Citation Graph (, )][DBLP ] Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value. [Citation Graph (, )][DBLP ] Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost. [Citation Graph (, )][DBLP ] Methodology for Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission. [Citation Graph (, )][DBLP ] Using invariant functions and invariant relations to compute loop functions. [Citation Graph (, )][DBLP ] A Product Line of Software Reuse Cost Models. [Citation Graph (, )][DBLP ] Modeling the Evolution of Software Engineering Trends - A Bottom Up Approach. [Citation Graph (, )][DBLP ] An Algorithm for Computing Loop Functions. [Citation Graph (, )][DBLP ] A Refinement Based Framework for Computing Loop Behavior. [Citation Graph (, )][DBLP ] Harnessing a Refinement Theory to Compute Loop Functions. [Citation Graph (, )][DBLP ] Search in 0.008secs, Finished in 0.013secs