publications dds

Diomidis D. Spinellis Publications

Contents

Publication list in BibTeX format

Contents Home

Journal Publications

[1]
Diomidis Spinellis. Type-safe linkage for variables and functions. ACM SIGPLAN Notices, 26(8):74-79, August 1991.

[2]
Diomidis Spinellis. Implementing Haskell: Language implementation as a tool building exercise. Structured Programming (Software Concepts and Tools), 14:37-48, 1993.

[3]
Diomidis Spinellis. Checking C declarations at link time. The Journal of C Language Translation, 4(3):238-249, March 1993.

[4]
Diomidis Spinellis. Trace: A tool for logging operating system call transactions. Operating Systems Review, 28(4):56-63, October 1994.

[5]
Diomidis Spinellis, Sophia Drossopoulou, and Susan Eisenbach. Object-oriented technology in multiparadigm language implementation. Journal of Object-Oriented Programming, 8(1):33-38, March/April 1995.

[6]
Sokratis Katsikas, Diomidis Spinellis, John Iliadis, and Bernd Blobel. Using trusted third parties for secure telemedical applications over the WWW: The EUROMED-ETS approach. International Journal of Medical Informatics, 49(1):59-68, March 1998.

[7]
Diomidis Spinellis. Palmtop programmable appliance controls. Personal Technologies, 2(1):11-17, March 1998.

[8]
Stefanos Gritzalis and Diomidis Spinellis. The cascade vulnerability problem: The detection problem and a simulated annealing approach for its correction. Microprocessors and Microsystems, 21(10):621-628, April 1998.

[9]
Diomidis Spinellis. A critique of the Windows application programming interface. Computer Standards & Interfaces, 20:1-8, November 1998.

[10]
Diomidis Spinellis. The computer's new clothes. IEEE Software, 15(6):14-17, November/December 1998.

[11]
Stefanos Gritzalis, George Aggelis, and Diomidis Spinellis. Architectures for secure portable executable content. Internet Research, 9(1):16-24, 1999.

[12]
Diomidis Spinellis. Declarative peephole optimization using string pattern matching. ACM SIGPLAN Notices, 34(2):47-51, February 1999.

[13]
Stefanos Gritzalis, Diomidis Spinellis, and Panagiotis Georgiadis. Security protocols over open networks and distributed systems: Formal methods for their analysis, design, and verification. Computer Communications, 22(8):695-707, May 1999.

[14]
Stephanos Gritzalis, John Iliadis, Dimitris Gritzalis, Diomidis Spinellis, and Sokratis Katsikas. Developing secure Web-based medical applications. Medical Informatics, 24(1):75-90, 1999.

[15]
Diomidis Spinellis, Spyros Kokolakis, and Stephanos Gritzalis. Security requirements, risks, and recommendations for small enterprise and home-office environments. Information Management and Computer Security, 7(3):121-128, 1999.

[16]
Diomidis Spinellis. Explore, excogitate, exploit: Component mining. IEEE Computer, 32(9):114-116, September 1999.

[17]
Diomidis Spinellis, Stefanos Gritzalis, John Iliadis, Dimitris Gritzalis, and Sokratis Katsikas. Trusted third party services for deploying secure telemedical applications over the WWW. Computers and Security, 18(7):627-639, 1999.

[18]
Diomidis Spinellis, Chrissoleon Papadopoulos, and Jim MacGregor Smith. Large production line optimization using simulated annealing. International Journal of Production Research, 38(3):509-541, February 2000.

[19]
Diomidis Spinellis and Chrissoleon Papadopoulos. Stochastic algorithms for buffer allocation in reliable production lines. Mathematical Problems in Engineering, 5:441-458, 2000.

[20]
Konstantinos Raptis, Diomidis Spinellis, and Sokratis Katsikas. Distributed object bridges and a Java-based object mediator. Informatik / Informatique, 2:1-5, March 2000.

[21]
Diomidis Spinellis and Chrissoleon T. Papadopoulos. A simulated annealing approach for buffer allocation in reliable production lines. Annals of Operations Research, 93:373-384, 2000.

[22]
Diomidis Spinellis and Konstantinos Raptis. Component mining: A process and its pattern language. Information and Software Technology, 42(9):609-617, June 2000.

[23]
Diomidis Spinellis. Reflection as a mechanism for software integrity verification. ACM Transactions on Information and System Security, 3(1), 2000. To appear.

[24]
Diomidis Spinellis and Chrissoleon Papadopoulos. Modular production line optimization: The exPLOre architecture. Mathematical Problems in Engineering, 2001. To appear.

