Publikationen

Autor*in

Jahr der Veröffentlichung

Publikationsformat

Keyword

Forschungsprojekt

Institut/Einrichtung

2008

The impact of time controlled reading on software inspection effectiveness and efficiency: a controlled experiment

Petersen, K. ., Rönkkö, K. ., & Wohlin, C. . (2008). The impact of time controlled reading on software inspection effectiveness and efficiency: a controlled experiment. In Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (S. 139–148).
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Petersen, Kai

Abteilung/Einrichtung

FLAIR - Flensburg Artificial Intelligence Research
Filter Tags
2008

Conference Paper

Kai Petersen

Kari Rönkkö

Claes Wohlin
EasyCheck — Test Data for Free

Christiansen, J. ., & Fischer, S. . (2008). EasyCheck — Test Data for Free. In Functional and Logic Programming (S. 322–336). Springer Berlin Heidelberg.

Abstract

We present a lightweight, automated tool for specification-based testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Christiansen, Jan

Fachbereich

Fachbereich 3: Information und Kommunikation
Filter Tags
2008

Conference Paper

Jan Christiansen

Sebastian Fischer

2007

Cross-Layer MAC Design for IR-UWB Networks

erez-Guirao, M. D. P., Lübben, R. ., Zhao, Z. ., Kaiser, T. ., & Jobmann, K. . (2007). Cross-Layer MAC Design for IR-UWB Networks. In IEEE IWCLD (S. 113–116). http://doi.org/10.1109/IWCLD.2007.4379050 (Original work published 2024)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Lübben, Ralf

Fachbereich

Fachbereich 4: Wirtschaft
Filter Tags
2007

Conference Paper

M. erez-Guirao

Ralf Lübben

Z. Zhao

T. Kaiser

K. Jobmann
Variability-driven selection of services for service compositions

Petersen, K. ., Zaha, J. M., & Metzger, A. . (2007). Variability-driven selection of services for service compositions. In International Conference on Service-Oriented Computing (S. 388–400).
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Petersen, Kai

Abteilung/Einrichtung

FLAIR - Flensburg Artificial Intelligence Research
Filter Tags
2007

Conference Paper

Kai Petersen

Johannes Zaha

Andreas Metzger

2006

Modeling and identification of nonlinear systems using SISO LEM-Hammerstein and LEM-Wiener model structures

Fernandes, P. B., Schlipf, D. ., & Trierweiler, J. O. (2006). Modeling and identification of nonlinear systems using SISO LEM-Hammerstein and LEM-Wiener model structures. In 6th IFAC Symposium on Advanced Control of Chemical Processes (Bd. 39, S. 1101–1106). http://doi.org/10.3182/20060402-4-br-2902.01101 (Original work published 2024)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2006

Conference Paper

Pedro Fernandes

David Schlipf

Jorge Trierweiler
Modeling and identification of nonlinear systems using MIMO LEM-Hammerstein structure

Schlipf, D. ., Fernandes, P. B., & Trierweiler, J. O. (2006). Modeling and identification of nonlinear systems using MIMO LEM-Hammerstein structure. In Workshop on Solving Industrial Control and Optimization Problems. Gramado, Brazil. http://doi.org/10.18419/opus-8175 (Original work published 2024)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2006

Conference Paper

David Schlipf

Pedro Fernandes

Jorge Trierweiler
Applying variability modeling concepts to support decision making for service composition

Petersen, K. ., Bramsiepe, N. ., & Pohl, K. . (2006). Applying variability modeling concepts to support decision making for service composition. In 2006 Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER 06-RE 06 Workshop) (S. 1–1).
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Petersen, Kai

Abteilung/Einrichtung

FLAIR - Flensburg Artificial Intelligence Research
Filter Tags
2006

Conference Paper

Kai Petersen

Nadine Bramsiepe

Klaus Pohl

2004

Searches for squarks with H1 at HERA

Vest, A. . (2004). Searches for squarks with H1 at HERA. In 12th International Workshop on Deep Inelastic Scattering (DIS 2004).
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Vest, Anja
Filter Tags
2004

Conference Paper

Anja Vest

Teilchenphysik

DESY

H1 Collaboration
Searching for Deadlocks While Debugging Concurrent Haskell Programs

Christiansen, J. ., & Huch, F. . (2004). Searching for Deadlocks While Debugging Concurrent Haskell Programs. In Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming (S. 28–39). ACM. http://doi.org/10.1145/1016850.1016858
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Christiansen, Jan

Fachbereich

Fachbereich 3: Information und Kommunikation
Filter Tags
2004

Conference Paper

Jan Christiansen

Frank Huch

concurrent haskell

deadlock

debugging

detecting deadlocks

2002

CAES with High Efficiency and Power Output

Tuschy, I. ., Althaus, R. ., Gerdes, R. ., & Keller-Sornig, P. . (2002). CAES with High Efficiency and Power Output. In Energiespeicher (Bd. 1734). Düsseldorf: VDI-Verlag.
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Tuschy, Ilja
Filter Tags
2002

Conference Paper

Ilja Tuschy

Rolf Althaus

Ralf Gerdes

Peter Keller-Sornig

Publikationen

2008

Exportformate

Weiterführende Links

Filter Tags

Abstract

Exportformate

Weiterführende Links

Filter Tags

2007

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

2006

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

2004

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

2002

Exportformate

Weiterführende Links

Filter Tags