Zur Hauptnavigation / To main navigation

Zur Sekundärnavigation / To secondary navigation

Zum Inhalt dieser Seite / To the content of this page

Sekundärnavigation / Secondary navigation

Inhaltsbereich / Content

References

[1]

M. Rathmair, C. Luckeneder, H. Kaindl, and C. Radojicic, “Semi-Symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-Physical Systems,” in 51st Hawaii International Conference on System Sciences (HICSS 51).

[2]

C. Grimm and C. Radojicic, “Abstraction of real-valued quantities: A coin with more than two sides,” in 9th International Workshop on Frontiers in Analog CAD, May 2018.

[3]

——, “Abstractions of Real-Valued Quantities for Efficient Formal Verification,” in 21. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Mar. 2018, isbn: 978-3-00-059317-8.

[4]

C. Grimm and F. Wawrzik, “Ein wissensbasierter Ansatz f¸r Entwicklung 4.0,” in 21. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Mar. 2018, isbn: 978-3-00-059317-8.

[5]

J. Kˆlsch, C. Heinz, S. Schumb, and C. Grimm, “Hardware-in-the-Loop Simulation for Internet of Things Scenarios,” in Cyber Physical Systems Week, Porto, 2018.

[6]

F. PÍcheux, C. Grimm, T. Maehne, M. Barnasconi, and K. Einwich, “SystemC AMS based frameworks for virtual prototyping of heterogeneous systems,” in 2018 IEEE International Symposium on Circuits and Systems (ISCAS), May 2018, pp. 1–4. doi: 10.1109/ISCAS.2018.8351864. [Online]. Available: https://ieeexplore.ieee.org/document/8351864/.

[7]

M. Rathmair, C. Radojicic, Christoph, and C. Radojicic, “In-field simulation considering analog variability,” in 9th International Workshop on Frontiers in Analog CAD , May 2018.

[8]

C. Zivkovic and C. Grimm, “Symbolic simulation of SystemC AMS without yet another compiler,” in Forum on Specification and Design Languages (to appear), Sep. 2018.

[9]

——, “Verification of analog/mixed-signal systems with AADD,” in Analog, Sep. 2018.

[10]

A. Fuertig, G. Glaeser, C. Grimm, L. Hedrich, S. Heinen, H. S. L. Lee, G. Nitsche, M. Olbrich, C. Radojicic, and F. Speicher, “Novel metrics for analog mixed-signal coverage,” in 2017 IEEE 20th International Symposium on Design and Diagnostics of Electronic Circuits Systems (DDECS), Apr. 2017, pp. 97–102. doi: 10.1109/DDECS.2017.7934589. [Online]. Available: http://ieeexplore.ieee.org/document/7934589/.

[11]

C. Grimm and C. Radojicic, “Extending affine arithmetic for formal verification of analog/mixed-signal systems,” in Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., 2017, pp. 39–40.

[12]

C. Grimm and M. Rathmair, “Dealing with uncertainties in analog/mixed-signal systems: Invited,” in Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017, 2017, 35:1–35:6. doi: 10.1145/3061639.3072949. [Online]. Available: http://doi.acm.org/10.1145/3061639.3072949.

[13]

Y. Guan, J. C. Vasquez, J. M. Guerrero, N. Samovich, S. Vanya, V. Oravec, R. GarcÌa-Castro, F. Serena, M. Poveda-VillalÛn, C. Radojicic, C. Heinz, C. Grimm, A. Tryferidis, D. Tzovaras, K. Dickerson, M. Paralic, M. Skokan, and T. Sabol, “An open virtual neighbourhood network to connect IoT infrastructures and smart objects — Vicinity: IoT enables interoperability as a service,” in 2017 Global Internet of Things Summit (GIoTS), Jun. 2017, pp. 1–6. doi: 10.1109/GIOTS.2017.8016233. [Online]. Available: https://doi.org/10.1109/GIOTS.2017.8016233.

[14]

L. Hedrich and C. Radojicic, Eds., Frontiers in Analog CAD (FAC 2017). VDE Verlag, Jul. 2017, isbn: ISBN 978-3-8007-4442-8.

[15]

A. Mynzhasova, C. Radojicic, C. Heinz, J. Kˆlsch, C. Grimm, J. Rico, K. Dickerson, R. GarcÌa-Castro, and V. Oravec, “Drivers, standards and platforms for the iot: Towards a digital vicinity,” in 2017 Intelligent Systems Conference (IntelliSys), Sep. 2017, pp. 170–176. doi: 10.1109/IntelliSys.2017.8324287. [Online]. Available: https://ieeexplore.ieee.org/document/8324287/.

[16]

X. Pan and C. Grimm, “Dynamic simulation of power consumption for model-based design of mixed-signal systems,” in Frontiers in Analog CAD (FAC 2017), VDE Verlag, Jul. 2017, isbn: 978-3-8007-4442-8. [Online]. Available: http://ieeexplore.ieee.org/abstract/document/8011278/.

[17]

T. Purusothaman and C. Grimm, “Systemc AMS based co-simulation framework for cyber physical systems,” in Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., Shaker Verlag, 2017, pp. 55–66, isbn: 978-3-8440-4996-1.

[18]

C. Radojicic and C. Grimm, “Affine Arithmetic Decision Diagrams for Mixed-Signal Verification,” in Frontiers in Analog CAD (FAC 2017), VDE Verlag, Jul. 2017.

[19]

C. Radojicic, C. Grimm, A. Jantsch, and M. Rathmair, “Towards Verification of Uncertain Cyber-Physical Systems,” Electronic Proceedings in Theoretical Computer Science, vol. 247, pp. 1–17, Apr. 2017. doi: 10.4204/eptcs.247.1. [Online]. Available: https://doi.org/10.4204%2Feptcs.247.1.

[20]

E. Barke, A. F¸rtig, G. Gl‰ser, C. Grimm, L. Hedrich, S. Heinen, E. Hennig, H.-S. L. Lee, W. Nebel, G. Nitsche, M. Olbrich, C. Radojicic, and F. Speicher, “Embedded Tutorial: Analog-/Mixed-Signal Verification Methods for AMS Coverage Analysis,” in Design, Automation & Test in Europe Conference & Exhibition (DATE’16), 2016, pp. 1102–1111. doi: 10.3850/9783981537079“˙1010. [Online]. Available: http://ieeexplore.ieee.org/document/7459473/?arnumber=7459473.

[21]

X. Pan and C. Grimm, “Model based design at system-level of mixed-signal soc for battery management system,” in ANALOG 2016; 15. ITG/GMM-Symposium, Sep. 2016, pp. 1–6. doi: 10.1109/DDECS.2017.7934589. [Online]. Available: http://ieeexplore.ieee.org/document/7934589/.

[22]

X. Pan, J. M. Molina, and C. Grimm, “A system-level power model for ams-circuits,” in Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015, R. Drechsler and R. Wille, Eds. Cham: Springer International Publishing, 2016, pp. 175–193, isbn: 978-3-319-31723-6. doi: 10.1007/978-3-319-31723-6˙8. [Online]. Available: https://doi.org/10.1007/978-3-319-31723-6_8.

[23]

C. Radojicic, “Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic,” PhD thesis, Technical University of Kaiserslautern, 2016. [Online]. Available: https://kluedo.ub.uni-kl.de/frontdoor/index/index/year/2016/docId/4483.

[24]

C. Radojicic and C. Grimm, “Formal verification of mixed-signal designs using extended affine arithmetic,” in 12th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), Lisbon, Portugal: IEEE, Jun. 2016, pp. 1–4. [Online]. Available: http://dx.doi.org/10.1109/PRIME.2016.7519482.

[25]

