-
1
-
-
34547824056
-
Quo vadis SLD: Reasoning about trends and challenges of system-level design
-
March
-
Sangiovanni-Vincentelli, A. L., 2007. "Quo Vadis SLD: Reasoning about Trends and Challenges of System-Level Design". Proc. of the IEEE, 95(3), March, pp. 467-506.
-
(2007)
Proc. of the IEEE
, vol.95
, Issue.3
, pp. 467-506
-
-
Sangiovanni-Vincentelli, A.L.1
-
2
-
-
84155167285
-
Toward a science of cyber-physical system integration
-
Jan
-
Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., Antsaklis, P., Gupta, V., Goodwine, B., Baras, J., and Wang, S., 2012. "Toward a Science of Cyber-Physical System Integration". Proceedings of the IEEE, 100(1), Jan, pp. 29-44.
-
(2012)
Proceedings of the IEEE
, vol.100
, Issue.1
, pp. 29-44
-
-
Sztipanovits, J.1
Koutsoukos, X.2
Karsai, G.3
Kottenstette, N.4
Antsaklis, P.5
Gupta, V.6
Goodwine, B.7
Baras, J.8
Wang, S.9
-
3
-
-
0242527742
-
Model-integrated development of embedded software
-
Jan
-
Karsai, G., Sztipanovits, J., Ledeczi, A., and Bapty, T., 2003. "Model-integrated development of embedded software". Proc. of the IEEE, 91(1), Jan, pp. 145-164.
-
(2003)
Proc. of the IEEE
, vol.91
, Issue.1
, pp. 145-164
-
-
Karsai, G.1
Sztipanovits, J.2
Ledeczi, A.3
Bapty, T.4
-
4
-
-
84884627467
-
Towards automated exploration and assembly of vehicle design models
-
Wrenn, R., Nagel, A., Owens, R., Yao, D., Neema, H., Shi, F., Smyth, K., Ceisel, J., van Buskirk, C., Porter, J., Bapty, T., Neema, S., Mavris, D., and Szipanovits, J., 2012. "Towards Automated Exploration and Assembly of Vehicle Design Models". In Proc. ASME International Design Engineering Technical Conf. & Computers and Information in Engineering Conf. (IDETC/CIE 2012).
-
(2012)
Proc. ASME International Design Engineering Technical Conf. & Computers and Information in Engineering Conf. (IDETC/CIE 2012)
-
-
Wrenn, R.1
Nagel, A.2
Owens, R.3
Yao, D.4
Neema, H.5
Shi, F.6
Smyth, K.7
Ceisel, J.8
Van Buskirk, C.9
Porter, J.10
Bapty, T.11
Neema, S.12
Mavris, D.13
Szipanovits, J.14
-
5
-
-
0003342780
-
The generic modeling environment
-
May
-
Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., IV, C. T., Nordstrom, G., Sprinkle, J., and Volgyesi, P., 2001. "The generic modeling environment". Workshop on Intelligent Signal Processing, May.
-
(2001)
Workshop on Intelligent Signal Processing
-
-
Ledeczi, A.1
Maroti, M.2
Bakay, A.3
Karsai, G.4
Garrett, J.5
Iv, C.T.6
Nordstrom, G.7
Sprinkle, J.8
Volgyesi, P.9
-
6
-
-
50649116875
-
The behavioral approach to open and interconnected systems
-
Dec
-
Willems, J., 2007. "The behavioral approach to open and interconnected systems". Control Systems, IEEE, 27(6), Dec, pp. 46 -99.
-
(2007)
Control Systems, IEEE
, vol.27
, Issue.6
, pp. 46-99
-
-
Willems, J.1
-
8
-
-
85123150221
-
Multidomain modeling with modelica
-
P. A. Fishwick, ed. Chapman & Hall/CRC, ch. 36
-
Otter, M., Elmqvist, H., and Mattsson, S. E., 2007. "Multidomain Modeling with Modelica". In Handbook of Dynamic System Modelling, P. A. Fishwick, ed. Chapman & Hall/CRC, ch. 36, pp. 361 - 3627.
-
(2007)
Handbook of Dynamic System Modelling
, pp. 361-3627
-
-
Otter, M.1
Elmqvist, H.2
Mattsson, S.E.3
-
9
-
-
43049159332
-
Control loop timing analysis using TrueTime and Jitterbug
-
Cervin, A., Arzen, K.-E., Henriksson, D., Lluesma Camps, M., Balbastre, P., Ripoll, I., and Crespo, A., 2006. "Control loop timing analysis using TrueTime and Jitterbug". In Proceedings of the 2006 IEEE Computer Aided Control Systems Design Symposium.
-
(2006)
Proceedings of the 2006 IEEE Computer Aided Control Systems Design Symposium
-
-
Cervin, A.1
Arzen, K.-E.2
Henriksson, D.3
Lluesma, C.M.4
Balbastre, P.5
Ripoll, I.6
Crespo, A.7
-
10
-
-
78650880826
-
Automated synthesis of time-Triggered architecture-based truetime models for platform effects simulation and analysis
-
Hemingway, G., Porter, J., Kottenstette, N., Nine, H., van- Buskirk, C., Karsai, G., and Sztipanovits, J., 2010. "Automated Synthesis of Time-Triggered Architecture-based TrueTime Models for Platform Effects Simulation and Analysis". In RSP '10: 21st IEEE Intl. Symp. on Rapid Systems Prototyping.
-
(2010)
RSP '10: 21st IEEE Intl. Symp. on Rapid Systems Prototyping
-
-
Hemingway, G.1
Porter, J.2
Kottenstette, N.3
Nine, H.4
Van Buskirk, C.5
Karsai, G.6
Sztipanovits, J.7
-
11
-
-
79960114622
-
-
Porter, J., Hemingway, G., Nine, H., vanBuskirk, C., Kottenstette, N., Karsai, G., and Sztipanovits, J., 2010. "The ESMoL Language and Tools for High-Confidence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis".
-
(2010)
The ESMoL Language and Tools for High-Confidence Distributed Control Systems Design Part 1: Language, Framework, and Analysis
-
-
Porter, J.1
Hemingway, G.2
Nine, H.3
VanBuskirk, C.4
Kottenstette, N.5
Karsai, G.6
Sztipanovits, J.7
-
12
-
-
0142156696
-
Constraint-based design-space exploration and model synthesis
-
R. Alur and I. Lee, eds. Vol. 2855 of Lecture Notes in Computer Science. Springer Berlin/Heidelberg
-
Neema, S., Sztipanovits, J., Karsai, G., and Butts, K., 2003. "Constraint-based design-space exploration and model synthesis". In Embedded Software, R. Alur and I. Lee, eds., Vol. 2855 of Lecture Notes in Computer Science. Springer Berlin/Heidelberg, pp. 290-305.
-
(2003)
Embedded Software
, pp. 290-305
-
-
Neema, S.1
Sztipanovits, J.2
Karsai, G.3
Butts, K.4
-
15
-
-
44449102254
-
CPM2: A Core model for product data
-
Fenves, S., Foufou, S., Bock, C., and Sriram, R., 2008. "CPM2: A Core Model for Product Data". Journal of Computing and Information Science in Engineering, 8(1).
-
(2008)
Journal of Computing and Information Science in Engineering
, vol.8
, Issue.1
-
-
Fenves, S.1
Foufou, S.2
Bock, C.3
Sriram, R.4
-
16
-
-
79952021334
-
Testing safety critical systems with SysML/UML
-
2010 15th IEEE International Conference on
-
Hause, M., Stuart, A., Richards, D., and Holt, J., 2010. "Testing Safety Critical Systems with SysML/UML". In Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on, pp. 325 -330.
-
(2010)
Engineering of Complex Computer Systems (ICECCS)
, pp. 325-330
-
-
Hause, M.1
Stuart, A.2
Richards, D.3
Holt, J.4
-
17
-
-
84877912373
-
An overview of the SysML-Modelica transformation specification
-
Paredis, C. J., Bernard, Y., Burkhart, R. M., de Koning, H.-P., Friedenthal, S., Fritzson, P., Rouquette, N. F., and Schamai, W., 2010. "An Overview of the SysML-Modelica Transformation Specification". In 2010 INCOSE International Symposium.
-
(2010)
2010 INCOSE International Symposium
-
-
Paredis, C.J.1
Bernard, Y.2
Burkhart, R.M.3
De Koning, H.-P.4
Friedenthal, S.5
Fritzson, P.6
Rouquette, N.F.7
Schamai, W.8
|