Visible to the public CFP: DATE 2014 Topic D1 "System Specifications, Models and Methodologies"

No replies
Anonymous
Anonymous's picture

CALL FOR PAPERS DATE 2014

TOPIC D1: "System Specifications, Models and Methodologies"

DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE
ICC, DRESDEN, GERMANY
24TH-28TH MARCH 2014

=======================================================================

DEADLINES

- Paper Submissions September 13, 2013
- Notification of Acceptance November 17, 2013
- Camera-Ready Paper December 15, 2013

=======================================================================
QUICK LINKS
- Conference http://www.date-conference.com
- Call for Papers http://www.date-conference.com/call-for-papers
- Instructions http://www.date-conference.com/submission-instructions
=======================================================================

The DATE 2014 conference and exhibition is the main European event

bringing together designers and design automation users, researchers and
vendors, as well as specialists in the hardware and software design,
test and manufacturing of electronic circuits and systems.

You are invited to submit your research contributions to the Topic D1

"System Specifications, Models and Methodologies"

which is devoted to:
- modeling and specification methodologies for complex, HW-SW systems;
- (formal) models of computation and their (static) analysis;
- modeling and analysis of functional and non-functional system
properties;
- concurrency models;
- multi-domain/multi-criteria specifications and models;
- application and workload models;
- requirements engineering;
- system-level modeling and simulation of multi- and many-core SoCs;
- transaction level modeling (TLM) and model refinement;
- modeling of system adaptivity;
- system modeling and specification languages;
- model-driven engineering;
- meta-modeling;
- executable specifications;
- specification driven design and validation flows.

Submissions length is limited to 6 pages for oral-presentation papers,
and 4 pages for interactive-presentation papers (2 columns, blind
submission).

TOPIC TECHNICAL COMMITTEE

Christian Haubelt, University of Rostock, Germany Topic Chair
Andy Pimentel,University of Amsterdam, The Netherlands Topic Co-Chair
Andreas Gerstlauer, University of Texas, USA Jan Haase, TU Wien, Austria
Leandro Soares Indrusiak, University of York, UK Wolfgang Mueller,
University of Paderborn, Germany Frank Oppenheimer, OFFIS e. V., Germany
Laurence Pierre,TIMA, France Francois Pecheux, UPMC/LIP6, France Ingo
Sander, Royal Institute of Technology, Sweden Sander Stuijk,TU
Eindhoven, The Netherlands Eugenio Villar, Universidad de Cantabria,
Spain