——, “Instrumentation of the control flow of systemC AMS - models for symbolic simulation,” in ANALOG 2016; 15. ITG/GMM-Symposium, Sep. 2016, pp. 1–6. doi: 10.1109/DDECS.2017.7934589. [Online]. Available: http://ieeexplore.ieee.org/document/7934589/.

[26]

X. Pan, J. M. Molina, and C. Grimm, “Modeling power consumption at system-level for design of power integrity-aware ams-circuits,” in 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015, 2015, pp. 32–39. doi: 10.1109/FDL.2015.7306087. [Online]. Available: https://doi.org/10.1109/FDL.2015.7306087.

[27]

X. Pan, J. Moreno, and C. Grimm, “Modeling power consumption for design of power- and noise-aware AMS circuits,” in Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015., 2015, pp. 83–92. [Online]. Available: http://d-nb.info/1068405465.

[28]

C. Radojicic, T. Purusothaman, and C. Grimm, “Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic,” in Proceedings of EDAWORKSHOP 2015, 2015, pp. 21–26.

[29]

——, “Towards formal validation: Symbolic simulation of SystemC models,” in 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2015, Napoli, Italy, April 21-23, 2015, 2015, pp. 1–6. doi: 10.1109/DTIS.2015.7127376. [Online]. Available: https://doi.org/10.1109/DTIS.2015.7127376.

[30]

F. Wawrzik, W. Chipman, J. M. Molina, and C. Grimm, “Modeling and simulation of cyber-physical systems with SICYPHOS,” in 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2015, Napoli, Italy, April 21-23, 2015, 2015, pp. 1–6. doi: 10.1109/DTIS.2015.7127375. [Online]. Available: https://doi.org/10.1109/DTIS.2015.7127375.

[31]

M. Harrant, T. Nirmaier, J. Kirscher, C. Grimm, and G. Pelz, “Emulation-based robustness assessment for automotive smart-power ics,” in Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014, Mar. 2014, pp. 1–6. doi: 10.7873/DATE.2014.017.

[32]

C. Radojicic, C. Grimm, J. Moreno, and X. Pan, “Semi-Semi-Symbolic Analysis of Mixed-Signal Systems including Discontinuities,” in Proccedings of Design, Automation and Test in Europe 2014 (DATE ’14), 2014.

[33]

M. Rathmair, F. Schupfer, and C. Krieg, “Applied formal methods for hardware trojan detection,” in Circuits and Systems (ISCAS), 2014 IEEE International Symposium on, Jun. 2014, pp. 169–172. doi: 10.1109/ISCAS.2014.6865092.

[34]

M. Barnasconi, K. Einwich, C. Grimm, and A. Vachoux, Eds., Standard SystemCÆ AMS extensions 2.0 Language Reference Manual. OSCI, 2013. [Online]. Available: http://accellera.org.

[35]

E. Holleis and C. Grimm, “Address assignment in indoor wireless networks using deterministic channel simulation,” ISRN Sensor Networks, vol. 2013, no. Article ID 495653, p. 13, 2013. doi: 10.1155/2013/495653.

[36]

C. Radojicic, C. Grimm, F. Schupfer, and M. Rathmair, “Verification of mixed-signal systems with affine arithmetic assertions,” VLSI Design, vol. 2013, 2013. doi: 10.1155/2013/239064. [Online]. Available: http://dx.doi.org/10.1155/2013/239064.

[37]

J. Wenninger, J. Moreno, J. Haase, and C. Grimm, “Model Based Design of Smart Appliances,” English, in Embedded Systems for Smart Appliances and Energy Management, ser. Embedded Systems, C. Grimm, P. Neumann, and S. Mahlknecht, Eds., vol. 3, Springer New York, 2013, pp. 41–51, isbn: 978-1-4419-8794-5. doi: 10.1007/978-1-4419-8795-2˙3. [Online]. Available: http://dx.doi.org/10.1007/978-1-4419-8795-2_3.

[38]

S. Adhikari, F. Schupfer, and C. Grimm, “Fast optimization of analog amplifier architecture using simulated annealing,” in Forum on Specification and Design Languages, IEEE, 2012, pp. 246–251. [Online]. Available: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=%5C&arnumber=6337019%5C&contentType=Conference+Publications%5C&refinements=4294557734%5C&queryText=FDL+2012.

[39]

C. Grimm, S. Mahlknecht, and M. Damm, “An EuP Classification for Partially Decentralized Domestic Energy Management,” in 2nd Workshop on eeBuildings Data Models, Rejkjavik, Iceland, 2012.

[40]

C. Grimm, S. Mahlknecht, M. Damm, and F. Lukasch, “Smart Energy Buildings and Neighbourhoods: Which Infrastructures, Which Platforms?” In ICHMT International Symposium on Sustainable Energy in Buildings and Urban Areas, Kusadasi, Turkey, 2012.

[41]

C. Grimm, P. Neumann, and S. Mahlknecht, Eds., Embedded Systems for Smart Appliances and Energy Management. Springer, 2012.

[42]

M. Harrant, T. Nirmaier, G. Pelz, F. Dona, and C. Grimm, “Configurable load emulation using FPGA and power amplifiers for automotive power ICs,” in Forum on Specification and Design Languages, IEEE, 2012, pp. 84–89. [Online]. Available: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=%5C&arnumber=6336990%5C&contentType=Conference+Publications%5C&refinements=4294557734%5C&queryText=FDL+2012.

[43]

S. Hufnagel, N. Bannow, C. Grimm, and J. Ou, “Abstract Modeling of Communication Errors in Cyber-Physical Systems using uPN.,” in MBMV, 2012, pp. 49–59. [Online]. Available: http://dblp.uni-trier.de/db/conf/mbmv/mbmv2012.html%5C#HufnagelBGO12.

[44]

J. Moreno, M. Damm, J. Haase, C. Grimm, and E. Holleis, “Unified and comprehensive electronic system level, network and physics simulation for wirelessly networked cyber physical systems,” in Forum on Specification and Design Languages, IEEE, 2012, pp. 68–74. [Online]. Available: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=%5C&arnumber=6336987%5C&contentType=Conference+Publications%5C&refinements=4294557734%5C&queryText=FDL+2012.

[45]

——, “Unified and comprehensive electronic system level, network and physics simulation for wirelessly networked cyber physical systems,” in Specification and Design Languages (FDL), 2012 Forum on, Sep. 2012, pp. 68–74.

[46]

——, “Unified and comprehensive electronic system level, network and physics simulation for wirelessly networked cyber physical systems,” in Specification and Design Languages (FDL), 2012 Forum on, IEEE, 2012, pp. 68–74.

[47]

C. Radojicic, F. Schupfer, M. Rathmair, and C. Grimm, “Assertion-based verification of signal processing systems with affine arithmetic,” in Forum on Specification and Design Languages, IEEE, 2012, pp. 20–26. [Online]. Available: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=%5C&arnumber=6336978%5C&contentType=Conference+Publications%5C&refinements=4294557734%5C&queryText=FDL+2012.

[48]

——, “Checking Property Specifications of Analog Systems with Affine Arithmetics,” in Fachtagung Mikroelektronik, Vienna: OVE, 2012.

[49]

M. Rathmair, F. Schupfer, C. Radojicic, and C. Grimm, “Extended Framework for System Simulation with Affine Arithmetic,” in Forum on Specification and Design Languages, IEEE, 2012, pp. 168–175. [Online]. Available: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=%5C&arnumber=6337004%5C&contentType=Conference+Publications%5C&refinements=4294557734%5C&queryText=FDL+2012.

[50]

J. Wenninger, F. Schupfer, J. Haase, and C. Grimm, “Genauigkeit, Robustheit und Power Profiling f¸r Cyber-Phyical Systems,” in 9. Workshop Cyber-Physical Systems – Enabling Multi-Nature Systems (CPMNS 2012), Fraunhofer Verlag, 2012.

