| 2013 | A formal verification framework for Bluespec System Verilog. Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi |
| 2013 | A function approach for simple wireless sensor node energy consumption modeling. Andriamampianina Aina Randrianarisaina, Olivier Pasquier, Pascal Chargé |
| 2013 | A new assertion property language for analog/mixed-signal circuits. Dhanashree Kulkarni, Andrew N. Fisher, Chris J. Myers |
| 2013 | A novel approach for assertion based verification of DDR memory protocols. Moustafa Kassem, Marianne Michel, Mohamed Abdelsalam, Ashraf Salem |
| 2013 | Advanced features for industry-level logging and tracing of C-based designs. Wei Hong, Jyoti Joshi, Alexander Viehl, Nico Bannow, Angela Kramer, Hendrik Post, Oliver Bringmann, Wolfgang Rosenstiel |
| 2013 | Application of formal methods for design space exploration and refinement. Dominique Borrione, Ashraf M. Salem |
| 2013 | Assisting refinement in System-on-Chip design. Hocine Mokrani, Rabéa Ameur-Boulifa, Emmanuelle Encrenaz-Tiphène |
| 2013 | Bridging algorithm and ESL design: Matlab/Simulink model transformation and validation. Liyuan Zhang, Michael Glaß, Nils Ballmann, Jürgen Teich |
| 2013 | Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco |
| 2013 | Combining analytical and simulation-based design space exploration for time-critical systems. Fernando Herrera, Ingo Sander |
| 2013 | Design space exploration for cyber physical system design using constraint solving. Benny Höckner, Petra Hofstedt, Sascha Kaltschmidt, Peter Sauer, Thilo Vörtler |
| 2013 | Event-driven (RN) modeling for AMS circuits. Serge Garcia Sabiro |
| 2013 | Fine grained adaptive simulation with application to NoCs. Marcus Eggenberger, Martin Radetzki |
| 2013 | Fine-grain adaptation for real time embedded systems using UML/MARTE profile. Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickaël Kerboeuf, Mohamed Abid |
| 2013 | Graph-based approach for software allocation in automotive networked embedded systems: A partition-and-map algorithm. Yasser Shoukry, Ajay Kumar, M. Watheq El-Kharashi, Gahda Bahig, Sherif Hammad |
| 2013 | How to survive the verification of the latest generation of automotive system on chip. Arnaud Laroche, Jérôme Kirscher |
| 2013 | Hybrid dynamical systems for memristor modelling an approach avoiding the terminal-state problem. Joachim Haase, André Lange |
| 2013 | If SystemVerilog is so good, why do we need the UVM? Sharing responsibilities between libraries and the core language. Jonathan Bromley |
| 2013 | Integrating circuit analyses for assertion-based verification of programmable AMS circuits. Dogan Ulus, Alper Sen, I. Faik Baskaya |
| 2013 | Model driven engineering at work. Gjalt de Jong, Julio L. Medina |
| 2013 | Model generation for embedded analog/mixed-signal systems. Jan Haase, François Pêcheux |
| 2013 | Model-driven design for the development of multi-platform smartphone applications. G. Botturi, Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia |
| 2013 | Modeling communication and circuit's behavior. Tom J. Kazmierski, Torsten Maehne |
| 2013 | Modeling languages extensions and best practices. Julio L. Medina, Gjalt de Jong |
| 2013 | Modeling of signal integrity in bus communications with timed data flow SystemC-AMS. Ruomin Wang, Julien Denoulet, Sylvain Feruglio, Farouk Vallette, Patrick Garda |
| 2013 | Modeling the analog circuit design feature variety. Cristian Ferent, Alex Doboli |
| 2013 | Multi-paradigm semantics for simulating SysML models using SystemC-AMS. Daniel Chaves Cafe, Filipe Vinci dos Santos, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger |
| 2013 | Optimal component selection for energy-efficient systems. Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm, Klaus-Holger Otto |
| 2013 | Performance analysis method for RT systems: Promartes for autonomous robot. Konstantinos Triantafyllidis, Egor Bondarev, Peter H. N. de With |
| 2013 | Platform based design. Jean-Philippe Babau, Martin Radetzki |
| 2013 | Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013 |
| 2013 | Rapid virtual prototyping of real-time systems using predictable platform characterizations. Seyed-Hosein Attarzadeh-Niaki, Marcus Mikulcak, Ingo Sander |
| 2013 | Representing mapping and scheduling decisions within dataflow graphs. Christian Zebelein, Christian Haubelt, Joachim Falk, Tobias Schwarzer, Jürgen Teich |
| 2013 | Simulation analysis and validation. Frank Oppenheimer, Martin Radetzki |
| 2013 | Split of composite components for distributed applications. Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, Brahim Hamid |
| 2013 | SystemVerilog: The new standard. Kaiming Ho |
| 2013 | Systemc infrastructure and extensions. Peter Flake, Frank Oppenheimer |
| 2013 | Systemc transaction level modeling with transaction events. Bastian Haetzer, Martin Radetzki |
| 2013 | Systemc-clang: An open-source framework for analyzing mixed-abstraction SystemC models. Anirudh M. Kaushik, Hiren D. Patel |
| 2013 | The unique challenges of debugging design and verification code jointly in SystemVerilog. Dave Rich |
| 2013 | Verification of heterogeneous systems: Theory and industrial experiences. Christoph Grimm, Emmanuelle Encrenaz |
| 2013 | Why SystemVeriog? Peter Flake |