[25]
Diomidis Spinellis. Notable design patterns for domain specific languages. Journal of Systems and Software, 2000. To appear.

Contents Home

Conference Publications

[1]
Diomidis Spinellis. The implementation of multimedia applications. In Multimedia: Theory and Experience, pages 23-37, Athens, Greece, December 1992. Greek Computer Society. In Greek.

[2]
Diomidis Spinellis. Tekton: A program for the composition, design, and three-dimensional view of architectural subjects. In 4th Panhellenic Informatics Conference, volume I, pages 361-372, Patras, Greece, December 1993. Greek Computer Society. In Greek.

[3]
Diomidis Spinellis. Wux: Unix tools under Windows. In USENIX Conference Proceedings, pages 325-336, San Francisco, CA, USA, Winter 1994. Usenix Association.

[4]
Diomidis Spinellis, Sophia Drossopoulou, and Susan Eisenbach. Language and architecture paradigms as object classes: A unified approach towards multiparadigm programming. In Jürg Gutknecht, editor, Programming Languages and System Architectures International Conference, pages 191-207, Zurich, Switzerland, March 1994. Springer-Verlag. Lecture Notes in Computer Science 782.

[5]
Diomidis Spinellis. The design and implementation of a legal text database. In Dimitris Karagiannis, editor, DEXA 94: 5th International Conference on Database and Expert Systems Applications, pages 339-348, Athens, Greece, September 1994. Springer-Verlag. Lecture Notes in Computer Science 856.

[6]
Diomidis Spinellis, Sophia Drossopoulou, and Susan Eisenbach. An object model for multiparadigm programming. In Dennis Kafura, Greg Lavender, and Siva Challa, editors, OOPSLA '94 Workshop on Multi-Language Object Models, Oregon, USA, October 1994. http://actor.cs.vt.edu/~siva/wshop.html.

[7]
Diomidis Spinellis. Integrated aluminum hot milling automation. In Modern Modern Automated Control Technologies, pages 218-221, Athens, Greece, December 1995. Technical Chamber of Greece. In Greek.

[8]
Diomidis Spinellis. DIKAIO: High court decisions on the internet and on CD-ROM. In First Greek Technical Chamber Informatics Conference: The Information Society, pages 546-555, Athens, Greece, December 1995. Technical Chamber of Greece. In Greek.

[9]
Stefanos Gritzalis and Diomidis Spinellis. The cascade vulnerability problem for open distributed systems: A review. In IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality & Safety of Software-Intensive Systems, ENCRESS '97, pages 175-185, Athens, Greece, May 1997. IFIP, Chapman & Hall.

[10]
Diomidis Spinellis and Chrisoleon T. Papadopoulos. A simulated annealing approach for buffer allocation in reliable production lines. In International Workshop on Performance Evaluation and Optimization of Production Lines, pages 365-375, Samos, Greece, May 1997. University of the Aegean, Department of Mathematics.

[11]
Stefanos Gritzalis and Diomidis Spinellis. Cryptographic protocols over open distributed systems: A taxonomy of flaws and related protocol analysis tools. In Peter Daniel, editor, 16th International Conference on Computer Safety, Reliability and Security: SAFECOMP '97, pages 123-137, York, UK, September 1997. European Workshop on Industrial Computer Systems: TC-7, Springer Verlag.

[12]
Stefanos Gritzalis and Diomidis Spinellis. Addressing threats and security issues in World Wide Web technology. In Proceedings CMS '97 3rd IFIP TC6/TC11 International joint working Conference on Communications and Multimedia Security, pages 33-46, Athens, Greece, September 1997. IFIP, Chapman & Hall.

[13]
Diomidis Spinellis and V. Guruprasad. Lightweight languages as software engineering tools. In J. Christopher Ramming, editor, USENIX Conference on Domain-Specific Languages, pages 67-76, Santa Monica, CA, USA, October 1997. Usenix Association.

[14]
Soktratis Katsikas, Diomidis Spinellis, John Iliadis, and Bernd Blobel. Using TTPs for secure telemedical applications over the WWW: The EUROMED-ETS approach. In Pre-proceedings of the IMIA WG4 working Conference on Common security solutions for communicating patient data, Osaka/Kobe, Japan, November 1997. International Medical Informatics Association (IMIA).

[15]
Stefanos Gritzalis, George Aggelis, and Diomidis Spinellis. Programming languages for mobile code: A problems viewpoint. In Proceedings of the First International Network Conference INC '98, pages 210-217, Plymouth, UK, July 1998. IEE, Internet Research.