[51]

C. Wolf, J. Glaser, F. Schupfer, J. Haase, and C. Grimm, “Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic,” in Forum on Specification and Design Languages, IEEE, 2012, pp. 194–201. [Online]. Available: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=%5C&arnumber=6337010%5C&contentType=Conference+Publications%5C&refinements=4294557734%5C&queryText=FDL+2012.

[52]

S. Adhikari, C. Grimm, and J. Haase, “Abstract modelling and estimation of a high performance tobey’s PGA,” in 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011, 2011, pp. 1–6. [Online]. Available: http://ieeexplore.ieee.org/document/6069467/.

[53]

P. Brunmayr, J. Haase, and C. Grimm, “A hardware/software codesign template library for design space exploration,” in Electronic System Level Synthesis Conference (ESLsyn), 2011, IEEE Comput. Soc. Press, 2011, pp. 1–6. doi: 10.1109/. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=5952279.

[54]

M. Damm, S. Mahlknecht, and C. Grimm, “Gerenciamento de energia e mediÁ„o com base em cart„o inteligente,” Revista Eletricidade Moderna, no. 8, pp. 52–63, 2011.

[55]

M. Damm, S. Mahlknecht, C. Grimm, T. Bertenyi, T. Young, and C. Wysoudil, “A partially decentralised forecast-based demand-side-management approach,” in 2nd IEEE PES International Conference and Exhibition on ”Innovative Smart Grid Technologies”, ISGT Europe 2011, Manchester, United Kingdom, December 5-7, 2011, 2011, pp. 1–7. doi: 10.1109/ISGTEurope.2011.6162709. [Online]. Available: https://doi.org/10.1109/ISGTEurope.2011.6162709.

[56]

J. Glaser, M. Damm, J. Haase, and C. Grimm, “Tr-fsm: Transition-based reconfigurable finite state machine,” ACM Trans. Reconfigurable Technol. Syst., vol. 4, no. 3, 23:1–23:14, Aug. 2011, issn: 1936-7406. doi: 10.1145/2000832.2000835. [Online]. Available: http://doi.acm.org/10.1145/2000832.2000835.

[57]

K. Gravogl, J. Haase, and C. Grimm, “Choosing the best wireless protocol for typical applications,” in Wireless Ultra-Low Power Sensornets (WUPS 2011), 2011.

[58]

C. Grimm, M. Damm, and J. Haase, “Towards Co-design of HW/SW/Analog Systems,” English, in Design Methodologies for Secure Embedded Systems, ser. Lecture Notes in Electrical Engineering, A. Biedermann and H. Molter, Eds., vol. 78, Springer Berlin Heidelberg, 2011, pp. 1–24, isbn: 978-3-642-16766-9. doi: 10.1007/978-3-642-16767-6˙1. [Online]. Available: https://doi.org/10.1007/978-3-642-16767-6%5C_1.

[59]

C. Grimm and J. Ou, “Unifying process networks for design of cyber physical systems,” in Electronic System Level Synthesis Conference (ESLsyn), 2011, IEEE Comput. Soc. Press, 2011, pp. 1–6. doi: 10.1109/. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=5952280.

[60]

J. Haase, J. Moreno, and D. Dietrich, “Power-Aware System Design of Wireless Sensor Networks: Power Estimation and Power Profiling Strategies,” Industrial Informatics, IEEE Transactions on, vol. 99, no. 99, pp. 1–1, 2011.

[61]

M. Lang, J. Haase, and C. Grimm, “Parallel Multi-Level Simulation of Wireless Sensor Networks,” in IEEE Symposium on Circuits and Systems (ISCAS 2011), IEEE, 2011.

[62]

F. Lukasch, “Cost Efficient Mains Powered Supply Concepts for Wireless Sensor Nodes,” in International Symposium on Circuits and Systems (ISCAS 2011), IEEE, 2011.

[63]

S. Mahlknecht, T. J. Kazmierski, C. Grimm, and L. Wang, “Wireless communication and energy harvesting in automobiles,” in Design, Automation Test in Europe Conference Exhibition (DATE), 2011, Mar. 2011, pp. 1–6. doi: 10.1109/DATE.2011.5763171.

[64]

R. Matischek, T. Herndl, C. Grimm, and J. Haase, “Real-Time Wireless Communication in Automotive Applications,” in Design, Automation and Test in Europe (DATE 2011), ACM, 2011.

[65]

——, “Real-time wireless communication in automotive applications,” in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2011, 2011, pp. 1–6. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=5763170.

[66]

——, “Real-Time Wireless MAC Protocol for Devices with Low-Power Protocol Processor Support,” in Wireless Ultra-Low Power Sensornets (WUPS 2011), 2011.

[67]

J. Moreno, J. Wenninger, J. Haase, and C. Grimm, “Energy profiling technique for network-level energy optimization,” in AFRICON, 2011, IEEE, 2011, pp. 1–6.

[68]

J. Ou, F. Muhammad, J. Haase, and C. Grimm, “A technique for the identification of reconfigurable resources of flexible communication systems,” in Adaptive Hardware and Systems (AHS), 2011 NASA/ESA Conference on, 2011, pp. 256–263. doi: 10.1109/AHS.2011.5963945. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=5963945.

[69]

C. Radojicic, F. Schupfer, M. Svarc, and C. Grimm, “Semi-Symbolic Analysis of Analog and Signal Processing Systems,” in Frontiers of Analog Circuits (FAC), 2011.

[70]

F. Schupfer, C. Radojicic, J. Wenninger, and C. Grimm, “System Refinement Design Flow based on Semi-Symbolic Simulations,” in AFRICON, Sep. 2011. doi: 10.1109/AFRCON.2011.6072111. [Online]. Available: http://ieeexplore.ieee.org/document/6072111/.

[71]

J. Wenninger, J. Moreno, and J. Haase, “Power optimization of wireless sensor networks at design time,” in AFRICON, 2011, IEEE, 2011, pp. 1–6.

[72]

J. Wenninger, J. Moreno, J. Haase, and C. Grimm, “Designing low-power wireless sensor networks,” in Specification and Design Languages (FDL), 2011 Forum on, IEEE, 2011, pp. 1–6.

[73]

Y. Zaidi, S. Adhikari, and C. Grimm, “Abstract Modeling and Simulation Based Selective Estimation,” in 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, Potsdam, Germany, 2011.

[74]

Y. Zaidi, C. Grimm, and J. Haase, “Simulation based tuning of system specification,” in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2011, 2011, pp. 1–6. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=5763204.

[75]

S. Adhikari and C. Grimm, “Modeling switched capacitor sigma delta modulator nonidealities in SystemC-AMS,” in Forum on Specification, Verification and Design Languages, 2010.

[76]

M. Barnasconi, K. Einwich, C. Grimm, and A. Vachoux, Eds., Standard SystemC AMS Language Reference Manual. OSCI, 2010. [Online]. Available: www.systemc.org.

[77]

M. Barnasconi and C. Grimm, Eds., SystemC AMS extensions User’s Guide. OSCI, 2010. [Online]. Available: www.systemc.org.

[78]

P. Brunmayr, J. Haase, and C. Grimm, “A Tripartite System Level Design Approach for Design Space Exploration,” in Forum on Specification, Verification and Design Languages, 2010.

[79]

M. Damm, J. Moreno, J. Haase, and C. Grimm, “Using transaction level modeling techniques for wireless sensor network simulation,” in Design, Automation Test in Europe Conference Exhibition (DATE), 2010, Mar. 2010, pp. 1047–1052. doi: 10.1109/DATE.2010.5456964.

[80]

