|
[1]
|
R. Bonna, D. S. Loubach, G. Ungureanu, and I. Sander.
Modeling and simulation of dynamic applications using scenario-aware
dataflow.
ACM Trans. Des. Autom. Electron. Syst., 24(5):58:1--58:29, Aug.
2019.
[ bib |
DOI |
http ]
modeling
|
|
[2]
|
G. Ungureanu, T. Sundström, A. Ahlander, I. Sander, and
I. Söderquist.
Formal design, co-simulation and validation of a radar signal
processing system.
In 2019 Forum for Specification and Design Languages (FDL),
pages 1--8, Sep. 2019.
[ bib |
DOI |
http ]
modeling, design flow, synthesis
|
|
[3]
|
G. Ungureanu, T. Sundström, A. Ahlander, I. Sander, and
I. Söderquist.
Design of sensor signal processing with ForSyDe: Modeling,
validation and synthesis.
Technical report, KTH Royal Institute of Tehnology, 2019.
[ bib |
DOI |
http ]
modeling, design flow, synthesis
|
|
[4]
|
J. E. G. de Medeiros, G. Ungureanu, and I. Sander.
An algebra for modeling continuous time systems.
In Design Automation and Test in Europe (DATE 2018),
Dresden, Germany, March 2018.
Accepted for publication as interactive presentation paper.
[ bib |
DOI ]
modeling
|
|
[5]
|
G. Ungureanu, J. E. G. de Medeiros, and I. Sander.
Bridging discrete and continuous time models with Atoms.
In 2018 Design, Automation Test in Europe Conference
Exhibition (DATE), Dresden, Germany, March 2018.
Accepted for publication as interactive presentation paper.
[ bib |
DOI ]
modeling
|
|
[6]
|
G. Ungureanu and I. Sander.
A layered formal framework for modeling of cyber-physical systems.
In Design Automation and Test in Europe (DATE 2017),
Lausanne, Switzerland, Mar. 2017.
[ bib ]
modeling
|
|
[7]
|
I. Sander, A. Jantsch, and S.-H. Attarzadeh-Niaki.
ForSyDe: System design using a functional language and models of
computation.
In S. Ha and J. Teich, editors, Handbook of Hardware/Software
Codesign, pages 99--140. Springer Netherlands, 2017.
[ bib ]
design flow, modeling
|
|
[8]
|
S. Attarzadeh-Niaki and I. Sander.
An extensible modeling methodology for embedded and cyber-physical
system design.
SIMULATION: Transactions of The Society for Modeling and
Simulation International, 92(8):771--794, 2016.
[ bib |
DOI ]
modeling
|
|
[9]
|
S. Attarzadeh-Niaki and I. Sander.
Integrating functional mock-up units into a formal heterogeneous
system modeling framework.
In International Symposium on Computer Architecture and Digital
Systems (CADS), Oct. 2015.
[ bib |
DOI ]
modeling
|
|
[10]
|
F. Herrera and I. Sander.
An extensible infrastructure for modeling and time analysis of
predictable embedded systems.
In Forum on Specification and Design Languages (FDL 2014),
Munich, Germany, Oct. 2014.
[ bib |
DOI ]
modeling, analysis and dse
|
|
[11]
|
M. K. Jakobsen, J. Madsen, S. H. Attarzadeh Niaki, I. Sander, and J. Hansen.
System level modelling with open source tools.
In Embedded World, Nuremberg, Germany, February 2012.
[ bib |
.pdf ]
modeling
|
|
[12]
|
S. Attarzadeh Niaki, M. Jakobsen, T. Sulonen, and I. Sander.
Formal heterogeneous system modeling with SystemC.
In Forum on Specification and Design Languages (FDL 2012),
pages 160--167, Vienna, Austria, 2012.
[ bib ]
modeling
|
|
[13]
|
S. H. Attarzadeh Niaki, G. S. Beserra, N. Andersen, M. Verdon, and I. Sander.
Heterogeneous system-level modeling for small and medium enterprises.
In 25th Symposium on Integrated Circuits and Systems Design
(SBCCI 2012), pages 1--6, Brasilia, Brazil, 2012.
[ bib |
DOI ]
modeling
|
|
[14]
|
J. Zhu, I. Sander, and A. Jantsch.
HetMoC: heterogeneous modelling in SystemC.
In Proceedings of Forum for Design Languages (FDL '10),
Southampton, UK, September 2010.
[ bib |
.pdf ]
modeling
|
|
[15]
|
I. Sander and A. Jantsch.
Modelling adaptive systems in ForSyDe.
Electronic Notes in Theoretical Computer Science (ENTCS),
200(2):39--54, 2008.
First Workshop on Verification of Adaptive Systems (VerAS 2007).
[ bib |
DOI |
.pdf ]
modeling, adaptivity
|
|
[16]
|
A. Jantsch and I. Sander.
Models of computation and languages for embedded system design.
IEE Proceedings on Computers and Digital Techniques,
152(2):114--129, Mar. 2005.
[ bib |
DOI ]
modeling
|
|
[17]
|
A. Jantsch.
Models of embedded computation.
In R. Zurawski, editor, Embedded Systems Handbook. CRC Press,
2005.
Invited contribution.
[ bib |
.pdf ]
modeling
|
|
[18]
|
A. Jantsch and I. Sander.
Models of computation in the design process.
In B. M. Al-Hashimi, editor, SoC: Next Generation Electronics.
IEE, 2005.
Invited contribution.
[ bib |
.pdf ]
modeling
|
|
[19]
|
I. Sander and A. Jantsch.
System modeling and transformational design refinement in ForSyDe.
IEEE Transactions on Computer-Aided Design of Integrated
Circuits and Systems, 23(1):17--32, January 2004.
[ bib |
DOI ]
design flow, modeling, refinement
|
|
[20]
|
A. Jantsch.
Modeling Embedded Systems and SoCs - Concurrency and Time in
Models of Computation.
Systems on Silicon. Morgan Kaufmann Publishers, June 2003.
[ bib |
www: ]
modeling
|
|
[21]
|
I. Sander.
System Modeling and Design Refinement in ForSyDe.
PhD thesis, Royal Institute of Technology, Stockholm, Sweden, April
2003.
[ bib |
.pdf ]
design flow, modeling, refinement, synthesis
|
|
[22]
|
A. Jantsch, I. Sander, and W. Wu.
The usage of stochastic processes in embedded system specifications.
In Proceedings of the Ninth International Symposium on
Hardware/Software Codesign, pages 5--10, Copenhagen, Denmark, April 2001.
[ bib |
DOI ]
modeling
|
|
[23]
|
A. Jantsch and I. Sander.
On the roles of functions and objects in system specification.
In Proceedings of the International Workshop on
Hardware/Software Codesign, pages 8--12, San Diego, CA, USA, 2000.
[ bib |
DOI ]
modeling
|
|
[24]
|
I. Sander and A. Jantsch.
Formal system design based on the synchrony hypothesis, functional
models, and skeletons.
In Proceedings of the 12th international conference on VLSI
Design, pages 318--323, Goa, India, January 1999. IEEE Computer Society.
[ bib |
DOI ]
design flow, modeling
|