[16]
Diomidis Spinellis and Chrissoleon T. Papadopoulos. Production line buffer allocation: Genetic algorithms versus simulated annealing. In Second International Aegean Conference on the Analysis and Modelling of Manufacturing Systems, pages 89-101, Tinos, Greece, May 1999. University of the Aegean, Department of Business Administration.

[17]
Diomidis Spinellis and Dimitris Gritzalis. Information security best practice dissemination: The ISA-EUNET approach. In Louise Yngström and Simone Fisher-Hübner, editors, WISE 1: First World Conference on Information Security Education, pages 111-136, Kista, Sweden, June 1999. IFIP TC11 WG 11.8.

[18]
Dimitrios Lekkas, Sokratis K. Katsikas, Diomidis Spinellis, Pavel Gladychev, and Ahmed Patel. User requirements of trusted third parties in Europe. In Simone Fisher-Hübner, Gerald Quirchmayr, and Louise Yngström, editors, User Identification & Privacy Protection: Applications in Public Administration & Electronic Commerce, pages 229-242, Kista, Sweden, June 1999. IFIP WG 8.5 and WS 9.6.

[19]
Diomidis Spinellis and Chrissoleon T. Papadopoulos. ExPLOre: A modular architecture for production line optimisation. In Dimitris K. Despotis and Constantin Zopounidis, editors, Proceedings of the 5th International Conference of the Decision Sciences Institute, DSI '99, pages 1446-1449, Athens, Greece, July 1999. Decision Sciences Institute.

[20]
Diomidis Spinellis. Software reliability: Modern challenges. In G. I. Schuëller and P. Kafka, editors, Proceedings ESREL '99 --- The Tenth European Conference on Safety and Reliability, pages 589-592, Munich-Garching, Germany, September 1999. ESRA, VDI, TUM, A. A. Balkema.

[21]
Diomidis Spinellis. Reliable software implementation using domain specific languages. In G. I. Schuëller and P. Kafka, editors, Proceedings ESREL '99 --- The Tenth European Conference on Safety and Reliability, pages 627-631, Munich-Garching, Germany, September 1999. ESRA, VDI, TUM, A. A. Balkema.

[22]
John Tait, Jeremy Ellman, and Diomidis Spinellis. MABLe: a multilingual authoring tool for business letters. In ASLIB: 21st International Conference on Translating and the Computer, London, UK, November 1999. The Association for Information Management.

[23]
Diomidis Spinellis. Outwit: Unix tool-based programming meets the Windows world. In USENIX 2000 Technical Conference Proceedings, pages 149-158, San Diego, CA, USA, June 2000. Usenix Association.

[24]
Konstantinos Raptis, Diomidis Spinellis, and Sokratis Katsikas. Java as distributed object glue. In World Computer Congress 2000, Beijing, China, August 2000. International Federation for Information Processing. To appear.

[25]
Ioannis S. Iliadis, Diomidis Spinellis, Sokratis Katsikas, and Bart Preneel. A taxonomy of certificate status information mechanisms. In Information Security Solutions Europe ISSE 2000, Barcelona, Spain, September 2000. European Forum for Electronic Business.

[26]
John Iliadis, Diomidis Spinellis, Dimitris Gritzalis, Bart Preneel, and Sokratis Katsikas. Evaluating certificate status information mechanisms. In Proceedinds of the 7th ACM Conference on Computer and Communication Security: CCS '2000. ACM, November 2000. To appear.

Contents Home

Book Reviews

[1]
Diomidis Spinellis. Book review: High speed Windows applications: Multitasking design methods. ACM SIGPLAN Notices, 30(7):4, July 1995.

[2]
Diomidis Spinellis. Book review: Intranet security. ACM Computing Reviews, March 1998.

[3]
Diomidis Spinellis. Book review: Java in a nutshell (2nd ed.). ACM Computing Reviews, August 1998.

[4]
Diomidis Spinellis. Book review: Hacker proof: the ultimate guide to network security. ACM Computing Reviews, September 1998.

[5]
Diomidis Spinellis. Book review: Intrusion detection: Network security beyond the firewall. ACM Computing Reviews, February 1999.

[6]
Diomidis Spinellis. Decrypting the past and exploring the future. IEEE Software, 16(4):114-115, July/August 1999. Book review: Decrypted Secrets: Methods and Maxims of Cryptology.

[7]
Diomidis Spinellis. Book review: Securing Java: Getting down to business with mobile code. ACM Computing Reviews, August 1999.

[8]
Diomidis Spinellis. Book review: Object oriented Perl. ACM Computing Reviews, December 1999.

[9]
Diomidis Spinellis. Taking common sense to the extreme. IEEE Software, 17(4):113-114, July/August 2000. Book review: eXtreme Programming Explained: Embrace Change.

