Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Kai Chen
First name
Kai
Last name
Chen
Chen, K., Sztipanovits, J., Neema, S., Emerson, M., & Abdelwahed, S
.
(2005)
.
Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages
.
In
Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05)
(p.
35--44
)
.
Jersey City, New Jersey
. (
Original work published
September)
View
Chen, K., Sztipanovits, J., & Abdelwahed, S
.
(2005)
.
A Semantic Unit for Timed Automata Based Modeling Languages
.
Institute for Software Integrated Systems
. (
Original work published
October)
View
Chen, K., Sztipanovits, J., Abdelwahed, S., & Jackson, E
.
(2005)
.
Semantic Anchoring with Model Transformations
.
In
European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA)
.
Nuremberg, Germany
. (
Original work published
November)
View
Chen, K., Sztipanovits, J., & Neema, S
.
(2006)
.
Compositional Specification of Behavioral Semantics
.
Institute for Software Integrated Systems
. (
Original work published
June)
View
Chen, K., Sztipanovits, J., & Abdelwahed, S
.
(2006)
.
A Semantic Unit for Timed Automata Based Modeling Languages
.
In
12th IEEE Real-Time and Embedded Technology and Applications Symposium
(p.
2--14
)
.
San Jose, CA
. (
Original work published
April)
View
Chen, K., Porter, J., Sztipanovits, J., & Neema, S
.
(2009)
.
Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages
.
International Journal Of Semantic Computing
,
3
,
31-56
. (
Original work published
March 2009)
View