Travelled to:1 × France
1 × Ireland
1 × Portugal
2 × Germany
5 × USA
Collaborated with:G.Karsai E.K.Jackson S.Neema K.Chen ∅ S.Abdelwahed T.Bapty X.D.Koutsoukos G.Simko D.Lindecker T.Levendovszky A.Misra M.Moore Á.Lédeczi P.J.Mosterman D.Orofino A.A.Jerraya W.Kruijtzer V.Reyes C.G.Cassandras G.Martin
Talks about:system (6) model (5) semant (4) integr (4) physic (3) embed (3) cyber (3) composit (2) program (2) generat (2)
Person: Janos Sztipanovits
DBLP: Sztipanovits:Janos
Contributed to:
2015
2013
2011
200820072007
2005
2002
2002
1999Wrote 10 papers:
- DAC-2015-SztipanovitsBNK #cyber-physical #design #lessons learnt
- Design tool chain for cyber-physical systems: lessons learned (JS, TB, SN, XDK, EKJ), p. 6.
- MoDELS-2013-SimkoLLNS #component #composition #cyber-physical #integration #semantics #specification
- Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.
- FM-2011-Sztipanovits #integration #perspective #physics #semantics
- Model Integration and Cyber Physical Systems: A Semantics Perspective (JS), p. 1.
- DATE-2008-MostermanOSJKRCM #automation #embedded #functional #modelling
- Automatically Realising Embedded Systems from High-Level Functional Models (PJM, DO, JS, AAJ, WK, VR, CGC, GM).
- DATE-2007-ChenSN #behaviour #composition #semantics #specification
- Compositional specification of behavioral semantics (KC, JS, SN), pp. 906–911.
- MoDELS-2007-JacksonS #reasoning
- Constructive Techniques for Meta- and Model-Level Reasoning (EKJ, JS), pp. 405–419.
- ECMDA-FA-2005-0003SAJ #model transformation #semantics
- Semantic Anchoring with Model Transformations (KC, JS, SA, EKJ), pp. 115–129.
- GPCE-2002-SztipanovitsK #embedded #generative #programming
- Generative Programming for Embedded Systems (JS, GK), pp. 32–49.
- PPDP-2002-SztipanovitsK #embedded #generative #programming
- Generative programming for embedded systems (JS, GK), p. 180.
- ICEIS-1999-MisraSKML #enterprise #information management #integration #scalability #using
- Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing (AM, JS, GK, MM, ÁL), pp. 485–492.