Home  Sitemap  Kontakt 





 


TZI

---------------
 
 
Home

Publications of C. Maeder

Books

  • BIB

    C. Maeder. Zur Kontextanalyse einer algebraischen Programmiersprache. TU Berlin, June 2001.

    @phdthesis{Maeder:Diss:01,
      author = {Christian Maeder},
      month  = {June},
      school = {TU Berlin},
      year   = {2001},
      title  = {Zur Kontextanalyse einer algebraischen Programmiersprache},
    }

Journal Articles

  • BIB

    R. Santiago, C. Maeder. Linguistic Variables of Type-N - a Mathematical Model. Tendencias em Matematica Aplicada e Computacional (TEMA) April 2011; 12(1):21–30.

    @article{Regivan:SBMAC:11,
      author    = {Regivan Santiago and Christian Maeder},
      publisher = {SBMAC, Brasil},
      title     = {{Linguistic Variables of Type-N - a Mathematical Model}},
      journal   = {Tendencias em Matematica Aplicada e Computacional (TEMA)},
      number    = {1},
      month     = {April},
      volume    = {12},
      pages     = {21--30},
      year      = {2011},
      keywords  = {Fuzzy Sets, Type-n Fuzzy sets, systems of type-n, n-homogeneous linguistic variables, heterogeneous linguistic variables},
      abstract  = {This work proposes a generalization for the notions of Linguistic Variables and Fuzzification Process. The idea is to provide a concept of fuzzy systems in which the linguistic terms of a linguistic variable are not necessarily connected with fuzzy sets of the same type. Those systems are called here Systems of Type-n. We introduce concepts like n-Homogeneous linguistic variables which emphasizes the occurrence of different levels of uncertainty in such Fuzzy systems. The most important result is the statement of the General Fuzzification Expression (GFE) which establishes how the fuzzification process must be calculated in every system of type-n.},
    }

