The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Müller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Norbert Fuhr, Peter Müller
    Probabilistic Search Term Weighting-Some Negative Results. [Citation Graph (1, 0)][DBLP]
    SIGIR, 1987, pp:13-18 [Conf]
  2. Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter
    A Type System for Checking Applet Isolation in Java Card. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2004, pp:129-150 [Conf]
  3. K. Rustan M. Leino, Peter Müller
    Object Invariants in Dynamic Contexts. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2004, pp:491-516 [Conf]
  4. Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll
    Formal Techniques for Java-Like Programs (FTfJP). [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2004, pp:76-83 [Conf]
  5. Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2000, pp:41-54 [Conf]
  6. Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java-Like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2003, pp:62-71 [Conf]
  7. Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:97-115 [Conf]
  8. Peter Müller, Arnd Poetzsch-Heffter
    Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:154-156 [Conf]
  9. K. Rustan M. Leino, Peter Müller
    A Verification Methodology for Model Fields. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:115-130 [Conf]
  10. Arnd Poetzsch-Heffter, Peter Müller
    A Programming Logic for Sequential Java. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:162-176 [Conf]
  11. Fabian Bannwart, Peter Müller
    Changing Programs Correctly: Refactoring with Specifications. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:492-507 [Conf]
  12. K. Rustan M. Leino, Peter Müller
    Modular Verification of Static Class Invariants. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:26-42 [Conf]
  13. Reinhard Guthke, Wolfgang Schmidt-Heck, Peter Müller, Heike Rodig, Ralph Berkholz
    Data and knowlage based experimental design for bioprocess optimization. [Citation Graph (0, 0)][DBLP]
    German Conference on Bioinformatics, 1999, pp:199-200 [Conf]
  14. Peter Müller, Arnd Poetzsch-Heffter
    Formal Specification Techniques for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:602-611 [Conf]
  15. Cyriel Minkenberg, François Abel, Peter Müller, Raj Krishnamurthy, Mitchell Gusat, B. Roe Hemenway
    Control Path Implementation for a Low-Latency Optical HPC Switch. [Citation Graph (0, 0)][DBLP]
    Hot Interconnects, 2005, pp:29-35 [Conf]
  16. Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb
    Simulating Synthetic Polymer Chains in Parallel. [Citation Graph (0, 0)][DBLP]
    HPCN Europe, 1999, pp:13-22 [Conf]
  17. Jan Vytopil, Peter Müller
    Communication Architecture of TCP16, a Highly Reliable, Distributed System. [Citation Graph (0, 0)][DBLP]
    ICC (2), 1984, pp:549-553 [Conf]
  18. Gary T. Leavens, Peter Müller
    Information Hiding and Visibility in Interface Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:385-395 [Conf]
  19. Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter
    Making Executable Interface Specifications More Expressive. [Citation Graph (0, 0)][DBLP]
    Java-Informations-Tage, 1999, pp:243-252 [Conf]
  20. Peter Müller, Arnd Poetzsch-Heffter
    Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. [Citation Graph (0, 0)][DBLP]
    Java-Informations-Tage, 1998, pp:1-10 [Conf]
  21. Markus Dreger, Stefan Lohrum, Peter Müller
    The MeDoc Communication Protocol. [Citation Graph (0, 0)][DBLP]
    The MeDoc Approach, 1998, pp:89-101 [Conf]
  22. Alexander Nyßen, Peter Müller, Jan Suchotzki, Horst Lichter
    Erfahrungen bei der systematischen Entwicklung kleiner eingebetteter Systeme mit der COMET-Methode. [Citation Graph (0, 0)][DBLP]
    Modellierung, 2004, pp:229-233 [Conf]
  23. Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb
    Parallel MD-Simulations of Synthetic Polymers. [Citation Graph (0, 0)][DBLP]
    PPSC, 1997, pp:- [Conf]
  24. Arnd Poetzsch-Heffter, Peter Müller
    Logical foundations for typed object-oriented languages. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:404-423 [Conf]
  25. Ernst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller
    A combinatorial approach to protein docking with flexible side-chains. [Citation Graph (0, 0)][DBLP]
    RECOMB, 2000, pp:15-24 [Conf]
  26. Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
    Modular specification of frame properties in JML. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2003, v:15, n:2, pp:117-154 [Journal]
  27. Fabian Bannwart, Peter Müller
    A Program Logic for Bytecode. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:255-273 [Journal]
  28. Santos F. Alvarado, Laura Rossi, Peter Müller, Paul F. Seidler, Walter Riess
    STM-excited electroluminescence and spectroscopy on organic materials for display applications. [Citation Graph (0, 0)][DBLP]
    IBM Journal of Research and Development, 2001, v:45, n:1, pp:89-100 [Journal]
  29. Walter Riess, Heike Riel, Tilman Beierlein, Wolfgang Brütting, Peter Müller, Paul F. Seidler
    Influence of trapped and interfacial charges in organic multilayer light-emitting devices. [Citation Graph (0, 0)][DBLP]
    IBM Journal of Research and Development, 2001, v:45, n:1, pp:77-88 [Journal]
  30. Peter Müller
    Der Einfluß der Registerstruktur eines Zentralprozessors auf dessen Operationsgeschwindigkeit. [Citation Graph (0, 0)][DBLP]
    Elektronische Rechenanlagen, 1971, v:13, n:3, pp:124-128 [Journal]
  31. Ernst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller
    A Combinatorial Approach to Protein Docking with Flexible Side Chains. [Citation Graph (0, 0)][DBLP]
    Journal of Computational Biology, 2002, v:9, n:4, pp:597-612 [Journal]
  32. Peter Müller
    On the Collineation Group of Cyclic Planes. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. A, 1994, v:65, n:1, pp:60-66 [Journal]
  33. Ádám Darvas, Peter Müller
    Reasoning About Method Calls in Interface Specifications. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2006, v:5, n:5, pp:59-85 [Journal]
  34. Werner Dietl, Peter Müller
    Universes: Lightweight Ownership for JML. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:8, pp:5-32 [Journal]
  35. Cyriel Minkenberg, François Abel, Peter Müller, Raj Krishnamurthy, Mitchell Gusat, Peter Dill, Ilias Iliadis, Ronald P. Luijten, B. Roe Hemenway, Richard Grzybowski, Enrico Schiattarella
    Designing a Crossbar Scheduler for HPC Applications. [Citation Graph (0, 0)][DBLP]
    IEEE Micro, 2006, v:26, n:3, pp:58-71 [Journal]
  36. Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
    Modular invariants for layered object structures. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:3, pp:253-286 [Journal]
  37. Werner Dietl, Sophia Drossopoulou, Peter Müller
    Generic Universe Types. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:28-53 [Conf]
  38. Peter Müller, Arsenii Rudich
    Ownership transfer in universe types. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:461-478 [Conf]
  39. Hermann Lehner, Peter Müller
    Formal Translation of Bytecode into BoogiePL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:35-50 [Journal]
  40. Gary T. Leavens, K. Rustan M. Leino, Peter Müller
    Specification and verification challenges for sequential object-oriented programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:2, pp:159-189 [Journal]
  41. Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb
    Simulating synthetic polymer chains in parallel. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2000, v:16, n:5, pp:513-522 [Journal]

  42. A Modular Verification Methodology for C# Delegates. [Citation Graph (, )][DBLP]


  43. A Unified Framework for Verification Techniques for Object Invariants. [Citation Graph (, )][DBLP]


  44. 07091 Executive Summary - Mobility, Ubiquity and Security. [Citation Graph (, )][DBLP]


  45. 07091 Abstracts Collection - Mobility, Ubiquity and Security. [Citation Graph (, )][DBLP]


  46. A Unified Framework for Verification Techniques for Object Invariants. [Citation Graph (, )][DBLP]


  47. Formal Techniques for Java-Like Programs. [Citation Graph (, )][DBLP]


  48. Aliasing, Confinement, and Ownership in Object-Oriented Programming. [Citation Graph (, )][DBLP]


  49. Verification of Equivalent-Results Methods. [Citation Graph (, )][DBLP]


  50. A Basis for Verifying Multi-threaded Programs. [Citation Graph (, )][DBLP]


  51. Deadlock-Free Channels and Locks. [Citation Graph (, )][DBLP]


  52. Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. [Citation Graph (, )][DBLP]


  53. Proving Consistency and Completeness of Model Classes Using Theory Interpretation. [Citation Graph (, )][DBLP]


  54. Checking Well-Formedness of Pure-Method Specifications. [Citation Graph (, )][DBLP]


  55. Universe Types for Topology and Encapsulation. [Citation Graph (, )][DBLP]


  56. Verification of Concurrent Programs with Chalice. [Citation Graph (, )][DBLP]


  57. An Input Queueing Implementation for Low-Latency Speculative Optical Switches. [Citation Graph (, )][DBLP]


  58. Sound reasoning about unchecked exceptions. [Citation Graph (, )][DBLP]


  59. Faithful mapping of model classes to mathematical structures. [Citation Graph (, )][DBLP]


  60. Proof-transforming compilation of programs with abrupt termination. [Citation Graph (, )][DBLP]


  61. MOBIUS: Mobility, Ubiquity, Security. [Citation Graph (, )][DBLP]


  62. Proof-Transforming Compilation of Eiffel Programs. [Citation Graph (, )][DBLP]


  63. A Sound and Complete Program Logic for Eiffel. [Citation Graph (, )][DBLP]


  64. Reasoning about Function Objects. [Citation Graph (, )][DBLP]


  65. Flexible Immutability with Frozen Objects. [Citation Graph (, )][DBLP]


  66. Reasoning about Object Structures Using Ownership. [Citation Graph (, )][DBLP]


  67. UML2-basierte Architekturmodellierung kleiner eingebetteter Systeme Erfahrungen einer Feldstudie. [Citation Graph (, )][DBLP]


Search in 0.192secs, Finished in 0.197secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002