-
1
-
-
70449456418
-
Executable Models of Decision Making Organizations
-
William B. Rouse and Ken Boff, Eds, Wiley, NY
-
A. H. Levis, "Executable Models of Decision Making Organizations," in Organizational Simulation, William B. Rouse and Ken Boff, Eds., Wiley, NY, 2005.
-
(2005)
Organizational Simulation
-
-
Levis, A.H.1
-
2
-
-
37149041559
-
Techniques for Metamodel Composition
-
Portland, Oregon, October 22
-
Emerson M., and Sztipanovits J., "Techniques for Metamodel Composition," OOPSLA - 6th Workshop on Domain Specific Modeling, Portland, Oregon, October 22 2006, pp. 123-139.
-
(2006)
OOPSLA - 6th Workshop on Domain Specific Modeling
, pp. 123-139
-
-
Emerson, M.1
Sztipanovits, J.2
-
3
-
-
34547463624
-
Towards A Formal Foundation for Domain Specific Modeling Languages
-
Seoul, Korea October 22-25
-
Jackson, E., Sztipanovits, J., "Towards A Formal Foundation for Domain Specific Modeling Languages," Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT'05), Seoul, Korea October 22-25 2006, pp. 53-63.
-
(2006)
Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT'05)
, pp. 53-63
-
-
Jackson, E.1
Sztipanovits, J.2
-
4
-
-
70449454062
-
Formalizing the Structural Semantics of Domain-Specific Modeling Languages
-
SoSYM, to appear in
-
Jackson, E., Sztipanovits, J., "Formalizing the Structural Semantics of Domain-Specific Modeling Languages," Journal of Software and System Modeling (SoSYM), to appear in 2008.
-
(2008)
Journal of Software and System Modeling
-
-
Jackson, E.1
Sztipanovits, J.2
-
5
-
-
38049091049
-
Constructive Techniques for Meta- and Model-Level Reasoning
-
Proceedings of Models
-
Jackson, E., Sztipanovits, J., "Constructive Techniques for Meta- and Model-Level Reasoning," Proceedings of Models 2007, LNCS 4735, 405-419.
-
(2007)
LNCS
, vol.4735
, pp. 405-419
-
-
Jackson, E.1
Sztipanovits, J.2
-
6
-
-
23844447942
-
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
-
Karsai, G., Agarwal, A., Shi, F., Sprinkle, J.: On the Use of Graph Transformation in the Formal Specification of Model Interpreters, Journal of Universal Computer Science, Volume 9, Issue 11, 2003.
-
(2003)
Journal of Universal Computer Science
, vol.9
, Issue.11
-
-
Karsai, G.1
Agarwal, A.2
Shi, F.3
Sprinkle, J.4
-
7
-
-
33748302114
-
The Design of a Language for Model Transformations
-
September
-
Karsai, G., Aditya Agrawal, Zsolt Kalmar, Sandeep Neema, Feng Shi, Attila Vizhanyo: "The Design of a Language for Model Transformations", Journal on Software and Sys-tem Modeling pp. 261-288, Volume 5, Number 3 / September, 2006.
-
(2006)
Journal on Software and Sys-tem Modeling
, vol.5
, Issue.3
, pp. 261-288
-
-
Karsai, G.1
Agrawal, A.2
Kalmar, Z.3
Neema, S.4
Shi, F.5
Vizhanyo, A.6
-
8
-
-
70449459626
-
-
V. Y. Jin and A. H. Levis, Command and Control Experiment Design Using Dimensional Analysis, Proc. 1988 Symposium on C2 Research, Monterey CA, June 1988.
-
V. Y. Jin and A. H. Levis, "Command and Control Experiment Design Using Dimensional Analysis," Proc. 1988 Symposium on C2 Research, Monterey CA, June 1988.
-
-
-
-
9
-
-
70449400180
-
Rapid Synthesis HLA-Based Heterogeneous Simulation: A Model-Based Integration Approach
-
May
-
H. Neema, G. Hemingway, J, Green, B. W. Williams, J. Sztipanovits, G. Karsai: "Rapid Synthesis HLA-Based Heterogeneous Simulation: A Model-Based Integration Approach", ISIS Technical Report,May, 2008.
-
(2008)
ISIS Technical Report
-
-
Neema, H.1
Hemingway, G.2
Green, J.3
Williams, B.W.4
Sztipanovits, J.5
Karsai, G.6
-
10
-
-
43049160933
-
The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design
-
Munich, Germany
-
Karsai, G., Ledeczi, A., Neema, S., Sztipanovits, J.: The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design, IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany, 2006.
-
(2006)
IEEE Joint Conference CCA, ISIC and CACSD
-
-
Karsai, G.1
Ledeczi, A.2
Neema, S.3
Sztipanovits, J.4
-
11
-
-
84938724246
-
-
A. H. Levis, S. K. Kansal, A. E. Olmez, A. M. AbuSharekh: Computational models of Multi-national Organizations, in Social Computing, Behavioral Modeling and Prediction, H. Liu, J. L. Salerno and M. J. Young, Eds., Springer, 2008.
-
A. H. Levis, S. K. Kansal, A. E. Olmez, A. M. AbuSharekh: Computational models of Multi-national Organizations, in Social Computing, Behavioral Modeling and Prediction, H. Liu, J. L. Salerno and M. J. Young, Eds., Springer, 2008.
-
-
-
-
12
-
-
34548295249
-
Compositional Specification of Behavioral Semantics
-
Nice, France, April 20-25, Best Paper Award, Selected for The Most Influential Papers of 10 Years of DATE
-
K. Chen, J. Sztipanovits, S. Neema: "Compositional Specification of Behavioral Semantics," Proceedings of DATE 2007, pp. 906-912, Nice, France, April 20-25, 2007. (Best Paper Award, Selected for The Most Influential Papers of 10 Years of DATE)
-
(2007)
Proceedings of DATE 2007
, pp. 906-912
-
-
Chen, K.1
Sztipanovits, J.2
Neema, S.3
-
14
-
-
0345857308
-
Tool Integration Patterns
-
Helsinki, Finland, September
-
Karsai G., Lang A., Neema S.: Tool Integration Patterns, Workshop on Tool Integration in System Development, ESEC/FSE, pp 33-38., Helsinki, Finland, September, 2003.
-
(2003)
Workshop on Tool Integration in System Development, ESEC/FSE
, pp. 33-38
-
-
Karsai, G.1
Lang, A.2
Neema, S.3
-
15
-
-
0012259180
-
DEVS as a common denominator for multi-formalism hybrid systems modeling
-
Andras Varga, editor, Anchorage, Alaska, September
-
H. Vangheluwe, "DEVS as a common denominator for multi-formalism hybrid systems modeling", In Andras Varga, editor, IEEE International Symposium on Computer-Aided Control System Design. Anchorage, Alaska, September 2000, 129-134.
-
(2000)
IEEE International Symposium on Computer-Aided Control System Design
, pp. 129-134
-
-
Vangheluwe, H.1
-
16
-
-
0031331433
-
The Department Of Defense High Level Architecture
-
pp
-
J.S. Dahmann, R.M. Fujimoto, R.M. Weatherly, "The Department Of Defense High Level Architecture," ,pp.142-149, 1997 Winter Simulation Conference (WSC'97), 1997.
-
(1997)
1997 Winter Simulation Conference (WSC'97)
, pp. 142-149
-
-
Dahmann, J.S.1
Fujimoto, R.M.2
Weatherly, R.M.3
-
17
-
-
85094315796
-
An Experimentation Workbench for Replayable Networking Research
-
Cambridge, MA, April
-
E. Eide, L. Stoller, and J. Lepreau. "An Experimentation Workbench for Replayable Networking Research," In Proceedings of the Fourth USENIX Symposium on Networked Systems Design and Implementation (NSDI 2007), pages 215-228, Cambridge, MA, April 2007.
-
(2007)
Proceedings of the Fourth USENIX Symposium on Networked Systems Design and Implementation (NSDI
, pp. 215-228
-
-
Eide, E.1
Stoller, L.2
Lepreau, J.3
-
18
-
-
70449410550
-
-
C2WT Wiki, C2 Wind Tunnel Project Website, 2008
-
C2WT Wiki, C2 Wind Tunnel Project Website, https://wiki.isis.vanderbilt. edu/c2w/index.php/Main-Page, 2008.
-
-
-
|