[10]
Diomidis Spinellis. Book review: LaTeX for Linux: a vade mecum. ACM Computing Reviews, March 2000.

Contents Home

Trade Journal Publications (International)

[1]
Diomidis Spinellis and Rob Kolstad. A conversation about Perl and the shell: Choosing the implementation vehicle. ;login:, 22(3):25-31, June 1997.

[2]
Diomidis Spinellis. Small tools for automatic text generation. ;login:, 23(4):44-47, August 1998.

[3]
Diomidis Spinellis. Optimal peripheral access using pipe-based double-buffering. ;login:, 24(4):43-45, August 1999.

Contents Home

Trade Journal Publications (Greek)

[1]
Diomidis Spinellis. Implementing multimedia applications: Introduction. Win Magazine, pages 86-89, March 1993. In Greek.

[2]
Diomidis Spinellis. Implementing multimedia applications: Programming the Windows API. Win Magazine, pages 64-68, April 1993. In Greek.

[3]
Diomidis Spinellis. Implementing multimedia applications: Development tools. Win Magazine, pages 65-68, June 1993. In Greek.

[4]
Diomidis Spinellis. Implementing multimedia applications: File storage and compression methods. Win Magazine, pages 80-83, July 1993. In Greek.

[5]
Diomidis Spinellis. Implementing multimedia applications: The media control interface. Win Magazine, pages 89-92, September 1993. In Greek.

[6]
Diomidis Spinellis. Implementing multimedia applications: Handling moving images. Win Magazine, October 1993. In Greek.

[7]
Diomidis Spinellis. Implementing multimedia applications: Controlling the video machine. Win Magazine, November 1993. In Greek.

[8]
Diomidis Spinellis. Protecting software from unauthorised copying. Win Magazine, pages 75-77, March 1994. In Greek.

[9]
Diomidis Spinellis. The Screen Machine MS-Access toolkit. Win Magazine, January 1995. In Greek.

Contents Home

Theses

[1]
Diomidis Spinellis. Programming Paradigms as Object Classes: A Structuring Mechanism for Multiparadigm Programming. PhD thesis, Imperial College of Science, Technology and Medicine, London, UK, February 1994.

[2]
Diomidis Spinellis. An implementation of the Haskell language. Master's thesis, Imperial College, London, UK, June 1990.

Contents Home

Technical Reports

[1]
Diomidis Spinellis. The design and implementation of a two process Prolog debugger. Technical Report IR-LP-31-21, ECRC GmbH, Munich, Germany, August 1989.

[2]
Diomidis Spinellis. The software management process at ECRC. Project report, Imperial College, London, UK, January 1990.

[3]
Diomidis Spinellis. Greek character encoding for electronic mail messages. Network Information Center, Request for Comments 1947, May 1996. RFC-1947.

[4]
MABLe Consortium. System design specification. MABLe Deliverable LE 1203-D-1.2.1, MARI Computer Systems, Tyne and Ware, UK, 1996.

[5]
MABLe Consortium. Evaluation criteria and test plan. MABLe Deliverable LE 1203-D-1.2.2, MARI Computer Systems, Tyne and Ware, UK, 1996.

[6]
Diomidis Spinellis and Spyros Livieratos. An institutional framework for reliability assurance of structural computation software. Memorandum presented to the ministerial committee on reliability of civil engineering software, January 1997. In Greek.

[7]
A. Amditis, D. Gritzalis, S. Gritzalis, D. Polemi, D. Spinellis, A. Varvitsiotis, and S. Velentzas. Review of existing results of TTPs for health care systems. EUROMED-ETS Deliverable 1, Institute of Communication and Computer Systems, National Technical University of Athens, Athens, Greece, April 1997.

[8]
A. Amditis, D. Gritzalis, S. Gritzalis, D. Polemi, D. Spinellis, A. Varvitsiotis, S. Velentzas, A. Kiagias, S. Katsikas, D. Dimitriadis, B. Barber, B. Blobel, and P. Pharow. TTPs in EUROMED: The proposed solution. EUROMED-ETS Deliverable 2, Institute of Communication and Computer Systems, National Technical University of Athens, Athens, Greece, May 1997.

[9]
A. Varvitsiotis, S. Katsikas, S. Gritzalis, D. Polemi, D. Spinellis, S. Velentzas, A. Marsh, D. Dimitriadis, B. Barber, B. Blobel, and P. Pharow. Pilot and validation of security measures in EUROMED. EUROMED-ETS Deliverable 3, Institute of Communication and Computer Systems, National Technical University of Athens, Athens, Greece, September 1997.

