Dr Eden’s publications appeared in the highest ranking outlet in Google Scholar’s Top Publications – Software Systems category and in two other among the top twenty outlets, as well as other scholarly journals, conferences, and professional magazines, including the recipient of IEEE/ACM Automated Software Engineering’s Most Influential Paper Award in 2011.
Amnon H. Eden
Sapience.org
Publications
To raise new questions, new possibilities, to regard old problems from a new angle, requires creative imagination and marks real advance in science.
Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Filter by type:
All types (
40 )
Artificial Intelligence (
7 )
Cryptocurrencies (
1 )
Design Patterns (
13 )
Development Tools (
10 )
Disruptive Technology (
6 )
FOREX (
1 )
Formal Methods (
14 )
Machine Learning (
3 )
Object-Oriented Programming (
10 )
Ontology (
5 )
Philosophy of Computer Science (
8 )
Software Architecture (
3 )
Software Design (
6 )
Software Engineering (
26 )
Software Evolution (
6 )
Software Modelling (
7 )
Software Security (
1 )
Software Visualization (
4 )
Superintelligence (
6 )
Abstraction Classes in Software Design
Formal MethodsSoftware ArchitectureSoftware DesignSoftware EngineeringSoftware Evolution
IEE Software, Vol. 153, No. 4, pp. 163–182. London, UK: The Institution of Engineering and Technology
Publication year: 2006
Directions in Architectural Specifications
Object-Oriented ProgrammingSoftware EngineeringSoftware Modelling
Proceedings of the Workshop on Software Architecture Recovery and Modelling, 8th Working Conference on Reverse Engineering—WCRE (2 Oct. 2001), Stuttgart, Germany
Publication year: 2001
On the Evolution Complexity of Design Patterns
Design PatternsSoftware EngineeringSoftware Evolution
Electronic Notes in Theoretical Computer Science, Vol. 127, No. 3, pp. 147–163. Amsterdam, The Netherlands: Elsevier,
Publication year: 2004
A Theory of Object-Oriented Design
Object-Oriented ProgrammingOntologySoftware DesignSoftware Engineering
Information Systems Frontiers, Vol. 4, No. 4 (Nov.–Dec. 2002), pp. 379–391. Amsterdam, The Netherlands: Kluwer Academic Publishers
Publication year: 2002
The Design Navigator: Charting Java Programs
Development ToolsSoftware EngineeringSoftware Visualization
Companion, 30th International Conference on Software Engineering—ICSE (10–18 May 2008), Leipzig, Germany, pp. 945–946
Publication year: 2008
Navigating Through the Design of Object-Oriented Programs
Development ToolsSoftware EngineeringSoftware Visualization
15th Working Conf. on Reverse Engineering—WCRE (15–18 Oct. 2008), Antwerp, Belgium
Publication year: 2008
Structural Analysis of the Check Point Pattern
Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Security
3rd International Workshop on Cyberpatterns 2014, in conjunction with 8th Int'l Symp. Service-Oriented System Engineering—SOSE 2014. Oxford, UK: IEEE Computer Society Press
Publication year: 2014
The Singularity Hypothesis
Artificial IntelligenceDisruptive TechnologySuperintelligence
8th European conference on Computing And Philosophy—ECAP, 4 – 6 Oct. 2010, Munich, Germany
Publication year: 2010
Two Paradoxes of Transhumanism
Superintelligence
7th European Computing And Philosophy conference — ECAP (2–4 Jul. 2009), Barcelona, Spain
Publication year: 2009
Revised Experiment in Evolution Complexity: Instructions to Subjects
Formal MethodsSoftware EngineeringSoftware Evolution
Technical report CSM-439, ISSN 1744-8050 (November 2005) Department of Computer Science, University of Essex
Publication year: 2005
The Imminent, The (Im-)possible, and the Irreversible: The Disruptive Potential of Artificial Intelligence
Artificial IntelligenceDisruptive TechnologyMachine LearningSuperintelligence
Institute for Advanced Studies, Hebrew University of Jerusalem (12 Nov 2015), DOI 10.13140/RG.2.1.1071.7524
Publication year: 2015
Automating the Application of Design Patterns
Design PatternsDevelopment ToolsObject-Oriented ProgrammingSoftware Engineering
Journal of Object-Oriented Programming, Vol. 10, No. 2, pp. 44–46. New York, USA: SIGS Publications
Publication year: 1997
Precise Specification and Automatic Application of Design Patterns
Design PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware DesignSoftware Engineering
In Michael Lowry, Yves Ledru (eds.) Proc. 12th IEEE International Conference on Automated Software Engineering conference—ASE, Lake Tahoe, NV, USA, pp. 143–152
Publication year: 1997
Giving 'The Quality' a Name
Design PatternsFormal MethodsSoftware Engineering
Journal of Object Oriented Programming, Vol. 11, No. 3, pp. 5–11. New York, USA: SIGS Publications
Publication year: 1998
Visualization of Object Oriented Architectures
Object-Oriented ProgrammingSoftware EngineeringSoftware Modelling
Proc. Workshop on Software Visualization, International Conference on Software Engineering—ICSE (13–14 May 2001), Toronto, Canada, pp. 5–10
Publication year: 2001
Principles in formal specification of object oriented design and architecture
Design PatternsFormal MethodsObject-Oriented ProgrammingSoftware Engineering
Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Publication year: 2001
LePUS — Symbolic-Logic Modelling of Object Oriented Architectures: A Case Study
Design PatternsSoftware EngineeringSoftware Modelling
Proceedings of the 2nd Nordic Workshop on Software Architecture—NOSA (12–13 Aug. 1999), Ronneby, Sweden
Publication year: 1999
Towards a Programming Language Ontology
OntologyPhilosophy of Computer Science
In: Gordana Dodig-Crnkovic, Susan Stuart (eds.) Computation, Information, Cognition—The Nexus and the Liminal, pp. 147–159. Cambridge, UK: Cambridge Scholars Press
Publication year: 2007
Foreword: Design Pattern Formalization Techniques
Design PatternsFormal MethodsObject-Oriented ProgrammingSoftware Engineering
In: Toufik Taibi (ed.) Design Pattern Formalization Techniques, pp. vi–vii. Hershey, USA: IGI
Publication year: 2007
Problems in the ontology of computer programs
OntologyPhilosophy of Computer Science
Applied Ontology, Vol. 2, No. 1, pp. 13–36. Amsterdam: IOS Press
Publication year: 2007
On the Utility Value of Money
CryptocurrenciesDisruptive TechnologyFOREX
Sapience.org Technical Report STR 2022-1, DOI 10.13140/RG.2.2.17821.18404
Publication year: 2022
Automated Verification of Design Patterns with LePUS3
Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Evolution
The 1st NASA Formal Methods Symposium–NFM, Moffett Field, CA
Publication year: 2009
Some Philosophical Issues in Computer Science
Philosophy of Computer Science
Minds and Machines, Vol. 21, No. 2, pp. 123–133
Publication year: 2011
Modeling and Visualizing Object-Oriented Programs with Codecharts
Formal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware ModellingSoftware Visualization
Formal Methods in System Design (Springer), Vol. 42, No. 1, pp. 1–28
Publication year: 2013
Automated Verification of Design Patterns: A Case Study
Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Evolution
Science of Computer Programming, Volume 80, Part B, pp. 211–222
Publication year: 2013
Supervised Learning of Natural Concepts
Artificial IntelligenceMachine Learning
Master thesis, Department of Computer Science, Tel Aviv University
Publication year: 1994
Precise Specification of Design Patterns and Tool Support in Their Application
Design PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware Modelling
PhD dissertation, Department of Computer Science, Tel Aviv University
Publication year: 2000
The Singularity Controversy, Part I: Lessons Learned and Open Questions
Artificial IntelligenceDisruptive TechnologySuperintelligence
“The Singularity Controversy, Part I: Lessons Learned and Open Questions”. arXiv:1601.05977 [cs.AI], Sapience Project, Technical Report STR 2016-1, DOI 10.13140/RG.2.1.3416.6809
Publication year: 2016