——, “Using transaction level modeling techniques for wireless sensor network simulation,” in Proceedings of the Conference on Design, Automation and Test in Europe, European Design and Automation Association, 2010, pp. 1047–1052.

[81]

M. Damm, J. Moreno, J. Haase, and C. Grimm, “Using Transaction Level Modeling techniques for wireless sensor network simulation,” in Design, Automation Test in Europe Conference Exhibition (DATE), 2010, Mar. 2010, pp. 1047–1052. [Online]. Available: http://ieeexplore.ieee.org/document/5456964/.

[82]

M. Farooq, S. Adhikari, J. Haase, and C. Grimm, “Modeling methodology in SystemC-AMS for embedded analog mixed signal systems,” in International Conference on Frontiers of Information Technology (FIT 2010), Islamabad, Pakistan: ACM New York, NY, USA, 2010. doi: 10.1145/1943628.1943655. [Online]. Available: http://dx.doi.org/10.1145/1943628.1943655.

[83]

J. Glaser, M. Damm, J. Haase, and C. Grimm, “A Dedicated Reconfigurable Architecture for Finite State Machines,” in Reconfigurable Computing: Architectures, Tools and Applications, ser. Lecture Notes in Computer Science, P. Sirisuk, F. Morgan, T. El-Ghazawi, and H. Amano, Eds., vol. 5992, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 122–133, isbn: 978-3-642-12132-6. doi: 10.1007/978-3-642-12133-3. [Online]. Available: http://www.springerlink.com/content/w067238432k12gtw.

[84]

J. Glaser, J. Haase, M. Damm, and C. Grimm, “A Novel Reconfigurable Architecture for Wireless Sensor Network Nodes,” in Mikroelektronik 2010, 2010.

[85]

J. Glaser, J. Haase, and C. Grimm, “Designing a Reconfigurable Architecture for Ultra-Low Power Wireless Sensor,” in International Symposium on COMMUNICATION SYSTEMS, NETWORKS AND DIGITAL SIGNAL PROCESSING, 2010.

[86]

J. Haase, J. Molina, and C. Grimm, “High level energy consumption estimation and profiling for optimizing Wireless Sensor Networks,” in Industrial Informatics (INDIN), 2010 8th IEEE International Conference on, IEEE, 2010, pp. 537–542.

[87]

J. Haase, M. Lang, and C. Grimm, “Mixed-Level Simulation of Wireless Sensor Networks,” in Forum on Specification, Verification and Design Languages, 2010.

[88]

J. Haase, J. Moreno, and C. Grimm, “High-Level Energy Consumption Estimation and Profiling for Optimizing Wireless Sensor Networks,” in IEEE Conference on Industrial Informatics (INDIN 2010), 2010.

[89]

J. Haase, J. Wenninger, C. Grimm, and J. Ou, “Simulation of ultra-low power sensor networks,” in Energy Harvesting Systems: Principles, Modeling and Applications, T. Kazmierski and S. Beeby, Eds., Springer, 2010, p. 290, isbn: 1441975659. [Online]. Available: http://www.amazon.com/Energy-Harvesting-Systems-Principles-Applications/dp/1441975659.

[90]

T. Kirchner, N. Bannow, C. Kerstan, and C. Grimm, “Mixed Signal Simulation with SystemC and Saber,” in Forum on Specification, Verification and Design Languages, IEEE, 2010.

[91]

K. Lee, F. Schupfer, and C. Grimm, “A range based method for Noise Analysis of mixed A/D Communication Systems,” in Mikroelektronik 2010, Wien: OVE, 2010.

[92]

S. Mahlknecht, M. Damm, and C. Grimm, “A Smartcard based approahc for a secure energy management node architecture,” in IEEE Conference on Industrial Informatics (INDIN), IEEE, 2010.

[93]

J. M. Molina, J. Haase, and C. Grimm, “Energy Consumption Estimation and Profiling in Wireless Sensor Networks,” in Architecture of Computing Systems (ARCS), 2010 23rd International Conference on, VDE, 2010, pp. 1–6.

[94]

J. Moreno Molina, J. Haase, and C. Grimm, “Energy Consumption Estimation and Profiling in Wireless Sensor Networks,” in ARCS ’10 - 23th International Conference on Architecture of Computing Systens 2010 Workshop Proceedings, Feb. 2010, pp. 259–264.

[95]

J. Moreno, J. Haase, and C. Grimm, “Energy Consumption Estimation and Profiling in Wireless Sensor Networks,” in Workshop on Ultra-Low Power Sensor Networks (WUPS), Frankfurt: VDE-Verlag, 2010.

[96]

J. Ou, M. Farooq, J. Haase, and C. Grimm, “A Formal Model for Specification and Optimization of Flexible Communication Systems,” in NASA/ESA Conference on Adaptive Hardware and Systems, ACM, 2010.

[97]

M. Rafaila, C. Decker, C. Grimm, J. Kirscher, and G. Pelz, “Design of Experiments for Reliable Operation of Electronics in Automotive Applications,” in Forum on Specification, Verification and Design Languages, 2010.

[98]

M. Rafaila, C. Decker, C. Grimm, and G. Pelz, “Design of Experiments for Effective Pre-silicon Verification of Automotive Systems,” in Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s, D. Borrione, Ed., Springer, 2010, pp. 141–158. doi: 10.1007/978-90-481-9304-2“˙9.

[99]

——, “Simulation-based sensitivity and worst-case analyses of automotive electronics,” in 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2010, Vienna, Austria, April 14-16, 2010, 2010, pp. 309–312. doi: 10.1109/DDECS.2010.5491760. [Online]. Available: https://doi.org/10.1109/DDECS.2010.5491760.

[100]

M. Rafaila, C. Grimm, C. Decker, and G. Pelz, “Sequential design of experiments for effective model-based validation of electronic control units,” Elektrotechnik und Informationstechnik, vol. 127, no. 6, pp. 164–170, 2010. doi: 10.1007/s00502-010-0738-x. [Online]. Available: https://doi.org/10.1007/s00502-010-0738-x.

[101]

M. Rafaila, C. Grimm, C. Decker, and G. Pelz, “Sequential Design of Experiments for Effective Model-Based Validation of Electronic Control Units,” e&i Elektrotechnik und Informationstechnik, vol. 127, pp. 164–170, 2010.

[102]

F. Schupfer and C. Grimm, “Towards more Dependable Verification of Mixed-Signal Systems,” in Verification over discrete-continuous boundaries, B. Becker, L. Cardelli, H. Hermanns, and S. Tahar, Eds., ser. Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, 2010.

[103]

F. Schupfer, M. K‰rgel, C. Grimm, M. Olbrich, and E. Barke, “Towards Abstract Analysis Techniques for Range Based System Simulations,” in Forum on Specification and Design Languages 2010 (FDL ’10), 2010, pp. 1–6.

[104]

F. Schupfer, J. Ou, P. Brunmayr, and C. Grimm, “Performance Driven High Level Algorithm Partitioning,” in IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2010.

[105]

J. Wenninger, M. Damm, J. Moreno, J. Haase, and C. Grimm, “Multilevel Sensor Node Simulatin within a TLM-like Network Simulation Framework,” in Workshop on Ultra-Low Power Sensor Networks (WUPS), Frankfurt: VDE-Verlag, 2010.

[106]

Y. Zaidi, C. Grimm, and J. Haase, “On Mixed Abstraction, Languages, and Simulation Approach to Refinement with SystemC AMS,” EURASIP Journal on Embedded Systems, vol. 2010, p. 13, 2010. [Online]. Available: http://www.hindawi.com/journals/es/2010/489365.html.

[107]

K. Einwich, C. Grimm, M. Barnasconi, and A. Vachoux, Introduction to the SystemC AMS DRAFT standard, Belfast, Sep. 2009. doi: 10.1109/SOCCON.2009.5397994. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=5397994.

