Links

    ACSD (acsd)

    Publications by Topics
    [-]
    OR AND NOT 1

    algebra
    ASF+SDF
    C++
    Java
    Markov
    Meta-Environment
    OWL
    SDF
    UML
    abstraction
    analysis
    architecture
    case study
    completeness
    composition
    consistency
    constraints
    context-aware
    contracts
    control systems
    coverage
    data-flow
    data-flow analysis
    data-flow language
    data-flow programming
    design
    e-science
    embedded software
    feature-oriented programming
    formal semantics
    functional programming
    graph transformation
    graph-rewriting
    incremental
    language modeling
    logic
    meta-model
    meta-objects
    mobile
    model checking
    model transformation
    model-driven development
    model-to-model transformation
    modeling
    modeling language
    multimedia
    object-oriented programming
    open-source
    optimization
    parallel programming
    partitioning
    points-to analysis
    process algebra
    process modeling
    program analysis
    program verification
    programming
    protocol
    refinement
    reflection
    reverse engineering
    rewriting
    routing
    rule-based
    search
    security
    semantics
    separation of concerns
    sequence diagrams
    software component
    software components
    source-to-source
    state machines
    subject-oriented programming
    survey
    synchronization
    systematic-approach
    test coverage
    testing
    transformation
    translation
    traversal
    type inference
    type system
    web service
    web services
    workflow

    Publications by Authors
    [+]
    [-]
    OR AND NOT 1

    A. J. M. Moonen
    Abdoulaye Gamatié
    Abhijit Davare
    Abhik Roychoudhury
    Adi Susanto
    Adrianna Alexander
    Agnes Madalinski
    Alain Girault
    Alban Linard
    Albert Benveniste
    Alberto L. Sangiovanni-Vincentelli
    Alex Kondratyev
    Alexander B. Smirnov
    Alexander Miller
    Alexander Taubin
    Alexander Vilbig
    Alexandre Cortier
    Alexandre Duret-Lutz
    Alexandre Hamez
    Alexandre Yakovlev
    Ali Movaghar
    Alin Stefanescu
    Amin Shali
    Amir Hossein Ghamarian
    Ammar Aljer
    Anca Lazarescu
    Anca Muscholl
    Andrew Bardsley
    Andrew D. Brown
    Andrew Phillips
    Andrey Mokhov
    Anikó Costa
    Anna Vaccarelli
    Anton Wijs
    Antonio Cerone
    Antti Kervinen
    Antti Siirtola
    Antti Valmari
    Arjan J. Mooij
    Arnim Wedig
    Arseniy Alekseyev
    Axel Jantsch
    Axel Legay
    Baltazár Frankovic
    Bart D. Theelen
    Bassel Daou
    Behzad Bordbar
    Ben Kangsah
    Benoît Caillaud
    Benoît Delahaye
    Bernd Westphal
    Bernhard Schätz
    Bijan Alizadeh
    Bijoy A. Jose
    Bilung Lee
    Björn Wachter
    Blaise Genest
    Boualem Benatallah
    Carl H. Hauser
    Carl Pixley
    Carla Piazza
    Chammika Mannakkara
    Charles Andre
    Charles Lakos
    Chris J. Myers
    Christian Stahl
    Christian W. Günther
    Clara Benac Earle
    Claudio Demartini
    Claudio Guidi
    Claudio Pinello
    Clement Demoulins
    Cong Liu
    Cosimo Laneve
    Cécile Braunstein
    Dag Björklund
    Dang Van Hung
    Danil Sokolov
    David A. Edwards
    David A. Kearney
    David B. Benson
    David Berner
    David Hurzeler
    Davide Cerotti
    Davide D Aprile
    Dejan Nickovic
    Delong Shang
    Dennis Gamrad
    Dennis P. Furey
    Depeng Jin
    Didier Buchs
    Dirk Söffker
    Dominic Wist
    Donald C. Craig
    Doug A. Edwards
    Doug Edwards
    Douglas Densmore
    Dumitru Potop-Butucaru
    E. Graeme Chester
    Ed Brinksma
    Edward A. Lee
    Ekkart Kindler
    Elisabeth Pelz
    Elisei Rotaru
    Emil Gatial
    Emmanuel Paviot-Adet
    Emmanuelle Encrenaz
    Enric Pastor
    Eric Badouel
    Eric Fabre
    Erik L. Dagless
    Erik P. de Vink
    Ernesto Pimentel
    Ernst Moritz Hahn
    Fabio Martinelli
    Fabrice Kordon
    Fabrizio Montesi
    Farhad Arbab
    Fatemeh Ghassemi
    Federico Crazzolara
    Fei Hao
    Fei Xia
    Felice Balarin
    Fernando Cuartero
    Fernando L. Pelayo
    Florence Maraninchi
    Francesco Ranzato
    Francesco Tapparo
    Franck Cassez
    Franck van Breugel
    Frank S. de Boer
    Franz Huber
    François Horn
    Frederic Doucet
    Frédéric Boulanger
    Frédéric Béal
    Frédéric Dang Tran
    Gabor Hahn
    Gabriel Juhás
    Gabriele Taentzer
    Gauthier Lafruit
    Geoffrey M. Brown
    George J. Milne
    Georges Mariano
    Gerard J. Holzmann
    Gerhard Schellhorn
    Gheorghe Stefanescu
    Gianluigi Zavattaro
    Giovanna Di Marzo Serugendo
    Giuliana Franceschinis
    Giuseppe Milicia
    Giuseppe Pappalardo
    Grant Martin
    Gregor Goessler
    Gregor von Bochmann
    Guan Yu
    Guido Wimmel
    Guofei Zhou
    Hagen Völzer
    Haibo Su
    Hamed Iravanchi
    Hamideh Sabouri
    Hanifa Boucheneb
    Hanna Klaudel
    Hans Fleischhack
    Hans Zantema
    Hemangee K. Kapoor
    Henri Hansen
    Hind Rakkay
    Holger Hermanns
    Hossein Hojjat
    Ian G. Clark
    Ilya V. Klotchkov
    Jaco van de Pol
    Jan Jürjens
    Jasen Markovski
    Javier Esparza
    Jean-Louis Boulanger
    Jean-Pierre Talpin
    Jens Brandt
    Jeroen Voeten
    Johan Lilius
    Joost-Pieter Katoen
    Jordi Cortadella
    Josep Carmona
    Juan José Sánchez Penas
    Jörg Desel
    Karine Altisen
    Karsten Wolf
    Keijo Heljanko
    Klaus Schneider
    Kyller Costa Gorgônio
    Lars Michael Kristensen
    Laure Petrucci
    Luciano Lavagno
    Luís Gomes
    Maciej Koutny
    Marc Geilen
    Marjan Sirjani
    Mark B. Josephs
    Mark Schäfer
    Marta Pietkiewicz-Koutny
    Matthias Raffelsieper
    Michael Kishinevsky
    Michael V. Goncharov
    Mike Gemunde
    Mohammad Reza Mousavi
    Nikolai Starodoubtsev
    Oscar Slotosch
    P. S. Thiagarajan
    Paul Le Guernic
    Rachid Hadjidj
    Radu Grosu
    Radu Negulescu
    Ralf Wollowski
    Raymond R. Devillers
    Robert Lorenz
    Roberto Passerone
    Robin Bergenthum
    Roland Bouroulet
    Sandeep K. Shukla
    Sander Stuijk
    Sari Leppänen
    Sebastian Mauser
    Silvia Crafa
    Stanislav Chachkov
    Stavros Tripakis
    Takashi Nanya
    Thierry Gautier
    Thomas Arts
    Tommi A. Junttila
    Tomohiro Yoneda
    Twan Basten
    Victor Khomenko
    Walter Vogler
    Wan Fokkink
    Wil M. P. van der Aalst
    Wlodzimierz M. Zuberek
    Wolfgang Reisig
    Yosinori Watanabe
    runs on