Skip to primary content
Skip to secondary content

Joel Greenyer

Joel Greenyer

Main menu

  • Home
  • Projects
  • Tools
  • Publications
  • Conference Activities
  • Teaching
  • CV

Category Archives: Uncategorized

Post navigation

Newer posts →

MODELS 2013 camera-ready paper available

Posted on July 9, 2013 by jgreen

The camera-ready copy of our paper Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications, accepted at MODELS 2013, is available for preview (PDF).

Posted in Publications, Uncategorized

New position in Hannover

Posted on May 11, 2013 by jgreen

At the beginning of April 2013, I moved to Hannover, Germany, where I am now assistant professor (Juniorprofessor) at the Leibniz Universität Hannover. I’m only now finding time to update my website, since I was busy with moving and teaching my new course Design and Analysis of Distributed, Interacting Systems.

Posted in Uncategorized

Article accepted for publication in the Requirements Engineering Journal

Posted on March 20, 2013 by jgreen

Out Paper Features meet Scenarios: Modeling and Consistency Checking Scenario-Based Product-Line Specifications was accepted for publication in the Requirements Engineering Journal.

Posted in Uncategorized

Paper accepted at SEAMS 2013

Posted on March 3, 2013 by jgreen

Our paper Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes was accepted at the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013).

Posted in Uncategorized

Paper accepted at the BX 2013 workshop

Posted on January 22, 2013 by jgreen

Our paper A Survery of Triple Graph Grammar Tools was accepted at the Workshop on Bidirectional Transformations (BX 2013). The paper compares three Triple Graph Grammar tools, among others our TGG-Interpreter.

Posted in Uncategorized

Easy installation package of the MSD-to-SMV for Product Lines Tool for MAC users available

Posted on May 3, 2012 by jgreen

There is now an easy installation package of the MSD-to-SMV for Product Lines Tool for MAC users available here. The archive file contains an eclipse and patched NuSMV version readily set-up as explained in the tool’s installation section.

Posted in Uncategorized

Post navigation

Newer posts →

Recent Posts

  • Two papers accepted to MODELS’21

  • REFSQ 2021 Best Tool Demo Paper

  • MEKES 2018 Workshop Paper Preprint and Video available

  • Interview on Digitalization and Philosophy in fiph Journal

  • ScenarioTools Science of Computer Programming article published

Friend of Eclipse

Proudly powered by WordPress -- Impressum -- Datenschutzerklärung