Canonical Regular Types
Ethan Jackson, Nikolaj Bjørner, Wolfram Schulte
ICLP (Technical Communications) | January 2011
Publications
-
-
-
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
Publié par Microsoft Research, January 2008
-
-
-
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
Publié par 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
-
-
-
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
Publié par Microsoft Research, January 2008
-
Personne
Ethan Jackson
Senior Director
Nikolaj Bjørner
Partner Researcher
Laurent Bussard
Senior Software Engineer