Conference and Workshop Articles

  • BIB

    M. Codescu, T. Mossakowski, C. Maeder. Checking conservativity with Hets. R. Heckel, S. Milius, editors, Algebra and Coalgebra in Computer Science, 5th International Conference, CALCO 2013, September 3-6, Warsaw, Poland, volume 8089 of Lecture Notes in Computer Science, Springer Verlag, 2013; 315–321.

    @inproceedings{Codescu:Hets:13,
      author    = {Mihai Codescu and Till Mossakowski and Christian Maeder},
      editor    = {Reiko Heckel and Stefan Milius},
      publisher = {Springer Verlag},
      title     = {{Checking conservativity with Hets}},
      series    = {Lecture Notes in Computer Science},
      booktitle = {Algebra and Coalgebra in Computer Science, 5th International Conference, CALCO 2013, September 3-6, Warsaw, Poland},
      volume    = {8089},
      year      = {2013},
      pages     = {315--321},
    }
  • BIB

    S. Autexier, D. Dietrich, D. Hutter, C. Lüth, C. Maeder. SmartTies - Management of Safety-Critical Developments. T. Margaria, B. Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. 5th International Symposium, ISoLA 2012, October 15-18, Heraclion, Greece, volume 7609 of Lecture Notes in Computer Science, Springer Verlag, 2012; 238–252.

    @inproceedings{Autexier:LNCS:12,
      author    = {Serge Autexier and Dominik Dietrich and Dieter Hutter and Christoph L{\"{u}}th and Christian Maeder},
      editor    = {Tiziana Margaria and Bernhard Steffen},
      publisher = {Springer Verlag},
      title     = {{SmartTies - Management of Safety-Critical Developments}},
      series    = {Lecture Notes in Computer Science},
      booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. 5th International Symposium, ISoLA 2012, October 15-18, Heraclion, Greece},
      volume    = {7609},
      year      = {2012},
      keywords  = {Change Management, Safety-Critical Systems, Formal Methods, Graph Rewriting},
      pages     = {238--252},
    }
  • BIB

    M. Codescu, T. Mossakowski, A. \'Riesco, C. Maeder. Integrating Maude into Hets. M. Johnson, D. Pavlovic, editors, Algebraic Methodology and Software Technologyy. 13th International Conference, AMAST 2010, June 23-25, Lac-Beauport, Canada, volume 6486 of Lecture Notes in Computer Science, Springer Verlag, 2011; 60–75.

    @inproceedings{Codescu:Hets:11,
      author    = {Mihai Codescu and Till Mossakowski and Adri{\'{a}}n Riesco and Christian Maeder},
      editor    = {Michael Johnson and Dusko Pavlovic},
      publisher = {Springer Verlag},
      title     = {{Integrating Maude into Hets}},
      series    = {Lecture Notes in Computer Science},
      booktitle = {Algebraic Methodology and Software Technologyy. 13th International Conference, {AMAST} 2010, June 23-25, Lac-Beauport, Canada},
      volume    = {6486},
      year      = {2011},
      pages     = {60--75},
    }
  • BIB

    M. Codescu, B. Langenstein, C. Maeder, T. Mossakowski. The VSE Refinement Method in Hets. K. Breitman, A. Cavalcanti, editors, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, December 9-12, Rio de Janeiro, Brazil, volume 5885 of Lecture Notes in Computer Science, Springer Verlag, 2009; 660–678.

    @inproceedings{Codescu:Hets:09,
      author    = {Mihai Codescu and Bruno Langenstein and Christian Maeder and Till Mossakowski},
      editor    = {Karin Breitman and Ana Cavalcanti},
      publisher = {Springer Verlag},
      title     = {{The VSE Refinement Method in Hets}},
      series    = {Lecture Notes in Computer Science},
      booktitle = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, {ICFEM} 2009, December 9-12, Rio de Janeiro, Brazil},
      volume    = {5885},
      year      = {2009},
      pages     = {660--678},
    }
  • BIB

    T. Mossakowski, C. Maeder, K. Lüttich. Hets: The Heterogeneous Tool Set. O. Grumberg, M. Huth, editors, Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, March 24 - April 1, Braga, Portugal, volume 4424 of Lecture Notes in Computer Science, Springer Verlag, 2007; 519–522.

    @inproceedings{Mossakowski:Hets:07,
      author    = {Till Mossakowski and Christian Maeder and Klaus L{\"{u}}ttich},
      editor    = {Orna Grumberg and Michael Huth},
      publisher = {Springer Verlag},
      title     = {{Hets: The Heterogeneous Tool Set}},
      series    = {Lecture Notes in Computer Science},
      booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, {TACAS} 2007, March 24 - April 1, Braga, Portugal},
      volume    = {4424},
      year      = {2007},
      pages     = {519--522},
    }
  • BIB

    M. Fabiunke, J. Filipek, C. Maeder. XMI Based UML Model Composition in KobrA. GI Jahrestagung (2), 2001; 845–849.

    @inproceedings{Fabiunke:GI:01,
      author    = {Marko Fabiunke and Joanna Filipek and Christian Maeder},
      booktitle = {{GI} Jahrestagung {(2)}},
      year      = {2001},
      pages     = {845--849},
      title     = {{XMI Based UML Model Composition in KobrA}},
    }
  • BIB

    K. Didrich, W. Grieskamp, C. Maeder, P. Pepper. Programming in the Large: The Algebraic-Functional Language Opal 2$\alpha$. C. Clack, K. Hammond, A. Davie, editors, Implementation of Functional Languages, 9th International Workshop, IFL 1997, September 10-12, St. Andrews, Scotland, volume 1467 of Lecture Notes in Computer Science, Springer Verlag, 1997; 322–337.

    @inproceedings{Didrich:Opal:97,
      author    = {Klaus Didrich and Wolfgang Grieskamp and Christian Maeder and Peter Pepper},
      editor    = {Chris Clack and Kevin Hammond and Antony Davie},
      publisher = {Springer Verlag},
      title     = {{Programming in the Large: The Algebraic-Functional Language Opal 2$\alpha$}},
      series    = {Lecture Notes in Computer Science},
      booktitle = {Implementation of Functional Languages, 9th International Workshop, {IFL} 1997, September 10-12, St. Andrews, Scotland},
      volume    = {1467},
      year      = {1997},
      pages     = {322--337},
    }
  • BIB

    K. Didrich, C. Gerke, W. Grieskamp, C. Maeder, P. Pepper. Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). M. Wirsing, M. Nivat, editors, Algebraic Methodology and Software Technology, 5th International Conference, AMAST 1996, July 1-5, Munich, Germany, volume 1101 of Lecture Notes in Computer Science, Springer Verlag, 1996; 559–562.

    @inproceedings{Didrich:Opal:96,
      author    = {Klaus Didrich and Carola Gerke and Wolfgang Grieskamp and Christian Maeder and Peter Pepper},
      editor    = {Martin Wirsing and Maurice Nivat},
      publisher = {Springer Verlag},
      title     = {{Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract)}},
      series    = {Lecture Notes in Computer Science},
      booktitle = {Algebraic Methodology and Software Technology, 5th International Conference, {AMAST} 1996, July 1-5, Munich, Germany},
      volume    = {1101},
      year      = {1996},
      pages     = {559--562},
    }





Arbeitsgruppe

Forschung

Lehre

Publikationen

Service

Kontakt

 

---------
BEDIENUNG
---------


SEITENINHALT DRUCKEN

LESEZEICHEN SETZEN

ENGLISH VERSION  






  SEITENANFANG
Hier geht es zur Homepage des Fachbereiches 03 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 03 der Universität Bremen Hier geht es zur Homepage der Universität Bremen