[10]
D. Polemi, , A. Varvitsiotis, , S. Velentzas, A. Marsh, S. Gritzalis, D. Spinellis, J. Iliadis, D. Dimitriadis, D. Blobel, P. Pharow, L. de Luca, and B. Barber. Trusted third party services for health care in Europe. EUROMED-ETS final report, Institute of Communication and Computer Systems, National Technical University of Athens, Athens, Greece, February 1998.

[11]
M. Crijns, M. Gatziani, S. Gritzalis, S. Grufferty, J. Iliadis, N. Kyrloglou, P. Landrock, K. Moulinos, O. Mueller, P. Passa, D. Polemi, D. Spinellis, and A. Varvitsiotis. Issues facing the secure link of Chambers of Commerce. COSACC deliverable, Athens Chamber of Commerce and Industry, Athens, Greece, December 1998.

Contents Home

Tutorial and Lecture Notes

[1]
Diomidis Spinellis. The Unix programming environment: Using existing tools. Tutorial, Imperial College, Department of Computing, June 1992.

[2]
Diomidis Spinellis. The Unix programming environment: Program development in C. Tutorial, Imperial College, Department of Computing, June 1992.

[3]
Diomidis Spinellis. Introduction to Computer Science --- lecture notes (in Greek). http://softlab.icsd.aegean.gr/~dspin/intro, October 1996.

[4]
Diomidis Spinellis. Programming in Pascal --- lecture notes (in Greek). http://softlab.icsd.aegean.gr/~dspin/pascal, February 1997.

[5]
Diomidis Spinellis. Algorithms and data structures --- lecture notes (in Greek). http://softlab.icsd.aegean.gr/~dspin/ads, February 1997.

[6]
Diomidis Spinellis. Operating systems I --- lecture notes (in Greek). http://softlab.icsd.aegean.gr/~dspin/os1, October 1997.

[7]
Diomidis Spinellis. Operating systems I laboratory --- lecture notes (in Greek). http://softlab.icsd.aegean.gr/~dspin/os1lab, October 1997.

[8]
Diomidis Spinellis. Information system security management. http://softlab.icsd.aegean.gr/~dspin/secman, September 1998.

[9]
Diomidis Spinellis. Software design and implementation --- lecture notes (in Greek). http://softlab.icsd.aegean.gr/~dspin/c, January 1999.

[10]
Diomidis Spinellis. Programming languages and data structures --- lecture notes (in Greek). http://softlab.icsd.aegean.gr/~dspin/c2, January 1999.

[11]
Diomidis Spinellis. Internet security --- trusted third parties. http://softlab.icsd.aegean.gr/~dspin/norma, July 1999.

[12]
Diomidis Spinellis. Hardware and software I (compiler technology). http://softlab.icsd.aegean.gr/~dspin/comp, October 1999.

[13]
Diomidis Spinellis. Programming languages --- lecture notes (in Greek). http://softlab.icsd.aegean.gr/~dspin/c3, January 2000.

Contents Home

Invited Talks

[1]
Diomidis Spinellis. Client/server development tools issues. Business Technology '95: Meeting on Client / Server Development tools jointly organised by the Greek Informatics Institute and Greek Management Society, April 1995. In Greek.

[2]
Diomidis Spinellis. Applying ISO-9001 to the development, supply, and maintenance of software. Seminar: Imperial College, Department of Computing, June 1996.

[3]
Diomidis Spinellis. The transition to Intranet technlogies. Talk given to the Athens Netware User's Group, February 1997. In Greek.

[4]
Diomidis Spinellis. Cryptography policy in the USA and the European Union. Seminar: IKAROS human network, December 1997. In Greek.

[5]
Diomidis Spinellis. Reliable software implementation using domain-specific languages. Workshop: Analysis and Dimensioning Software - Problems and Applications. University of Thessaloniki, Structural Engineering Department. Postgraduate programme on aseismic design., May 2000. In Greek.

Contents Home

Book Contributions

Contributions to the following books:

[1]
Ralf Brown and Jim Kyle. PC Interrupts: A Programmer's Reference to BIOS, DOS, and Third-party Calls. Addison-Wesley, 1991.

[2]
Don Libes. Obfuscated C and Other Mysteries. John Wiley and Sons, 1993.

[3]
Eric Raymond. The New Hacker's Dictionary. MIT Press, 1991.

[4]
Spyros Livieratos and Dimitris Charamidopoulos, editors. Tekton for Windows. Klitharithmos, Athens, Greece, 1996. In Greek.

Contents Home
(C) Copyright 1996-2000 Diomidis Spinellis. May be freely uploaded by WWW viewers and similar programs. All other rights reserved.