[108]

D. Grabowski, Gebietsarithmetische Verfahren zur Simulation analoger Schaltungen mit Parameterunsicherheiten. Verlag Dr.Hut, 2009.

[109]

C. Grimm, M. Damm, and J. Haase, “Design Refinement of Embedded Mixed-Signal Systems,” in Model Based Design for Embedded Systems, G. Nicolescu and P. Mostermann, Eds., CRC Press, 2009, ch. X. [Online]. Available: http://www.crcpress.com/product/isbn/9781420067842.

[110]

C. Grimm, D. Smith, and M. Woodward, Bipolar Thinking – Analog and System Level. San Francisco, 2009. [Online]. Available: http://www.dac.com/events/eventdetails.aspx?id=95-100.

[111]

J. Haase, M. Damm, J. Glaser, J. Moreno, and C. Grimm, “Systemc-based power simulation of wireless sensor networks,” in Specification & Design Languages, 2009. FDL 2009. Forum on, IEEE, 2009, pp. 1–4.

[112]

J. Haase, M. Damm, J. Glaser, J. Moreno, and C. Grimm, “SystemC-based power simulation of wireless sensor networks,” in Specification & Design Languages, 2009. FDL 2009. Forum on, ECSI, 2009. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=5404040.

[113]

T. Kirchner, N. Bannow, and C. Grimm, “Analogue mixed signal simulation using SPICE and SystemC,” in Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE ’09., 2009, pp. 284–287. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=5090672.

[114]

M. Rafaila, C. Decker, C. Grimm, K. Einwich, T. Markwirth, and G. Pelz, “New Methods for System-level Verification using SystemC-AMS Extensions,” in 12. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Berlin: TU Berlin, 2009.

[115]

M. Rafaila, C. Grimm, C. Decker, and G. Pelz, “Design of Experiments for Effective Pre-silicon Verification of Automotive Electronics,” in Forum on Specification, Verification and Design Languages, 2009.

[116]

Y. Zaidi, C. Grimm, and J. Haase, “Analog behavior refinement in system centric modeling,” in 2009 IEEE Behavioral Modeling and Simulation Workshop, IEEE, Sep. 2009, pp. 31–36, isbn: 978-1-4244-5358-0. doi: 10.1109/BMAS.2009.5338893. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=5338893.

[117]

——, “Fast and Unified SystemC AMS - HDL Simulation,” in Forum on Specification, Verification and Design Languages, 2009.

[118]

M. Damm, C. Grimm, J. Haase, A. Herrholz, and W. Nebel, “Connecting SystemC-AMS models with OSCI TLM 2.0 models using temporal decoupling,” in 2008 Forum on Specification, Verification and Design Languages, IEEE, Sep. 2008, pp. 25–30, isbn: 978-1-4244-2264-7. doi: 10.1109/FDL.2008.4641416. [Online]. Available: http://dblp.uni-trier.de/db/conf/fdl/fdl2008.html%5C#DammGHHN08.

[119]

M. Damm, J. Haase, and C. Grimm, “Co-Simulation of mixed HW/SW and Analog/RF systems at architectural level,” in IEEE International Behavioral Modeling and Simulation Workshop, 2008. BMAS 2008, IEEE, Sep. 2008, pp. 84–89, isbn: 978-1-4244-2896-0. doi: 10.1109/BMAS.2008.4751245. [Online]. Available: http://scholar.google.com/scholar?hl=en%5C&btnG=Search%5C&q=intitle:Co-Simulation+of+mixed+HW+/+SW+and+Analog+/+RF+systems+at+architectural+level%5C#0.

[120]

M. Damm, J. Haase, C. Grimm, F. Herrera, and E. Villar, “Bridging MoCs in SystemC specifications of heterogeneous systems,” EURASIP Journal on Embedded Systems, 2008, issn: 1687-3955. [Online]. Available: http://portal.acm.org/citation.cfm?id=1463084.1463091.

[121]

C. Grimm, M. Barnasconi, A. Vachoux, and K. Einwich, An Introduction to Modeling Embedded Analog/Mixed-Signal Systems using SystemC AMS Extensions, 2008. [Online]. Available: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.5749.

[122]

C. Grimm and M. Dietrich, “Automotive system design with specification and verification of uncertainties,” in 2008 Forum on Specification, Verification and Design Languages, IEEE, Sep. 2008, pp. 245–246, isbn: 978-1-4244-2264-7. doi: 10.1109/FDL.2008.4641457. [Online]. Available: http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4641457.

[123]

C. Grimm, K. Gravogl, F. Schupfer, and I. Neumann, “The AutoSUN verification environment,” in 2008 Forum on Specification, Verification and Design Languages, IEEE, Sep. 2008, pp. 249–250, isbn: 978-1-4244-2264-7. doi: 10.1109/FDL.2008.4641459. [Online]. Available: http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4641459.

[124]

C. Grimm, A. Jantsch, S. Shukla, and E. Villar, “C-Based Design of Heterogeneous Embedded Systems,” EURASIP Journal on Embedded Systems, vol. 2008, 2008. doi: 10.1155/2008/243890. [Online]. Available: https://doi.org/10.1155/2008/243890.

[125]

F. Herrera, E. Villar, C. Grimm, M. Damm, and J. Haase, “Heterogeneous Specification with HetSC and SystemC-AMS: Widening the Support of MoCs in SystemC,” in Embedded Systems Specification and Design Languages, ser. Lecture Notes in Electrical Engineering, E. Villar, Ed., vol. 10, Dordrecht: Springer Netherlands, 2008, pp. 107–121, isbn: 978-1-4020-8296-2. doi: 10.1007/978-1-4020-8297-9. [Online]. Available: http://www.springerlink.com/content/l23833312np53l08.

[126]

F. Nassar, J. Haase, and C. Grimm, “Design and Simulation of a simplified OPB to PCIe Bridge Institute of Computer Technology Vienna University of Technology Majid Ghameshlu Siemens IT Solutions and Services PSE,” in Mikroelektronik 2008, 2008.

[127]

E. Villar, A. Jantsch, C. Grimm, and T. Kogel, “Heterogeneous System-level Specification Using SystemC,” in Design, Automation and Test in Europe, IEEE, Mar. 2008, pp. xliii–xliv, isbn: 978-3-9810801-3-1. doi: 10.1109/DATE.2008.4484641. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=4484641.

[128]

M. Damm, F. Herrera, J. Haase, E. Villar, and C. Grimm, “Using converter channels within a top-down design flow in SystemC,” in Proceedings of the 15th Austrian Workshop on Microelectronics (Austrochip’07), 2007. [Online]. Available: http://scholar.google.com/scholar?hl=en%5C&btnG=Search%5C&q=intitle:Using+Converter+Channels+within+a+Top-Down+Design+Flow+in+SystemC%5C#0.

[129]

M. Freisfeld, M. Olbrich, C. Grimm, and E. Barke, “Verwendung von Gebietsarithmetiken zum Entwurf robuster Schaltungen und Systeme,” in GMM-Fachbericht Zuverl‰ssigkeit und Entwurf, VDE VERLAG GmbH, 2007. [Online]. Available: http://www.vde-verlag.de/proceedings-en/463023016.html.

[130]

D. Grabowski, M. Olbrich, C. Grimm, and E. Barke, “Range Arithmetics to Speed up Reachability Analysis of Analog Systems,” in Forum on Specification, Verification and Design Languages 2007, 2007.

[131]

C. Grimm, C-Based Modelling of Embedded Mixed-Signal Systems, Dresden, 2007.

[132]

