Publications on System Modeling

[1] 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
[2] 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
[3] 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
[4] 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
[5] 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
[6] 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
[7] 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
[8] 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
[9] 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
[10] 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
[11] 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
[12] 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
[13] 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
[14] A. Jantsch. Models of embedded computation. In R. Zurawski, editor, Embedded Systems Handbook. CRC Press, 2005. Invited contribution. [ bib | .pdf ]
modeling
[15] 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
[16] 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
[17] 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
[18] 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
[19] 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
[20] 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
[21] 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