Design tool chain for cyber-physical systems: lessons learned
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon Koutsoukos, Ethan Jackson
DAC '15 Proceedings of the 52nd Annual Design Automation Conference | June 2015
Ethan Jackson
Senior Director
论文与出版物
-
-
-
Automatically reasoning about metamodeling
Ethan Jackson, Tihamer Levendovszky, Daniel Balasubramanian
Software and System Modeling | February 2015
-
-
-
A model-integrated authoring environment for privacy policies
Andras Nadas, Tihamer Levendovszky, Ethan Jackson, Istvan Madari, Janos Sztipanovits
Science of Computer Programming | September 2014
-
A Module System for Domain-Specific Languages
July 2014, pp. 771-785
-
Logic Programming to Predict Cell Fate Patterns and Retrodict Genotypes during Organogenesis
Ben Hall, Ethan Jackson, Alex Hajnal, Jasmin Fisher
Royal Society Interface 11: 0140245 | June 2014
-
A bounded model checking tool for periodic sample-hold systems
Gabor Simko, Ethan Jackson
HSCC '14 Proceedings of the 17th international conference on Hybrid systems: computation and control | April 2014
-
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan Jackson
From Programs to Systems. The Systems perspective in Computing | 作者：Springer Berlin Heidelberg | 2014
-
-
-
Engineering domain-specific languages with formula 2.0
HILT '13 Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology | November 2013
-
FORMULA 2.0: A Language for Formal Specifications
Ethan Jackson, Wolfram Schulte
Unifying Theories of Programming and Formal Engineering Methods | August 2013
Unifying Theories of Programming and Formal Engineering Methods
-
P: Safe Asynchronous Event-Driven Programming
Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Damien Zufferey
Programming Languages Design and Implementation (PLDI) 2013 | June 2013
-
Diversely Enumerating System-Level Architectures
Ethan Jackson, Gabor Simko, Janos Sztipanovits,
MSR-TR-2013-56 | May 2013
-
Open-World Logic Programs: A New Foundation for Formal Specifications
Ethan Jackson, Wolfram Schulte, Nikolaj Bjørner
MSR-TR-2013-55 | May 2013
-
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems
Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan Jackson, Sandeep Neema, Janos Sztipanovits
2013 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS) | April 2013
-
-
-
P: Safe Asynchronous Event-Driven Programming
, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani,
MSR-TR-2012-116 | November 2012
-
Detecting Specification Errors in Declarative Languages with Constraints
Ethan Jackson, Wolfram Schulte, Nikolaj Bjørner
Model Driven Engineering Languages and Systems | September 2012
-
Cancer treatment planning: Formal methods to the rescue
Janos L. Mathe, Janos Sztipanovits, Mia Levy, Ethan Jackson, Wolfram Schulte
2012 4th International Workshop on Software Engineering in Health Care (SEHC) | May 2012
-
Understanding Specification Languages through Their Model Theory
Ethan Jackson, Wolfram Schulte
Large-Scale Complex IT Systems. Development, Operation and Management
Published by Springer Berlin Heidelberg | March 2012
-
-
-
Finding Models in Model-Based Development
Wolfram Schulte , Ethan Jackson
Model Driven Engineering Languages and Systems
Published by Springer Berlin Heidelberg | October 2011
-
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs
Ethan Jackson, Tihamer Levendovszky, Daniel Balasubramanian
MODELS 2011 | January 2011
MODELS 2011
-
-
-
An Approach for Effective Design Space Exploration
Eunsuk Kang, Ethan Jackson, Wolfram Schulte
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems | April 2010
-
Reusing Model Transformations While Preserving Properties
Ethan Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus. | March 2010
-
Components, platforms and possibilities: towards generic automation for MDA
Ethan Jackson, Markus Dahlweid, Dirk Seifert, Thomas Santen
EMSOFT | January 2010
ISBN: 978-1-60558-904-6
-
-
-
Lost in Translation: Forgetful Semantic Anchoring
Ethan Jackson, Daniel Balasubramanian
Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering | November 2009
-
Formalizing the structural semantics of domain-specific modeling languages
Ethan Jackson, Janos Sztipanovits
September 2009
-
Specifying and Composing Non-functional Requirements in Model-Based Development
Ethan Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte
Proceedings of the 8th International Conference on Software Composition | January 2009
-
-
-
Synthesis of Cloud Applications using Logic Programming: BAM!
Ethan Jackson, Wolfram Schulte, Daniel Lucrdio
作者：Microsoft Research, September 2008
-
Compositional Modeling for Data-Centric Business Applications
Ethan Jackson, Wolfram Schulte
Software Composition | January 2008
ISBN: 978-3-540-78788-4
-
Model Generation for Horn Logic with Stratified Negation
Ethan Jackson, Wolfram Schulte
Formal Techniques for Networked and Distributed Systems - FORTE 2008 | January 2008
Formal Techniques for Networked and Distributed Systems – FORTE 2008
ISBN: 978-3-540-68854-9
-
The Power of Rich Syntax for Model-based Development
Ethan Jackson, Wolfram Schulte
作者：Microsoft Research, January 2008
-
-
-
Constructive Techniques for Meta- and Model-Level Reasoning
Ethan Jackson, Janos Sztipanovits
Model Driven Engineering Languages and Systems | September 2007
-
-
-
Towards a formal foundation for domain specific modeling languages
Ethan Jackson, Janos Sztipanovits
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software | October 2006
-
Correct-ed through construction: a model-based approach to embedded systems reality
Ethan Jackson, Janos Sztipanovits
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on | April 2006
-
-
-
Semantic Anchoring with Model Transformations
Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan Jackson
Model Driven Architecture - Foundations and Applications | November 2005
-
Using separation of concerns for embedded systems design
Ethan Jackson, Janos Sztipanovits
EMSOFT '05 Proceedings of the 5th ACM international conference on Embedded software | September 2005
-
-
-
Canonical Regular Types
Ethan Jackson, Nikolaj Bjørner, Wolfram Schulte
ICLP | January 2001
-
-
-
Canonical Regular Types
Ethan Jackson, Nikolaj Bjørner, Wolfram Schulte
ICLP | January 2001
-
Design tool chain for cyber-physical systems: lessons learned
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon Koutsoukos, Ethan Jackson
DAC '15 Proceedings of the 52nd Annual Design Automation Conference | June 2015
-
Automatically reasoning about metamodeling
Ethan Jackson, Tihamer Levendovszky, Daniel Balasubramanian
Software and System Modeling | February 2015
-
A model-integrated authoring environment for privacy policies
Andras Nadas, Tihamer Levendovszky, Ethan Jackson, Istvan Madari, Janos Sztipanovits
Science of Computer Programming | September 2014
-
A Module System for Domain-Specific Languages
July 2014, pp. 771-785
-
A bounded model checking tool for periodic sample-hold systems
Gabor Simko, Ethan Jackson
HSCC '14 Proceedings of the 17th international conference on Hybrid systems: computation and control | April 2014
-
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan Jackson
From Programs to Systems. The Systems perspective in Computing | 作者：Springer Berlin Heidelberg | 2014
-
Engineering domain-specific languages with formula 2.0
HILT '13 Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology | November 2013
-
FORMULA 2.0: A Language for Formal Specifications
Ethan Jackson, Wolfram Schulte
Unifying Theories of Programming and Formal Engineering Methods | August 2013
Unifying Theories of Programming and Formal Engineering Methods
-
P: Safe Asynchronous Event-Driven Programming
Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Damien Zufferey
Programming Languages Design and Implementation (PLDI) 2013 | June 2013
-
Open-World Logic Programs: A New Foundation for Formal Specifications
Ethan Jackson, Wolfram Schulte, Nikolaj Bjørner
MSR-TR-2013-55 | May 2013
-
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems
Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan Jackson, Sandeep Neema, Janos Sztipanovits
2013 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS) | April 2013
-
P: Safe Asynchronous Event-Driven Programming
, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani,
MSR-TR-2012-116 | November 2012
-
Detecting Specification Errors in Declarative Languages with Constraints
Ethan Jackson, Wolfram Schulte, Nikolaj Bjørner
Model Driven Engineering Languages and Systems | September 2012
-
Understanding Specification Languages through Their Model Theory
Ethan Jackson, Wolfram Schulte
Large-Scale Complex IT Systems. Development, Operation and Management
Published by Springer Berlin Heidelberg | March 2012
-
Finding Models in Model-Based Development
Wolfram Schulte , Ethan Jackson
Model Driven Engineering Languages and Systems
Published by Springer Berlin Heidelberg | October 2011
-
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs
Ethan Jackson, Tihamer Levendovszky, Daniel Balasubramanian
MODELS 2011 | January 2011
MODELS 2011
-
An Approach for Effective Design Space Exploration
Eunsuk Kang, Ethan Jackson, Wolfram Schulte
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems | April 2010
-
Reusing Model Transformations While Preserving Properties
Ethan Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus. | March 2010
-
Components, platforms and possibilities: towards generic automation for MDA
Ethan Jackson, Markus Dahlweid, Dirk Seifert, Thomas Santen
EMSOFT | January 2010
ISBN: 978-1-60558-904-6
-
Lost in Translation: Forgetful Semantic Anchoring
Ethan Jackson, Daniel Balasubramanian
Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering | November 2009
-
Formalizing the structural semantics of domain-specific modeling languages
Ethan Jackson, Janos Sztipanovits
September 2009
-
Specifying and Composing Non-functional Requirements in Model-Based Development
Ethan Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte
Proceedings of the 8th International Conference on Software Composition | January 2009
-
Compositional Modeling for Data-Centric Business Applications
Ethan Jackson, Wolfram Schulte
Software Composition | January 2008
ISBN: 978-3-540-78788-4
-
Model Generation for Horn Logic with Stratified Negation
Ethan Jackson, Wolfram Schulte
Formal Techniques for Networked and Distributed Systems - FORTE 2008 | January 2008
Formal Techniques for Networked and Distributed Systems – FORTE 2008
ISBN: 978-3-540-68854-9
-
The Power of Rich Syntax for Model-based Development
Ethan Jackson, Wolfram Schulte
作者：Microsoft Research, January 2008
-
Constructive Techniques for Meta- and Model-Level Reasoning
Ethan Jackson, Janos Sztipanovits
Model Driven Engineering Languages and Systems | September 2007
-
Towards a formal foundation for domain specific modeling languages
Ethan Jackson, Janos Sztipanovits
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software | October 2006
-
Correct-ed through construction: a model-based approach to embedded systems reality
Ethan Jackson, Janos Sztipanovits
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on | April 2006
-
Semantic Anchoring with Model Transformations
Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan Jackson
Model Driven Architecture - Foundations and Applications | November 2005
-
Using separation of concerns for embedded systems design
Ethan Jackson, Janos Sztipanovits
EMSOFT '05 Proceedings of the 5th ACM international conference on Embedded software | September 2005
-
-
-
Logic Programming to Predict Cell Fate Patterns and Retrodict Genotypes during Organogenesis
Ben Hall, Ethan Jackson, Alex Hajnal, Jasmin Fisher
Royal Society Interface 11: 0140245 | June 2014
-
Cancer treatment planning: Formal methods to the rescue
Janos L. Mathe, Janos Sztipanovits, Mia Levy, Ethan Jackson, Wolfram Schulte
2012 4th International Workshop on Software Engineering in Health Care (SEHC) | May 2012
-
-
-
Logic Programming to Predict Cell Fate Patterns and Retrodict Genotypes during Organogenesis
Ben Hall, Ethan Jackson, Alex Hajnal, Jasmin Fisher
Royal Society Interface 11: 0140245 | June 2014
-
Diversely Enumerating System-Level Architectures
Ethan Jackson, Gabor Simko, Janos Sztipanovits,
MSR-TR-2013-56 | May 2013
-
-
-
Synthesis of Cloud Applications using Logic Programming: BAM!
Ethan Jackson, Wolfram Schulte, Daniel Lucrdio
作者：Microsoft Research, September 2008
-
-
-
Canonical Regular Types
Ethan Jackson, Nikolaj Bjørner, Wolfram Schulte
ICLP | January 2001
-
Design tool chain for cyber-physical systems: lessons learned
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon Koutsoukos, Ethan Jackson
DAC '15 Proceedings of the 52nd Annual Design Automation Conference | June 2015
-
A bounded model checking tool for periodic sample-hold systems
Gabor Simko, Ethan Jackson
HSCC '14 Proceedings of the 17th international conference on Hybrid systems: computation and control | April 2014
-
Engineering domain-specific languages with formula 2.0
HILT '13 Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology | November 2013
-
FORMULA 2.0: A Language for Formal Specifications
Ethan Jackson, Wolfram Schulte
Unifying Theories of Programming and Formal Engineering Methods | August 2013
Unifying Theories of Programming and Formal Engineering Methods
-
P: Safe Asynchronous Event-Driven Programming
Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Damien Zufferey
Programming Languages Design and Implementation (PLDI) 2013 | June 2013
-
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems
Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan Jackson, Sandeep Neema, Janos Sztipanovits
2013 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS) | April 2013
-
Detecting Specification Errors in Declarative Languages with Constraints
Ethan Jackson, Wolfram Schulte, Nikolaj Bjørner
Model Driven Engineering Languages and Systems | September 2012
-
Cancer treatment planning: Formal methods to the rescue
Janos L. Mathe, Janos Sztipanovits, Mia Levy, Ethan Jackson, Wolfram Schulte
2012 4th International Workshop on Software Engineering in Health Care (SEHC) | May 2012
-
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs
Ethan Jackson, Tihamer Levendovszky, Daniel Balasubramanian
MODELS 2011 | January 2011
MODELS 2011
-
Reusing Model Transformations While Preserving Properties
Ethan Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus. | March 2010
-
Components, platforms and possibilities: towards generic automation for MDA
Ethan Jackson, Markus Dahlweid, Dirk Seifert, Thomas Santen
EMSOFT | January 2010
ISBN: 978-1-60558-904-6
-
Lost in Translation: Forgetful Semantic Anchoring
Ethan Jackson, Daniel Balasubramanian
Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering | November 2009
-
Specifying and Composing Non-functional Requirements in Model-Based Development
Ethan Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte
Proceedings of the 8th International Conference on Software Composition | January 2009
-
Compositional Modeling for Data-Centric Business Applications
Ethan Jackson, Wolfram Schulte
Software Composition | January 2008
ISBN: 978-3-540-78788-4
-
Model Generation for Horn Logic with Stratified Negation
Ethan Jackson, Wolfram Schulte
Formal Techniques for Networked and Distributed Systems - FORTE 2008 | January 2008
Formal Techniques for Networked and Distributed Systems – FORTE 2008
ISBN: 978-3-540-68854-9
-
Constructive Techniques for Meta- and Model-Level Reasoning
Ethan Jackson, Janos Sztipanovits
Model Driven Engineering Languages and Systems | September 2007
-
Towards a formal foundation for domain specific modeling languages
Ethan Jackson, Janos Sztipanovits
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software | October 2006
-
Correct-ed through construction: a model-based approach to embedded systems reality
Ethan Jackson, Janos Sztipanovits
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on | April 2006
-
Semantic Anchoring with Model Transformations
Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan Jackson
Model Driven Architecture - Foundations and Applications | November 2005
-
Using separation of concerns for embedded systems design
Ethan Jackson, Janos Sztipanovits
EMSOFT '05 Proceedings of the 5th ACM international conference on Embedded software | September 2005
-
-
-
Automatically reasoning about metamodeling
Ethan Jackson, Tihamer Levendovszky, Daniel Balasubramanian
Software and System Modeling | February 2015
-
A model-integrated authoring environment for privacy policies
Andras Nadas, Tihamer Levendovszky, Ethan Jackson, Istvan Madari, Janos Sztipanovits
Science of Computer Programming | September 2014
-
A Module System for Domain-Specific Languages
July 2014, pp. 771-785
-
Logic Programming to Predict Cell Fate Patterns and Retrodict Genotypes during Organogenesis
Ben Hall, Ethan Jackson, Alex Hajnal, Jasmin Fisher
Royal Society Interface 11: 0140245 | June 2014
-
An Approach for Effective Design Space Exploration
Eunsuk Kang, Ethan Jackson, Wolfram Schulte
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems | April 2010
-
Formalizing the structural semantics of domain-specific modeling languages
Ethan Jackson, Janos Sztipanovits
September 2009
-
-
-
Understanding Specification Languages through Their Model Theory
Ethan Jackson, Wolfram Schulte
Large-Scale Complex IT Systems. Development, Operation and Management
Published by Springer Berlin Heidelberg | March 2012
-
Finding Models in Model-Based Development
Wolfram Schulte , Ethan Jackson
Model Driven Engineering Languages and Systems
Published by Springer Berlin Heidelberg | October 2011
-
-
-
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan Jackson
From Programs to Systems. The Systems perspective in Computing | 作者：Springer Berlin Heidelberg | 2014
-
-
-
Diversely Enumerating System-Level Architectures
Ethan Jackson, Gabor Simko, Janos Sztipanovits,
MSR-TR-2013-56 | May 2013
-
Open-World Logic Programs: A New Foundation for Formal Specifications
Ethan Jackson, Wolfram Schulte, Nikolaj Bjørner
MSR-TR-2013-55 | May 2013
-
P: Safe Asynchronous Event-Driven Programming
, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani,
MSR-TR-2012-116 | November 2012
-
-
-
Synthesis of Cloud Applications using Logic Programming: BAM!
Ethan Jackson, Wolfram Schulte, Daniel Lucrdio
作者：Microsoft Research, September 2008
-
The Power of Rich Syntax for Model-based Development
Ethan Jackson, Wolfram Schulte
作者：Microsoft Research, January 2008
-