C. Grimm, M. Damm, J. Haase, and F. Brame, “Top-down Refinement of Analog / Mixed-Signal Systems,” in Silicon Saxony, vol. 43, Dresden: Silicon Saxony, 2007.

[133]

C. Grimm, R. Jancke, L. Hedrich, S. Huss, and H. Gr‰b, “Struktursynthese von Analogen und Mixed-Signal Schaltungen: Schwarze Magie?” In edaworkshop, 2007. [Online]. Available: http://en.scientificcommons.org/22830468.

[134]

C. Grimm, R. Schroll, F. Brame, and K. Waldschmidt, “Top-Down Design analog/digitaler Systeme mit SystemC-AMS,” in Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2007. [Online]. Available: http://publik.tuwien.ac.at/files/pub-et%5C_12189.pdf.

[135]

C. Grimm, R. Schroll, K. Waldschmidt, and F, “Mixed-level-simulation heterogener systeme,” in Multi-Nature Systems, 2007. [Online]. Available: http://publik.tuwien.ac.at/files/pub-et%5C_12185.pdf.

[136]

F. Herrera, E. Villar, C. Grimm, M. Damm, and J. Haase, “A general approach to the interoperability of HetSC and SystemC-AMS.,” in Forum on Specification, Verification and Design Languages, 2007, pp. 32–37. [Online]. Available: http://dblp.uni-trier.de/db/conf/fdl/fdl2007.html%5C#HerreraVGDH07.

[137]

A. Herrholz, F. Oppenheimer, A. Schallenberg, W. Nebel, C. Grimm, M. Damm, F. Herrera, E. Villar, I. Sander, A. Jantsch, A.-M. Foulliart, and M. Martinez, “ANDRES-ANalysis and Design of run-time Reconfigurable, heterogeneous Systems,” in Workshop on ”Adaptive Heterogeneous Systems-On-Chip and European Dimensions, 2007.

[138]

V. Schˆber, C. Grimm, R. Jancke, L. Hedrich, S. Huss, and H. Gr‰b, “SAMS: Struktursynthese von analogen Schaltungen,” edacentrum Newsletter, pp. 17–19, 2007.

[139]

D. Grabowski and C. Grimm, “Ein Verfahren zur effizienten Analyse von Schaltungen mit Parametervarianzen Symbolische Modellierung von Unsicherheiten,” in Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2006.

[140]

D. Grabowski, C. Grimm, and E. Barke, “Ein Verfahren zur Effizienten Analyse von Schaltungen mit Parametervariationen,” in Tagungsband GI/ITG/GMM - Workshop Modellierung und Verifikation ’03, Dresden, Mar. 2006.

[141]

——, “Semi-Symbolic Modeling and Simulation of Circuits and Systems,” in IEEE International Symposium on Circuits and Systems (ISCAS), Washington, DC, USA: IEEE, 2006, pp. 983–986, isbn: 0-7803-9389-9. doi: 10.1109/ISCAS.2006.1692752. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=1692752.

[142]

——, “Semi-symbolische Simulation analoger Schaltungen mit Parameterschwankungen,” in AustroChip, 2006. [Online]. Available: http://publik.tuwien.ac.at/files/pub-et%5C_11824.pdf.

[143]

C. Grimm, R. Schroll, F. Brame, and K. Waldschmidt, “Top-Down Design analog/digitaler Systeme mit SystemC-AMS,” in AustroChip, 2006. [Online]. Available: http://publik.tuwien.ac.at/files/pub-et%5C_12189.pdf.

[144]

W. Heupke, C. Grimm, and K. Waldschmidt, “Advances in Specification and Design Languages for SoC,” in. Springer-Verlag, 2006, ch. Modeling Uncertainty in Nonlinear Systems with Affine Arithmetic, pp. 198–213.

[145]

——, “Modeling Uncertainty in Nonlinear Analog Systems with Affine Arithmetic,” English, in Applications of Specification and Design Languages for SoCs, A. Vachoux, Ed., Springer Netherlands, 2006, pp. 155–169, isbn: 978-1-4020-4997-2. doi: 10.1007/978-1-4020-4998-9˙9. [Online]. Available: http://dx.doi.org/10.1007/978-1-4020-4998-9%5C_9.

[146]

A. Vachoux, C. Grimm, R. Kakerow, and C. Meise, “Embedded mixed-signal systems: new challenges for modeling and simulation,” in IEEE International Symposium on Circuits and Systems, IEEE, 2006, p. 4, isbn: 0-7803-9389-9. doi: 10.1109/ISCAS.2006.1692754. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=1692754.

[147]

C. Grimm, W. Heupke, and K. Waldschmidt, “Analysis of mixed-signal systems with affine arithmetic,” Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol. 24, no. 1, pp. 118–123, 2005. doi: 10.1109/TCAD.2004.839469(410) 24. [Online]. Available: https://ieeexplore.ieee.org/document/1372667/.

[148]

C. Grimm, R. Schroll, and K. Waldschmidt, “Refinement of Mixed-Signal Systems: Between Heaven and Hell,” in Advances in Design and Specification Languages for SoCs, P. Boulet, Ed., Boston: Kluwer Academic Publishers, 2005, pp. 5–20, isbn: 0-387-26149-4. doi: 10.1007/b136935. [Online]. Available: http://www.springerlink.com/content/v3t0412m0q35p32u.

[149]

W. Heupke, C. Grimm, and K. Waldschmidt, “Semi-Symbolic Simulation of Nonlinear Systems,” in Forum on Specification and Design Languages (FDL), ECSI, 2005. [Online]. Available: http://i-tecs.fr/ecsi/libraryV1/uploads/1-AMS17%5C_paper.pdf.

[150]

——, “Semi-Symbolische Analyse und Simulation von Mixed-Signal Systemen,” in Analog’05, Berlin, Frankfurt: VDE-Verlag, 2005.

[151]

S. Mahlknecht, J. Glaser, and T. Herndl, “PAWiS: Towards a Power Aware System Architecture for a SoC/SiP Wireless Sensor and Actor Node Implementation,” in Proceedings of 6th IFAC International Conference on Fieldbus Systems and their Applications, 2005, pp. 129–134.

[152]

G. Pelz, P. Oehler, E. Fourgeau, and C. Grimm, “Automotive System Design and Autosar,” in Advances in Design and Specification Languages for SoCs, P. Boulet, Ed., Boston: Kluwer Academic Publishers, 2005, pp. 293–305, isbn: 0-387-26149-4. doi: 10.1007/b136935. [Online]. Available: http://www.springerlink.com/content/v123656820357t64.

[153]

R. Schroll, C. Grimm, and K. Waldschmidt, “Verfeinerung von Mixed-Signal Systemen mit polymorphen Signalen,” in Analog’05, Berlin, Frankfurt: VDE Verlag, 2005.

[154]

A. Vachoux, C. Grimm, and K. Einwich, “Extending SystemC to support mixed discrete-continuous system modeling and simulation,” in 2005 IEEE International Symposium on Circuits and Systems, May 2005, 5166–5169 Vol. 5. doi: 10.1109/ISCAS.2005.1465798. [Online]. Available: http://dx.doi.org/10.1109/ISCAS.2005.1465798.

[155]

K. Einwich, P. Schwarz, C. Grimm, and C. Meise, “SystemC-AMS: Rationales, State of the Art, and Examples,” in SystemC: Methodologies and Applications, W. M¸ller, W. Rosenstiel, and J. Ruf, Eds., Boston: Kluwer Academic Publishers, 2004, pp. 273–297, isbn: 1-4020-7479-4. doi: 10.1007/b105968. [Online]. Available: http://www.springerlink.com/content/l7608324576qv380.

[156]

