The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FDL"( http://dblp.L3S.de/Venues/FDL )

URL (DBLP): http://dblp.uni-trier.de/db/conf/fdl

Publication years (Num. hits)
2003 (68) 2004 (65) 2005 (64) 2006 (62) 2007 (53) 2008 (52) 2009 (38) 2010 (41) 2011 (28) 2012 (32) 2013 (42) 2014 (22) 2015 (17) 2016 (24) 2017-2018 (34) 2019 (19) 2020 (18) 2021 (17) 2022-2023 (29)
Publication types (Num. hits)
inproceedings(704) proceedings(21)
Venues (Conferences, Journals, ...)
FDL(725)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 725 publication records. Showing 725 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marcel Christian Werner, Klaus Schneider 0001 Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Hokeun Kim Secure Programming Platform for Edge-Based IoT: Wild-and-Crazy-Idea Paper. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Markus Plattner, Chedi Fassi, Florian Kreiner, Jintin Frank, Philipp Radecker, Markus Zimmermann Satellite Payload Design for Optimized Thermal Management Using a Distributed Processor System. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Jeremy Pope, Carl-Johan H. Seger Bifröst: Creating Hardware With Building Blocks. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Felix Böseler, Jörg Walter 0001 A Flexible Graph Language for a Model-Based Semi-Automatic CGRA Compilation Flow. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Daniele Jahier Pagliari, Matteo Risso, Beatrice Alessandra Motetti, Alessio Burrello PLiNIO: A User-Friendly Library of Gradient-Based Methods for Complexity-Aware DNN Optimization. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Alessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni 0002 VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1 Forum on Specification & Design Languages, FDL 2023, Turin, Italy, September 13-15, 2023 Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Christopher A. Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Vivek Govindasamy, Rainer Dömer Instruction-Level Modeling and Evaluation of a Cache-Less Grid of Processing Cells. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Jan Zielasko, Rolf Drechsler Virtual Prototype Driven Application Specific Hardware Optimization. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Luigi Capogrosso, Alessio Mascolini, Federico Girella, Geri Skenderi, Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Santa Di Cataldo, Sara Vinco, Enrico Macii, Franco Fummi, Marco Cristani Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Niklas Bruns, Vladimir Herdt, Rolf Drechsler Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev Formal Modelling of Burst-Mode Specifications in a Distributed Environment. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Rodolfo Jordão, Fahimeh Bahrami, Rui Chen, Ingo Sander A multi-view and programming language agnostic framework for model-driven engineering. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Conrad Foik, Daniel Mueller-Gritschneder, Ulf Schlichtmann CorePerfDSL: A Flexible Processor Description Language for Software Performance Simulation. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Felix Böseler, Jörg Walter 0001, Behnam Razi Perjikolaei A Comparison of Virtual Platform Simulation Solutions for Timing Prediction of Small RISC-V Based SoCs. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Marcel Christian Werner, Klaus Schneider 0001 From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Rahul Krishnamurthy, Michael S. Hsiao Automated Suggestions Framework for Processing Hardware Specifications Written in English. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alexandra Küster, Rainer Dorsch, Christian Haubelt, Karsten Einwich Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Sergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Francisco Fuentes, Feng Chang, Ilham Lasfar, Ramon Canal, Jaume Abella 0001 SafeX: Open Source Hardware and Software Components for Safety-Critical Systems. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1 Forum on Specification & Design Languages, FDL 2022, Linz, Austria, September 14-16, 2022 Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Lucas Klemmer, Sonja Gurtner, Daniel Große Formal Verification of SUBLEQ Microcode implementing the RV32I ISA. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Francesco Tosoni 0002, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler 3D Visualization of Symbolic Execution Traces. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mehran Goli, Rolf Drechsler VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Joaquín Aguado, Alejandra Duenas Synchronised Shared Memory and Model Checking: A Proof of Concept. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Javier Merino, Raul Gomez, Hector Posadas, Eugenio Villar Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based Services. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch Extracting Mode Diagrams from Blech Code. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Eric Senn, Lucie Bourdon Introducing CPU load Analysis from AADL Models for ROS applications : a use case. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi A Common Manipulation Framework for Transistor-Level Languages. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Sören Tempel, Vladimir Herdt, Rolf Drechsler In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1 24th Forum on specification & Design Languages, FDL 2021, Antibes, France, September 8-10, 2021 Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Victor Grimblatt The Challenge of Agriculture: Increase the Productivity in a Sustainable Way. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh Debugging and Verification Tools for Lingua Franca in Gemoc Studio. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Emad Malekzadeh Arasteh, Rainer Dömer Improving Parallelism in System Level Models by Assessing PDES Performance. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Geri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani DOHMO: Embedded Computer Vision in Co-Housing Scenarios. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1François Pêcheux, Liliana Andrade, Marie-Minerve Louërat, Ilias Bournias, Roselyne Chotin, Daniela Genius Virtual Prototyping of Open Source Heterogeneous Systems with an Open Source Framework Featuring SystemC MDVP Extensions. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón ComPy-Learn: A toolbox for exploring machine learning representations for compilers. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Matthew Johns, Tom J. Kazmierski A Minimal RISC-V Vector Processor for Embedded Systems. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Wolfgang Scherr, Karsten Einwich Beyond real number modeling: Comparison of analog modeling approaches. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Hugh Leather, Chris Cummins Machine Learning in Compilers: Past, Present and Future. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1George Ungureanu, Rodolfo Jordão, Ingo Sander Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Saranya Natarajan, David Broman Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten QRML: A Component Language and Toolset for Quality and Resource Management. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee A Language for Deterministic Coordination Across Multiple Timelines. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Michel A. Reniers, Sander Thuijsman Supervisory Control for Dynamic Feature Configuration in Product Lines. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1 Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020 Search on Bibsonomy FDL The full citation details ... 2020 DBLP  BibTeX  RDF
1Carna Zivkovic, Christoph Grimm 0001, Johannes Kölsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, A. Barisic Bringing Uncertainties into System Simulation: A SystemC AMS Case Study. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Stephen A. Edwards, John Hui The Sparse Synchronous Model. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet From Lustre to Graphical Models and SCCharts. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-Study. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Aurélien Lamercerie, Benoît Caillaud An Algebra of Deterministic Propositional Acceptance Automata (DPAA). Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Oliver Keszöcze, Ian G. Harris Chatbot-based assertion generation from natural language specifications. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1George Ungureanu, Timmy Sundström, Anders Åhlander, Ingo Sander, Ingemar Söderquist Formal Design, Co-Simulation and Validation of a Radar Signal Processing System. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak (eds.) 2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019 Search on Bibsonomy FDL The full citation details ... 2019 DBLP  BibTeX  RDF
1Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Heinz Riener Exact Synthesis of LTL Properties from Traces. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip A Multi-Rate Precision Timed Programming Language for Multi-Cores. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manuel Strobel, Martin Radetzki A Backend Tool for the Integration of Memory Optimizations into Embedded Software. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha Benz, Oliver Bringmann 0001, Michael Schwarz 0010, Dominik Stoffel, Wolfgang Kunz Systematic RISC-V based Firmware Design⋆. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Muhammad Hassan 0002, Daniel Große, Thilo Vörtler, Karsten Einwich, Rolf Drechsler Functional Coverage-Driven Characterization of RF Amplifiers. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ginés Doménech-Asensi, Tom J. Kazmierski Simulation Acceleration of Image Filtering on CMOS Vision Chips Using Many-Core Processors. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik RTL Assertion Mining with Automated RTL-to-TLM Abstraction. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jie Hou, Martin Radetzki A methodology to compute long-term fault resilience of NoCs under fault-tolerant routing algorithms. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marten Lohstroh, Edward A. Lee Deterministic Actors. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gianluca Martino, Görschwin Fey Syntax-Guided Enumeration of Temporal Properties. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Friederike Bruns, Philipp Ittershagen, Kim Grüttner Time Measurement and Control Blocks for Bare-Metal C++ Applications. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lukas Gressl, Christian Steger, Ulrich Neffe Security Driven Design Space Exploration for Embedded Systems. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler Towards Object-Oriented Modeling in SCCharts. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Liboni, Julien Deantoni WIP on a Coordination Language to Automate the Generation of Co-Simulations. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ege Korkan, Sebastian Käbisch, Matthias Kovatsch, Sebastian Steinhorst Sequential Behavioral Modeling for Scalable IoT Devices and Systems. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhongqi Cheng, Tim Schmidt, Rainer Dömer SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuel Regnath, Sebastian Steinhorst SmaCoNat: Smart Contracts in Natural Language. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Enrico Fraccaroli, Davide Quaglia, Franco Fummi Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yue Lu, Shengyu Duan, Tom J. Kazmierski A New Ageing-Aware Approach Via Path Isolation. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefano Centomo, Michele Lora, Franco Fummi Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carna Zivkovic, Christoph Grimm 0001 Symbolic Simulation of SystemC AMS Without Yet Another Compiler. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias Strauch Dynamic Inside-Out Verification Using Inverse Transactions in TLM. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni Time in SCCharts. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hiren D. Patel, Tom J. Kazmierski, Sebastian Steinhorst (eds.) 2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018 Search on Bibsonomy FDL The full citation details ... 2018 DBLP  BibTeX  RDF
1Georg Gläser, Benjamin Saft, Dominik Wrana, Athanasios Gatzastras, Eckhard Hennig From Low-Power to No-Power: Adaptive Clocking for Event-Driven Systems. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aljoscha Kirchner, Jan-Hendrik Oetjens, Oliver Bringmann 0001 Using SysML for Modelling and Code Generation for Smart Sensor ASICs. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robert Wille, Bing Li 0005, Rolf Drechsler, Ulf Schlichtmann Automatic Design of Microfluidic Devices. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Friedrich Gretz, Franz-Josef Grosch Blech, Imperative Synchronous Programming! Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 725 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license