Institut für Softwaretechnik und Programmiersprachen

Publikationen

Publikationen pro Jahr 1996 2003 2004 2005 2007 2008 2012 2014 2016 2018 2024

• 746 Scopus-Zitationen
• 95 Konferenzpapiere
• 87 Konferenzbeitrag
• 50 Zeitschriftenaufsätze
• 15 Bachelorarbeiten
• 39 Mehr
  • 14 Masterarbeiten
  • 8 Anthologien
  • 4 Konferenzbände und -dokumentationen
  • 4 Andere
  • 2 Kapitel
  • 2 Leitartikel
  • 1 Bücher
  • 1 Besondere Zeitschrifteneditionen/Sonderausgaben
  • 1 Konferenzaufsätze in Fachzeitschriften
  • 1 Übersichtsarbeiten
  • 1 Dissertationen

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2008

  Speeding up XML Quering: Satisfiability Test & Containment Test of XPath Queries in the Presence of XML Schema Definitions

  Groppe, J., 01.07.2008, Berlin. 186 S.

  Publikation: Publizierte Abschlussarbeiten › Dissertationen

  • XML 100%
  • Data structures 13%
  • Query processing 8%
  • Testing 8%
  • Access control 7%

• Streaming Dyadic Boolean Operations

  Dosch, W., Stümpel, A. & Tamme, T., 27.05.2008, Fifth International Conference on Information Technology: New Generations (itng 2008). IEEE, S. 88-96 9 S. 4492460. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Specifications 100%
  • Communication 77%

• Transformational design of a fault tolerant sequential memory component

  Dosch, W., 01.12.2008, 23rd International Conference on Computers and Their Applications, CATA 2008. International Speech and Communication Association (ISCA), S. 181-188 8 S.

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Data storage equipment 100%
  • Formal methods 63%
  • Communication 54%
  • Specifications 35%
• 2007

  14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2007)

  Dosch, W. (Hrsg.), Grelck, C. (Hrsg.) & Stümpel, A. (Hrsg.), 2007, 225 S.

  Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Anthologien › Begutachtung

• ASIOS: A Tool for the Interactive Transformation of Algebraic Specifications Into Object-oriented Specifications

  Dölle, B., 01.12.2007, 2007 IEEE International Conference on Electro/Information Technology. IEEE, S. 204-209 6 S. 4374482. (IEEE International Conference on Electro/Information Technology,).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Specifications 100%
  • Abstract data types 55%
  • Students 28%

• CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata

  Grelck, C., Penczek, F. & Trojahner, K., 01.12.2007, PaCT 2007: Parallel Computing Technologies . Springer Verlag, Band 4671 LNCS. S. 410-417 8 S. (Lecture Notes in Computer Science; Band 4671 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Computer workstations 100%
  • Supercomputers 89%
  • Cellular automata 88%
  • Computer programming languages 72%
  • Data storage equipment 48%

• Coordinating Data Parallel SAC Programs with S-Net

  Grelck, C., Scholz, S. B. & Shafarenko, A., 24.09.2007, 2007 IEEE International Parallel and Distributed Processing Symposium. IEEE, S. 1-8 8 S. 4228136. (International Parallel and Distributed Processing Symposium).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Array processing 100%
  • Large scale systems 65%

• Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement.

  Dölle, B., 2007, Cuvillier Verlag. 174 S.

  Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Bücher › Begutachtung

  • Specifications 100%
  • Abstract data types 18%
  • Semantics 17%
  • Formal methods 14%
  • Object oriented programming 14%

• Deriving State-Based Implementations of Interactive Components with History Abstractions

  Dosch, W. & Stümpel, A., 01.12.2007, PSI 2006: Perspectives of Systems Informatics. Springer Verlag, Band 4378 LNCS. S. 180-194 15 S. (Lecture Notes in Computer Science; Band 4378 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Formal methods 100%
  • Diamonds 85%
  • Glass 68%
  • Communication 43%

• Designing Combinational Circuits for Scattered Pattern Matching

  Dosch, W., 01.12.2007, S. 72-80. 9 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Combinatorial circuits 100%
  • Pattern matching 88%
  • High level synthesis 49%
  • Specifications 25%

• Extending the Service Domain of an Interactive Queue

  Dosch, W., 01.12.2007, S. 1142-1149. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Extending the Service Domain of Interactive Components

  Dosch, W., 01.12.2007, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007). IEEE, S. 233-242 10 S. 4296941. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

• Extending the S-Net Type System

  Cai, H., Eisenbach, S., Shafarenko, A. & Grelck, C., 2007, S. 1-26. 26 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams

  Dosch, W., 26.11.2007, 2007 IEEE/ACS International Conference on Computer Systems and Applications. IEEE, S. 909-916 8 S. 4231068. ( IEEE/ACS International Conference on Computer Systems and Applications).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Synchronization 100%
  • Communication 62%
  • Refining 40%
  • Specifications 26%

• From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures

  Dölle, B. & Dosch, W., 01.12.2007, International Conference on Software Engineering Advances (ICSEA 2007). IEEE, S. 3-3 1 S. 4299886. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Specifications 100%
  • Formal methods 59%
  • Syntactics 52%

• Generic Programming on the Nesting Structure of Arrays

  Herhut, S., Scholz, S-B. & Grelck, C., 2007, S. 1-8. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Boilers 100%
  • Data structures 90%
  • Specifications 70%

• High Level Design of a Request Driven Sender Component

  Dosch, W. & Stümpel, A., 28.08.2007, Fourth International Conference on Information Technology (ITNG'07). IEEE, S. 707-714 8 S. 4151765. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Software architecture 100%
  • Communication 48%

• Index vector elimination - Making index vectors affordable

  Bernecky, R., Herhut, S., Scholz, S. B., Trojahner, K., Grelck, C. & Shafarenko, A., 01.12.2007, S. 19-36. 18 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Experiments 100%

• Model checking for input/output properties of a black-box model

  Dosch, W., Muenchaisri, P., Ruanthong, W. & Stümpel, A., 01.12.2007, S. 120-127. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Model checking 100%
  • Software design 32%
  • Acoustic waves 24%

• Modeling software systems

  Dosch, W., 12.10.2007, S. xxvi. 1 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Software engineering 100%
  • Data structures 43%
  • Communication 26%
  • Engineers 24%
  • Consumer products 22%

• On Implementing S-Net

  Grelck, C. & Penczek, F., 2007, S. 531-533. 3 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• On Irregular Behaviours of Interactive Stacks

  Dosch, W. & Hu, G., 28.08.2007, Fourth International Conference on Information Technology (ITNG'07). IEEE, S. 693-700 8 S. 4151763. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

• On Optimising Shape-Generic Array Programs using Symbolic Structural Information

  Trojahner, K., Grelck, C. & Scholz, S. B., 01.12.2007, IFL 2006: Implementation and Application of Functional Languages. Springer Verlag, Band 4449 LNCS. S. 1-18 18 S. (Lecture Notes in Computer Science; Band 4449 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Structural properties 100%
  • Formal languages 38%

• On the High-Level Synthesis of Combinational Circuits for Contiguous Pattern Matching

  Dosch, W., 01.12.2007, S. 520-529. 10 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Combinatorial circuits 100%
  • High level synthesis 99%
  • Pattern matching 88%
  • Specifications 25%

• Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007).

  Latifi, S. & Dosch, W., 2007, IEEE. 1124 S.

  Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Konferenzbände und -dokumentationen › Forschung

• SAC: Off-the-Shelf Support for Data-Parallelism on Multicores

  Grelck, C. & Scholz, S. B., 22.10.2007, S. 25-33. 9 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Array processing 100%
  • Data storage equipment 46%

• S-Net: A Declarative Approach towards Streaming Networks of Asynchronous Components.

  Grelck, C., Scholz, S-B. & Shafarenko, A., 2007, S. 145-155 . 11 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Computer software reusability 100%
  • Computer programming languages 68%

• Streaming Networks for Coordinating Data-Parallel Programs

  Grelck, C., Scholz, S. B. & Shafarenko, A., 01.12.2007, PSI 2006: Perspectives of Systems Informatics . Springer Verlag, Band 4378 LNCS. S. 451-455 5 S. (Lecture Notes in Computer Science ; Band 4378 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

• Transformational Design of an Asynchronous Distributor Component

  Dosch, W. & Feng, W., 01.12.2007, S. 81-88. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Formal methods 100%
  • Specifications 55%
  • Communication 43%
• 2006

  Enriching Interactive Components with Again Commands

  Dosch, W., 01.12.2006, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06). IEEE, S. 183-192 10 S. 1691379. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Formal methods 100%

• From Stream Transformers to Moore State Transition Machines with Input and Output

  Dosch, W., Ruanthong, W. & Stümpel, A., 22.12.2006, Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06). IEEE, Band 2006. S. 65-72 8 S. 1640668. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Formal methods 100%
  • Specifications 27%
  • Computer hardware 25%

• With-Loop Fusion for Data Locality and Parallelism

  Grelck, C., Hinckfuß, K. & Scholz, S. B., 01.12.2006, IFL 2005: Implementation and Application of Functional Languages . Springer Verlag, Band 4015 LNCS. S. 178-195 18 S. (Lecture Notes in Computer Science ; Band 4015 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Fusion reactions 100%
  • Synchronization 49%
  • Experiments 22%
• 2005

  A Binding Scope Analysis for Inferring Array Shapes

  Grelck, C., Scholz, S. B. & Shafarenko, A., 2005, S. 251-260. 10 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• A Language Design for Multithreaded Execution

  Grelck, C. & Scholz, S. B., 2005, S. 61-61. 1 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• A Language Implementation for Symmetric Homogeneous Multithreading

  Grelck, C. & Scholz, S. B., 2005, S. 29-29. 1 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• A Loose Interaction Pattern for Asynchronous Components

  Dosch, W., 01.12.2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05). IEEE, S. 222-230 9 S. 1607156. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Feedback 100%

• Designing combinational circuits with list homomorphisms

  Dosch, W., 01.12.2005, Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05). IEEE, S. 288-297 10 S. 1563175. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Combinatorial circuits 100%
  • High level synthesis 49%

• Engineering Software Intensive Systems

  Dosch, W., 2005, S. 83-102. 20 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• From Communication Histories to State Transition Machine

  Dosch, W., 2005, S. 29-41. 13 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• High-Level Design of a Pull Protocoll

  Dosch, W. & Meriste, M., 2005, S. 66-73. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• High-Level Design of a Ternary Asynchronous Multiplexer

  Dosch, W. & Yeung, W. L., 01.12.2005, S. 221-228. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Refining 100%
  • Communication 51%

• History Abstractions of an Interactive Frequency Table

  Dosch, W., 01.12.2005, S. 31-39. 9 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Formal methods 100%

• Implementation and Application of Functional Languages, 16th International Workshop (IFL 2004)

  Grelck, C. (Hrsg.), Huch, F. (Hrsg.), Michaelson, G. (Hrsg.) & Trinder, P. (Hrsg.), 26.09.2005, Springer Verlag. 235 S. (Theoretical Computer Science and General Issues; Band 3474)

  Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Konferenzbände und -dokumentationen › Forschung

  • Graphical user interfaces 100%
  • Functional programming 65%
  • Message passing 53%

• Runtime verification revisited

  Arafat, O., Bauer, A., Leucker, M. & Schallhart, C., 01.10.2005, S. 1-22. 22 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Temporal logic 100%
  • Semantics 41%
  • Finite automata 13%

• Shared memory multiprocessor support for functional array processing in SAC

  Grelck, C., 01.05.2005, in: Journal of Functional Programming. 15, 3, S. 353-401 49 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Array processing 100%
  • Data storage equipment 46%
  • Memory architecture 31%
  • Parallel processing systems 25%
  • Experiments 9%
  35 Zitate (Scopus)

• Software Engineering - Components, Interfaces, Behaviours

  Dosch, W., 01.12.2005, Fourth Annual ACIS International Conference on Computer and Information Science (ICIS'05). IEEE, S. xv 1 S. 1515365. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Real time systems 100%
  • Data structures 82%
  • Software engineering 81%
  • Engineers 70%
  • Specifications 64%

• Software Engineering Research and Applications: Second International Conference, SERA 2004

  Dosch, W. (Hrsg.), Lee, R. Y. (Hrsg.) & Wu, C. (Hrsg.), 01.12.2005, Springer Verlag. 261 S. (Programming and Software Engineering)

  Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Anthologien › Begutachtung

  • Second International 100%
  • software 47%
  • engineering 42%
  • information science 16%
  • computer science 15%

• System Views in Software Engineering

  Dosch, W., 2005, S. 33-72. 40 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Time-awareness and proactivity in models of interactive computation

  Motus, L., Meriste, M. & Dosch, W., 22.12.2005, in: Electronic Notes in Theoretical Computer Science. 141, 5, S. 69-95 27 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Computer science 100%
  14 Zitate (Scopus)

• Transforming Functional Signatures of Algebraic Specifications into Object-Oriented Class Signatures

  Dölle, B. & Dosch, W., 01.12.2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05). IEEE, S. 323-332 10 S. 1607168. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Specifications 100%
  • Mechanization 50%
  • Formal methods 44%
  • Syntactics 39%