Canonical Regular Types
Ethan Jackson, Nikolaj Bjørner, Wolfram Schulte
ICLP (Technical Communications) | January 2011
Publications
Publications by Year
-
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
The Power of Rich Syntax for Model-based Development
Ethan Jackson, Wolfram Schulte
Published by Microsoft Research, January 2008
Publications by Research Area
-
Canonical Regular Types
Ethan Jackson, Nikolaj Bjørner, Wolfram Schulte
ICLP (Technical Communications) | January 2011
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
The Power of Rich Syntax for Model-based Development
Ethan Jackson, Wolfram Schulte
Published by Microsoft Research, January 2008
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
Compositional Modeling for Data-Centric Business Applications
Ethan Jackson, Wolfram Schulte
Software Composition | January 2008
ISBN: 978-3-540-78788-4
Publications by Type
-
Canonical Regular Types
Ethan Jackson, Nikolaj Bjørner, Wolfram Schulte
ICLP (Technical Communications) | January 2011
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
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
Compositional Modeling for Data-Centric Business Applications
Ethan Jackson, Wolfram Schulte
Software Composition | January 2008
ISBN: 978-3-540-78788-4
-
The Power of Rich Syntax for Model-based Development
Ethan Jackson, Wolfram Schulte
Published by Microsoft Research, January 2008
People
Ethan Jackson
Senior Director
Nikolaj Bjørner
Partner Researcher
Laurent Bussard
Senior Software Engineer