BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sztipanovits:Janos

Contributed to:

DAC 20152015
MoDELS 20132013
FM 20112011
DATE 20082008
DATE 20072007
MoDELS 20072007
ECMDA-FA 20052005
GPCE 20022002
PPDP 20022002
ICEIS 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.