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
Publications
Publications by Year
-
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 | Published by 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
Published by 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
Published by 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
Publications by Research Area
-
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 | Published by 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
Published by 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
Published by Microsoft Research, September 2008
Publications by Type
-
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 | Published by 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
Published by Microsoft Research, September 2008
The Power of Rich Syntax for Model-based Development
Ethan Jackson, Wolfram Schulte
Published by Microsoft Research, January 2008