K. Einwich, P. Schwarz, C. Grimm, and K. Waldschmidt, “Mixed-Signal Extensions for SystemC,” in System Specification & Design Languages, E. Villar and J. Mermet, Eds., Boston: Kluwer Academic Publishers, 2004, isbn: 1-4020-7414-X. doi: 10.1007/b105967. [Online]. Available: http://www.springerlink.com/content/p4u1w35487830633.

[157]

C. Grimm, Languages for System Specification, Grimm; Christoph, Ed. Springer, 2004, p. 367, isbn: 1402079907. [Online]. Available: http://www.amazon.co.uk/Languages-System-Specification-Contributions-Specifications/dp/1402079907.

[158]

——, “Modeling and Refinement of Mixed-Signal Systems with SystemC,” in SystemC: Methodologies and Applications, W. M¸ller, W. Rosenstiel, and J. Ruf, Eds., Boston: Kluwer Academic Publishers, 2004, pp. 299–323, isbn: 1-4020-7479-4. doi: 10.1007/b105968. [Online]. Available: http://www.springerlink.com/content/m0221086610q673g.

[159]

C. Grimm, W. Heupke, and K. Waldschmidt, “Refinement of Mixed-Signals Systems with Affine Arithmetic,” in Design, Automation and Test in Europe, IEEE Comput. Soc, 2004, pp. 372–377, isbn: 0-7695-2085-5. doi: 10.1109/DATE.2004.1268875. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=1268875.

[160]

——, “Semi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems,” in Forum on Specification, Verification and Design Languages, ECSI, 2004, pp. 1–12.

[161]

C. Meise and C. Grimm, “A systemc based case study of a sensor application using the becom modeling methodology for virtual prototyping,” in Proceedings of the 17th Symposium on Integrated Circuits and System Design, ser. SBCCI ’04, Pernambuco, Brazil: ACM, 2004, pp. 242–247, isbn: 1-58113-947-0. doi: 10.1145/1016568.1016633. [Online]. Available: http://doi.acm.org/10.1145/1016568.1016633.

[162]

J. Romberg and C. Grimm, “Refinement of Hybrid Systems,” in Languages for System Specification, C. Grimm, Ed., Boston: Kluwer Academic Publishers, 2004, pp. 315–330, isbn: 1-4020-7990-7. doi: 10.1007/b116586. [Online]. Available: http://www.springerlink.com/content/v15p3013kx37w0m6.

[163]

R. Scholl, C. Grimm, and K. Waldschmidt, “HEAVEN: A Framework for the Refinement of Heterogeneous Systems,” in Forum on Specification, Verification and Design Languages, ECSI, 2004, pp. 1–12. [Online]. Available: http://i-tecs.fr/ecsi/libraryV1/uploads/AMS18.pdf.

[164]

A. Vachoux, C. Grimm, and K. Einwich, “Towards Analog and Mixed-Signal SOC Design with SystemC-AMS,” in Second IEEE International Workshop on Electronic Design, Test and Applications, IEEE, Jan. 2004, isbn: 0-7695-2081-2. doi: 10.1109/DELTA.2004.10008. [Online]. Available: http://www.computer.org/portal/web/csdl/doi/10.1109/DELTA.2004.10008.

[165]

——, “Towards Analog and Mixed-Signal SOC Design with SystemC-AMS,” in Second IEEE International Workshop on Electronic Design, Test and Applications, IEEE, 2004, pp. 97–97, isbn: 0-7695-2081-2. doi: 10.1109/DELTA.2004.10008. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=1409823.

[166]

C. Grimm, C. Meise, W. Heupke, and K. Waldschmidt, “Refinement of mixed-signal systems with SystemC,” in 2003 Design, Automation and Test in Europe Conference and Exhibition, IEEE Comput. Soc, 2003, pp. 1170–1171, isbn: 0-7695-1870-2. doi: 10.1109/DATE.2003.1253785. [Online]. Available: http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=1253785.

[167]

W. Heupke, C. Grimm, and K. Waldschmidt, “A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems,” in Proceedings of the Forum on Specification and Design Languages’03, 2003, pp. 82–90.

[168]

C. Meise and C. Grimm, “Konzept einer Klassensammlung zur Verhaltensmodellierung hybrider Systeme am Beispiel der Leistungselektronik,” in ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, R. Drechsler and J. Ruf, Eds., Aachen: Shaker, 2003.

[169]

J. Romberg and C. Grimm, “Refinement of Hybrid Systems from Formal Models to Design Languages,” in Forum on Specification, Verification and Design Languages, 2003, pp. 1–12.

[170]

A. Vachoux, C. Grimm, and K. Einwich, “Analog and mixed signal modelling with SystemC-AMS,” in Circuits and Systems, 2003. ISCAS ’03. Proceedings of the 2003 International Symposium on, vol. 3, 2003, pp. III–914 – III–917.

[171]

——, “Systemc-ams requirements, design objectives and rationale,” in Proceedings of the Conference on Design, Automation and Test in Europe - Volume 1, ser. DATE ’03, Washington, DC, USA: IEEE Computer Society, 2003, pp. 10 388–, isbn: 0-7695-1870-2. [Online]. Available: http://dl.acm.org/citation.cfm?id=789083.1022757.

[172]

K. Einwich, P. Schwarz, C. Grimm, and K. Waldschmidt, “Mixed-signal extensions for systemC,” in Forum on Specification and Design Languages, 2002.

[173]

C. Grimm, SystemC-AMS: Chances and Perspectives, Trondheim, 2002.

[174]

C. Grimm, C. Meise, W. Heupke, and K. Waldschmidt, “Durchg‰ngiger Entwurf analog / digitaler Systeme mit SystemC,” in Analog, VDI Verlag, 2002.

[175]

——, “Objektorientierte Modellierung analog/digitaler Systeme mit SystemC,” in Tagungsband 16. Symposium Simulationstechnik (ASIM ’02), 2002. [Online]. Available: http://www.ti.cs.uni-frankfurt.de/ams/papers/ASIM2002-GMHW02c.pdf.

[176]

P. Oehler, C. Grimm, and K. Waldschmidt, “A methodology for system-level synthesis of mixed-signal applications,” IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 10, no. 6, pp. 935–942, Dec. 2002, issn: 1063-8210. doi: 10.1109/TVLSI.2002.801577. [Online]. Available: http://ieeexplore.ieee.org/document/1178864/references.

[177]

C. Grimm, C. Meise, P. Oehler, K. Waldschmidt, and W. Fey, “AnalogSL: A C++ Library for modeling analog power drivers with C++,” in System on Chip Design Languages, A. Mignotte, Ed., Kluwer, 2001.

[178]

F. Eschmann and C. Grimm, “Analysis of Methods for Integrating Reuse in Synthesis,” in Internationales Wissenschaftliches Kolloquium, 2000.

[179]

C. Grimm, Hybride Datenflussgraphen und ihre Anwendung beim Entwurf analog digitaler Systeme. Berlin/Frankfurt: VDI-Verlag, 2000.

[180]

C. Grimm, F. Heuschen, K. Waldschmidt, and S. Klesy, “Rechnergest¸tzte Erstellung von Modellen zur schnellen Simulation analog/digitaler Architekturen,” in Architekturentwurf eingebetteter Systeme 2000 (AES 2000), FZI Karlsruhe, 2000.

[181]

F. Heuschen, C. Grimm, and K. Waldschmidt, “Modellierung des Implementierungsraums im analog/digital Co-Design,” in ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Berlin, Frankfurt: VDE-Verlag, 2000.

[182]

T. Stauner and C. Grimm, “Prototyping of Hybrid Systems – From HyCharts to Hybrid Data-Flow Graphs,” Electronic Notes in Theoretical Computer Science, vol. 28, pp. 81–100, 2000, issn: 15710661. doi: 10.1016/S1571-0661(05)80631-0. [Online]. Available: http://dx.doi.org/10.1016/S1571-0661(05)80631-0.

