| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Latifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili |
A quantitative model for software engineering trends.  |
Inf. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili |
Reasoning About Quantitative Architectural Attributes (Invited Paper). |
JSW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili |
Computing Preconditions and Postconditions of While Loops. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili |
Validating Cyber Security Requirements: A Case Study. |
HICSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi |
Reflexive transitive invariant relations: A basis for computing loop functions. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili |
Quantifying security threats and their potential impacts: a case study. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili |
Towards an automated tool for computing loop functions. |
AICCSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Imen Derbel, Lamia Labed Jilani, Ali Mili |
A model for analyzing architectural attributes. |
AICCSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili |
Using invariant functions and invariant relations to compute loop functions. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
loop semantic, while loop, program analysis |
| 1 | Ali Mili, Shir Aharon, Chaitanya Nadkarni |
Mathematics for reasoning about loop functions. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni |
Harnessing a Refinement Theory to Compute Loop Functions. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Latifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili |
Modeling the Evolution of Software Engineering Trends - A Bottom Up Approach. |
ICSOFT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili |
Relational Methods in the Analysis of While Loops: Observations of Versatility. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
Function extraction, loop functions, invariant assertions, invariant relations, invariant functions, computing loop behavior, refinement calculus, relational calculus |
| 1 | Ali Mili, Frederick T. Sheldon |
Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederick T. Sheldon, Robert K. Abercrombie, Ali Mili |
Methodology for Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili |
Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Shir Aharon, Chaitanya Nadkarni |
An Algorithm for Computing Loop Functions. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yi Peng, Fu Li, Ali Mili |
Modeling the evolution of operating systems: An empirical study. |
Journal of Systems and Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mustafa Korkmaz, Ali Mili |
A Product Line of Software Reuse Cost Models. |
ICSOFT (SE) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ali Mili, Frederick T. Sheldon |
Measuring Reliability as a Mean Failure Cost. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili |
A Refinement Based Framework for Computing Loop Behavior. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanzhi Bai, Ali Mili |
Monitoring software technology evolution, one trend at a time. |
SEDE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ali Mili, Tim Daly, Mark G. Pleszkoch, Stacy J. Prowell |
A Semantic Recognizer Infrastructure for Computing Loop Behavior. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed |
Towards an Engineering Discipline of Computational Society. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
Computable security attributes, security, fault tolerance, reliability, verification, testing, integrity, dependability, safety, survivability |
| 1 | Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed |
Modeling security as a dependability attribute: a refinement-based approach. |
ISSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais |
Modeling Redundancy: Quantitative and Qualitative Models. |
AICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Israr Pasha Shaik, Walid Abdelmoez, Rajesh Gunnalan, Ali Mili, Christopher P. Fuhrman, Mark Shereshevsky, A. Zeid, Hany H. Ammar |
Using Change Propagation Probabilities to Assess Quality Attributes of Software Architectures 1. |
AICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaofei Chen, Rose Dios, Ali Mili, Lan Wu, Kefei Wang |
An Empirical Study of Programming Language Trends. |
IEEE Software |
2005 |
DBLP DOI BibTeX RDF |
software engineering trends, programming languages, statistical modeling, empirical software engineering |
| 1 | Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili |
Relational characterizations of system fault tolerance. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais |
Recoverability preservation: a measure of last resort. |
ISSE |
2005 |
DBLP DOI BibTeX RDF |
Programming calculi, Relational mathematics, System fault tolerance, Recoverability preservation, Recovery routine |
| 1 | Israr Pasha 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. |
WICSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais |
Perspectives on Redundancy: Applications to Software Certification. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
Quantifying Redundancy, Qualifying Redundancy, Fault Tolerance, Redundancy, Error Detection, Error Recovery, Fault Tolerant Design |
| 1 | Walid Abdelmoez, Mark Shereshevsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, S. Bogazzi, Mustafa Korkmaz, Ali Mili |
Quantifying software architectures: an analysis of change propagation probabilities. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Abdelmoez, Diaa Eldin M. Nassar, Mark Shereshevsky, Nicholay Gradetsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, Ali Mili |
Error Propagation In Software Architectures. |
IEEE METRICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, GuangJie Jiang, Bojan Cukic, Yan Liu 0003, Rahma Ben Ayed |
Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
Refinement Calculi, Neural Networks, Formal Methods, Radial Basis Functions, Adaptive Control, RBF neural networks, Verification and Validation, On-Line Learning, MLP neural networks |
| 1 | Walid Abdelmoez, Mark Shereshevsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, S. Bogazzi, Mustafa Korkmaz, Ali Mili |
Software Architectures Change Propagation Tool (SACPT). |
ICSM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
dynamic complexity, dynamic coupling, severity of failure, software architecture, Markov model, Risk assessment, UML specification |
| 1 | Robert David Cowan, Ali Mili, Hany H. Ammar, Alan McKendall Jr., Lin Yang, Dapeng Chen, Terry Spencer |
Software Engineering Technology Watch. |
IEEE Software |
2002 |
DBLP DOI BibTeX RDF |
Software Trends, Watching Trends, Predicting Trends, Adapting to Trends, Affecting Trends, Software Engineering, Technology Transfer |
| 1 | Robert David Cowan, Alan McKendall Jr., Ali Mili, Lin Yang, L. Wang, Dapeng Chen, V. Janardhana, Terry Spencer |
Software engineering technology watch. |
Inf. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamel Barkaoui, Mohamed Jmaiel, Ali Mili |
Guest editorial. |
Journal of Systems and Software |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lamia Labed Jilani, Jules Desharnais, Ali Mili |
Defining and Applying Measures of Distance Between Specifications. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
relational specifications, Formal specifications, lattices, relations, software libraries, distance metrics, software adaptation, COTS integration |
| 1 | Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang |
Managing Software Reuse Economics: An Integrated ROI-based Model. |
Ann. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Del Gobbo, Ali Mili |
An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Shereshevsky, Habib Ammari, Nicholay Gradetsky, Ali Mili, Hany H. Ammar |
Information Theoretic Metrics for Software Architectures. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Del Gobbo, Ali Mili |
Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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? |
ICSE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili |
A calculus of program adaptation and its applications. |
Sci. Comput. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili |
Semantic distance between specifications. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hany H. Ammar, Bojan Cukic, Ali Mili, Christopher P. Fuhrman |
A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering. |
Ann. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sherif M. Yacoub, Ali Mili, Chakri Kaveri, Mark Dehlin |
A hierarchy of COTS certification criteria. |
SPLC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Habib Ammari, Ali Mili |
Lattice Based Distances. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Hafedh Mili, Joumana Dargham, Ali Mili |
Views: A Framework for Feature-based Development and Distribution of OO Applications. (PDF / PS) |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sherif M. Yacoub, Hany H. Ammar, Ali Mili |
Constructional Design Patterns as Reusable Components. |
ICSR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang |
An integrated cost model for software reuse. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
component engineering, software reuse, domain engineering, software cost estimation, return on investment, COCOMO, application engineering |
| 1 | Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang |
Tracking, predicting and assessing software reuse costs: an automated tool. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Sherif M. Yacoub, Edward A. Addy, Hafedh Mili |
Toward an Engineering Discipline of Software Reuse. |
IEEE Software |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili |
Desert Island Column: The Long Story of a Short Theorem. |
Autom. Softw. Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Addy, Ali Mili, Sherif M. Yacoub |
A Case Study in Software Reuse. |
Software Quality Journal |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hafedh Mili, Joumana Dargham, Omar Cherkaoui, Robert Godin, Ali Mili |
View Programming for Decentralized Development of OO Programs. |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed |
Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
fault tolerance, formal specifications, verification and validation, fault removal, fault avoidance |
| 1 | Victor R. Basili, Tom DeMarco, Ali Mili |
Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy. |
ICSE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili |
Integration of Sequential Scenarios. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
relational approach, state-based approach, integration, Scenario, requirements elicitation, user-system interaction |
| 1 | Marc Frappier, Ali Mili, Jules Desharnais |
Unifying Program Construction and Modification. |
Logic Journal of the IGPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Rym Mili, Roland Mittermeir |
A Survey of software Reuse Libraries. |
Ann. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Desharnais, Ridha Khédri, Ali Mili |
Towards a uniform relational semantics for tabular expressions. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Rahma Ben Ayed, Hafedh Mili, Ali Mili |
Capturing pointer semantics and scoping rules. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili |
Mathematical Foundations for Program Transformations. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rym Mili, Ali Mili, Roland Mittermeir |
Storing and Retrieving Software Conponents: A Refinement Based System. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
software components storage and retrieval, refinement ordering, formal specifications, software reuse, Software libraries |
| 1 | Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili |
Retrieving Software Components that Minimize Adaptation Effort. (PDF / PS) |
ASE |
1997 |
DBLP DOI BibTeX RDF |
adaptation effort, retrieval procedures, approximate retrieval, library components, functional distance, formal specification, formal specifications, software components, software library |
| 1 | Marc Frappier, Ali Mili, Jules Desharnais |
Detecting Feature Interactions on Relational Specifications. |
FIW |
1997 |
DBLP BibTeX RDF |
|
| 1 | Marc Frappier, Ali Mili, Jules Desharnais |
Defining and detecting feature interactions. |
Algorithmic Languages and Calculi |
1997 |
DBLP BibTeX RDF |
|
| 1 | Fatma Mili, Ali Mili |
Algorithms = RelationaI Algebra + Ordering Relations. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Rym Mili, Lamia Labed Jilani, Ali Mili |
Measures of Distances to Perform Approximate Retrieval. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili |
Integration of Sequential Scenarios. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
relational approach, state-based approach, integration, scenario, requirements elicitation, user-system interaction |
| 1 | Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili |
A Calculus of Program Modifications. |
SSR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Frappier, Ali Mili, Jules Desharnais |
A Relational Calculus for Program Construction by Parts. |
Sci. Comput. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Joze Zupancic, Stanislaw Wrycza, Ali Mili |
Guest editor's corner. |
Journal of Systems and Software |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hafedh Mili, Fatma Mili, Ali Mili |
Reusing Software: Issues and Research Directions. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
managerial aspects of software reuse, software reuse measurements, building reusable components, OO software development, adapting reusable components, Software reuse, software component retrieval |
| 1 | Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia |
Embedding a Demonic Semilattice in a Relational Algebra. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Skuce, Ali Mili |
Behavorial Specifications in Object-Oriented Programming. |
JOOP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Marc Frappier, Ali Mili, Jules Desharnais |
Program Construction by Parts. |
MPC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Latifa Ben Arfa Rabai, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce |
A process for verification based inspections. |
SEKE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Rym Mili, Ali Mili |
Teaching a first course on data structures: a software engineering approach. |
SIGCSE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Rym Mili, Roland Mittermeir |
Storing and Retrieving Software Components: A Refinement Based System. |
ICSE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jules Desharnais, Ali Mili, Fatma Mili |
On the Mathematics of Sequential Decompositions. |
Sci. Comput. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili |
A Relation Division Operator: The Conjugate Kernel. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Noureddine Boudriga, Yahya Slimani, Ali Mili |
Relation-based semantics for concurrency. |
Inf. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Noureddine Boudriga, Fathi Elloumi, Ali Mili |
On the Lattice of Specifications: Applications to a Specification Methodology. |
Formal Asp. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatma Mili, Ali Mili |
Heuristics for Constructing While Loops. |
Sci. Comput. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Noureddine Boudriga, Ali Mili, Roland Mittermeir |
Semantic-Based Software Retrieval to Support Rapid Prototyping. |
Structured Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | Noureddine Boudriga, Ali Mili, R. Zalila, Fatma Mili |
A Relational Model for the Specification of Data Types. |
Comput. Lang. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Noureddine Boudriga |
Computers in the Classroom: A National Proposal. |
IFIP Congress |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ali Jaoua, Ali Mili, Noureddine Boudriga, J. L. Durieux |
Regularity of Relations: A Measure of Uniformity. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | L. Kemayel, Ali Mili, I. Ouederni |
Controllable factors for programmer productivity: A statistical study. |
Journal of Systems and Software |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). |
Journal of Systems and Software |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Jaoua, Ali Mili |
The use of executable assertions for error detection and damage assessment. |
Journal of Systems and Software |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Noureddine Boudriga, Ali Mili |
A Database of Software Components: An Algebraic Structure and Its Implementation. |
DEXA |
1990 |
DBLP BibTeX RDF |
|
| 1 | Fatma Mili, B. Alaya, Ali Mili |
On the Analysis of Iterative and Recursive Programs. |
Australian Computer Journal |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ali Mili, Jules Desharnais, Fatma Mili |
Relational Heuristics for the Design of Deterministic Programs. |
Acta Inf. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili, Sihem Guemara, Ali Jaoua, Paul Torrés |
On the use of executable assertions in structured programs. |
Journal of Systems and Software |
1987 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")