[183]

K. Waldschmidt and C. Grimm, Eds., Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Berlin, Frankfurt: VDE-Verlag, 2000, p. 298, isbn: 380072524X. [Online]. Available: http://www.amazon.de/Methoden-Beschreibungssprachen-Modellierung-Verifikation-Schaltungen/dp/380072524X.

[184]

C. Grimm, “Hybride Datenflussgraphen und ihre Anwendung beim Entwurf analog/digitaler Systeme,” in Smart Systems Engineering, DLR, 1999. [Online]. Available: http://scholar.google.com/scholar?hl=en%5C&btnG=Search%5C&q=intitle:Hybride+Datenflussgraphen+und+ihre+Anwendung+beim+Entwurf+analog/digitaler+Systeme%5C#0.

[185]

C. Grimm, R. Bopp, and K. Waldschmidt, “Synthese analog/digitaler Architekturen in KANDIS/2,” in Workshop Entwurf Integrierter Schaltungen 1999 (EIS-Workshop ’99), Berlin, Frankfurt: VDE-Verlag, 1999.

[186]

C. Grimm and K. Waldschmidt, “Hybride Datenflussgraphen - Ein systemtheoretisches Modell zur homogenen, graphbasierten Darstellung hybrider Systeme,” in Entwurf komplexer Automatisierungssysteme ’99 (EKA ’99), Braunschweig, 1999.

[187]

——, “Hybride Datenflussgraphen und ihre Anwendung zum systematischen Entwurf analog/digitaler Systeme,” in System Design Automation, Dresden: TU Dresden/SFB358, 1999.

[188]

——, “Repartitioning and technology mapping of electronic hybrid systems,” in Proceedings Design, Automation and Test in Europe, IEEE Comput. Soc, 1999, pp. 52–58, isbn: 0-8186-8359-7. doi: 10.1109/DATE.1998.655836. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=655836.

[189]

——, “System-Level Synthese gemischt analog/digitaler Schaltungen,” in Informatik ’99 - Informatik ¸berwindet Grenzen, Informatik Aktuell, K. Beiersdˆrfer, G. Engels, and W. Sch‰fer, Eds., Paderborn: Springer Verlag, 1999, pp. 154–163.

[190]

F. Heuschen, C. Grimm, and K. Waldschmidt, “Aspects of Reuse in the Design of Mixed-Signal Systems,” in Reuse Techniques for VLSI Design, Boston: Kluwer Academic Publishers, 1999.

[191]

C. Grimm and K. Waldschmidt, “Repartitioning and technology mapping of electronic hybrid systems,” in Design, Automation, and Test in Europe, 1998, p. 52. [Online]. Available: http://portal.acm.org/citation.cfm?id=368089.

[192]

——, “Spezifikation analog/digitaler Systeme,” IT+TI, vol. 40, no. 3, pp. 23–26, 1998.

[193]

F. Heuschen, C. Grimm, and K. Waldschmidt, “Aspects of Reuse in the Design of Mixed-Signal Systems,” in 2nd GI/ITG/GMM-Workshop Reuse Techniques for VLSI Design, Karlsruhe: FZI-Report 3-13-9/98, 1998.

[194]

C. Grimm, “‹BERSPEZIFIKATION UND REPARTITIONIERUNG HYBRIDER SYSTEME,” in 3.GI/ITG/GME Workshop ”Hardwarebeschreibungssprachen und Modellierungsparadigmen, Dieter Monjau, Ed., Holzhau: Chemnitzer Informatik-Berichte, 1997.

[195]

C. Grimm, P. Oehler, I. Kanakis, and K. Waldschmidt, “KANDIS-A Tool for System-Level Specification and Design of Mixed-Signal Systems,”,” in IEEE/VIUF International Workshop on Behavioural Modeling and Simulation,(Washington DC, USA), Citeseer, 1997. [Online]. Available: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.43.402%5C&rep=rep1%5C&type=pdf.

[196]

I. Kanakis, C. Grimm, P. Oehler, and K. Waldschmidt, “Rapid Prototyping of Mixed-Signal Systems with KANDIS,” in Int. Workshop on Logic and Architecture Synthesis, IFIP, 1997. [Online]. Available: http://www.ti.cs.uni-frankfurt.de/ams/papers/iwlas97.ps.

[197]

C. Grimm, P. Oehler, and K. Waldschmidt, “Spezifikation und Konstruktion gemischt analog/digitaler Systeme,” in Workshop der Multi Projekt Chip Gruppe, Karlsruhe, 1996.

[198]

C. Grimm and K. Waldschmidt, “KIR - Ein formales Modell hybrider Systeme,” in GI/ITG/GME - Workshop Hardwarebeschreibungssprachen und Modellierungsparadigmen, Darmstadt, 1996.

[199]

——, “KIR—a graph-based model for description of mixed analog/digital systems,” in European Design Automation Conference, 1996, p. 568. [Online]. Available: http://portal.acm.org/citation.cfm?id=252564.

[200]

C. Grimm, P. Oehler, and K. Waldschmidt, “Eine Zwischendarstellung zum Entwurf hybrider Systeme durch Kopplung verschiedener Konstruktionswerkzeuge,” in 7. E.I.S.-Workshop, 1995.

[201]

——, “Modellierung gemischt analog/digitaler Systeme zur Entwurfsunterst¸tzung,” in GI/ITG-Fachtagung Hardwarebeschreibungssprachen und Modellierungsparadigmen, Berlin, Frankfurt: VDE-Verlag, 1995.

[202]

S. K. Halgamuge, C. Grimm, and M. Glesner, “A sub bayesian nearest prototype neural network with fuzzy interpretability for diagnosis problems,” in Proceedings of the 1995 ACM symposium on applied computing, SAC’95, Nashville, TN, USA, February 26-28, 1995, 1995, pp. 445–449. doi: 10.1145/315891.316065. [Online]. Available: http://doi.acm.org/10.1145/315891.316065.

[203]

S. Halgamuge, C. Grimm, and M. Glesner, “A sub Bayesian nearest prototype neural network with fuzzy interpretability for diagnosis problems,” in Symposium on Applied Computing, 1995, p. 445. [Online]. Available: http://portal.acm.org/citation.cfm?id=316065.

[204]

P. Oehler, C. Grimm, and K. Waldschmidt, “Begriffshierarchien zur wissensbasierten Konstruktion von Filtern, mathematischen Operatoren und Wandlern,” in 7. E.I.S.-Workshop, 1995.

[205]

——, “Ein Konstruktionswerkzeug f¸r gemischt analog/digitale Systeme,” in GME - Fachtagung Mikroelektronik, Berlin, Frankfurt: VDE-Verlag, 1995.

[206]

——, “KANDIS—a tool for construction of mixed analog/digital systems,” in European Design Automation Conference, 1995. [Online]. Available: http://portal.acm.org/citation.cfm?id=224276.

[207]

S. Halgamuge, C. Grimm, and M. Glesner, “Fuzzy-Neural Clustering Methods for Real-Time Classification,” in European Conference on Fuzzy and Intelligent Technologies (EUFIT), Aachen, 1994.

[208]

S. Halgamuge, W. Poechmueller, C. Grimm, and M. Glesner, “Fuzzy interpretable dynamically developing neural networks with FPGA based implementation,” in Proceedings of the Fourth International Conference on Microelectronics for Neural Networks and Fuzzy Systems, IEEE Comput. Soc. Press, 1994, pp. 226–234, isbn: 0-8186-6710-9. doi: 10.1109/ICMNN.1994.593714. [Online]. Available: http://ieeexplore.ieee.org/xpl/freeabs%5C_all.jsp?arnumber=593714.