The Structural Semantics of Model-based Design: Theory and Applications

[1]  John M. Rushby,et al.  An operational semantics for Stateflow , 2004, International Journal on Software Tools for Technology Transfer.

[2]  Edsger W. Dijkstra,et al.  The humble programmer , 1972, CACM.

[3]  Wolfram Schulte,et al.  The ABCs of specification: asml, behavior, and components , 2001, Informatica.

[4]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[5]  Thomas A. Henzinger,et al.  Interface Theories for Component-Based Design , 2001, EMSOFT.

[6]  Brian L. Evans,et al.  Real-time sonar beamforming on workstations using process networks and POSIX threads , 2000, IEEE Trans. Signal Process..

[7]  Sandeep Neema,et al.  Toward a semantic anchoring infrastructure for domain-specific modeling languages , 2005, EMSOFT.

[8]  Gabor Karsai,et al.  Software for Automotive Systems: Model-Integrated Computing , 2004, ASWSD.

[9]  Helmut Emmelmann,et al.  BEG: a generator for efficient back ends , 1989, PLDI '89.

[10]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.

[11]  Joseph Sifakis,et al.  Composition for component-based modeling , 2002, Sci. Comput. Program..

[12]  David Chan,et al.  Constructive Negation Based on the Completed Database , 1988, ICLP/SLP.

[13]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[14]  Dániel Varró,et al.  Termination Analysis of Model Transformations by Petri Nets , 2006, ICGT.

[15]  Ravishankar K. Iyer,et al.  A system model for dynamically reconfigurable software , 2003, IBM Syst. J..

[16]  R. Laddaga.  Creating robust software through self-adaptation , 1999, IEEE Intelligent Systems and their Applications.

[17]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[18]  Joseph Sifakis,et al.  The IF Toolset , 2004, SFM.

[19]  Wayne H. Wolf,et al.  Computers as components - principles of embedded computing system design , 2005 .

[20]  Yuri Gurevich,et al.  Evolving Algebras: an Attempt to Discover Semantics , 1993, Current Trends in Theoretical Computer Science.

[21]  Thomas A. Henzinger,et al.  A typed assembly language for real-time programs , 2004, EMSOFT '04.

[22]  Edward A. Lee.  Absolutely Positively on Time: What Would It Take? , 2005, Computer.

[23]  Dániel Varró,et al.  VIATRA - visual automated transformations for formal verification and validation of UML models , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[24]  Alfred V. Aho,et al.  Principles of Compiler Design (Addison-Wesley series in computer science and information processing) , 1977 .

[25]  S. Shankar Sastry,et al.  Scanning the issue - special issue on modeling and design of embedded software , 2003, Proceedings of the IEEE.

[26]  Stephen P. Boyd,et al.  Computational Tools for the Verification of Hybrid Systems , 2003 .

[27]  Thomas A. Henzinger,et al.  From control models to real-time code using Giotto , 2003 .

[28]  Edward A. Lee,et al.  A causality interface for deadlock analysis in dataflow , 2006, EMSOFT '06.

[29]  Luciano Lavagno,et al.  Embedded System Design using UML and Platforms , 2003 .

[30]  Hassan Aït-Kaci,et al.  Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .

[31]  Janos Sztipanovits,et al.  Constructive techniques for meta- and model-level reasoning , 2007, MODELS'07.

[32]  David Chan,et al.  An Extension of Constructive Negation and its Application in Coroutining , 1989, NACLP.

[33]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[34]  Jack Minker,et al.  Logic and Databases: A 20 Year Retrospective , 1996, Logic in Databases.

[35]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[36]  Edward A. Lee,et al.  Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains) , 2008 .

[37]  Roberto Passerone,et al.  A Platform-Based Taxonomy for ESL Design , 2006, IEEE Design & Test of Computers.

[38]  Alberto L. Sangiovanni-Vincentelli,et al.  Benefits and challenges for platform-based design , 2004, Proceedings. 41st Design Automation Conference, 2004..

[39]  Edward A. Lee,et al.  Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) , 2008 .

[40]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[41]  Edward A. Lee,et al.  Actor-oriented models for codesign: balancing re-use and performance , 2004 .

[42]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[43]  William F. Ogden,et al.  A helpful result for proving inherent ambiguity , 1968, Mathematical systems theory.

[44]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 2001, CSUR.

[45]  Edward A. Lee,et al.  A behavioral type system and its application in Ptolemy II , 2004, Formal Aspects of Computing.

[46]  Andrzej Pelc,et al.  The Wakeup Problem in Synchronous Broadcast Systems , 2000, SIAM J. Discret. Math..

[47]  W. P. Weijland.  Semantics for Logic Programs without Occur Check , 1988, ICALP.

[48]  Stephen R. Schach,et al.  Object-oriented and classical software engineering , 1995 .

[49]  Roberto Passerone,et al.  Modeling Techniques in Design-By-Refinement Methodologies , 2003 .

[50]  Edsger W. Dijkstra,et al.  Letters to the editor: go to statement considered harmful , 1968, CACM.

[51]  Edward A. Lee,et al.  Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..

[52]  C. A. R. Hoare,et al.  The verifying compiler: A grand challenge for computing research , 2003, JACM.

[53]  Edward A. Lee,et al.  Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing , 1989, IEEE Transactions on Computers.

[54]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[55]  Alberto L. Sangiovanni-Vincentelli,et al.  Interface-based design , 1997, DAC.

[56]  Reiko Heckel,et al.  Confluence of Typed Attributed Graph Transformation Systems , 2002, ICGT.

[57]  Reinhard Wilhelm,et al.  The influence of processor architecture on the design and the results of WCET tools , 2003, Proceedings of the IEEE.

[58]  Amy Butros,et al.  Research Paper: Giving Patients Access to Their Medical Records via the Internet: The PCASSO Experience , 2002, J. Am. Medical Informatics Assoc..

[59]  Friedrich L. Bauer,et al.  Sequential formula translation , 1960, CACM.

[60]  Luciano Lavagno,et al.  Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.

[61]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[62]  Janos Sztipanovits,et al.  Using separation of concerns for embedded systems design , 2005, EMSOFT.

[63]  Edward A. Lee.  The problem with threads , 2006, Computer.

[64]  Egon Börger,et al.  Java and the Java Virtual Machine: Definition, Verification, Validation , 2001 .

[65]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[66]  Allen Newell,et al.  High-speed implementations of rule-based systems , 1989, TOCS.

[67]  Jens Palsberg,et al.  Generating Action Compilers by Partial Evaluation , 1996, J. Funct. Program..

[68]  Hartmut Ehrig,et al.  Fundamental Theory for Typed Attributed Graph Transformation , 2004, ICGT.

[69]  Thomas Kühne,et al.  Matters of (Meta-) Modeling , 2006, Software & Systems Modeling.

[70]  Gabor Karsai,et al.  Domain model translation using graph transformations , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[71]  Matthew J. Emerson,et al.  Techniques for Metamodel Composition , 2006 .

[72]  Grégoire Hamon,et al.  A denotational semantics for stateflow , 2005, EMSOFT.

[73]  Lothar Thiele,et al.  Real-time interfaces for composing real-time systems , 2006, EMSOFT '06.

[74]  Gabor Karsai,et al.  Applying a Model Transformation Taxonomy to Graph Transformation Technology , 2006, GRaMoT@GPCE.

[75]  Dexter Kozen.  Partial Automata and Finitely Generated Congruences: An Extension of Nerode’s Theorem , 1992 .

[76]  Martin Hopkins,et al.  Synergistic Processing in Cell's Multicore Architecture , 2006, IEEE Micro.

[77]  Lynn Andrea Stein,et al.  Challenging the Computational Metaphor: Implications for How We Think , 1999, Cybern. Syst..

[78]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1977, CACM.

[79]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[80]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[81]  Jean Bézivin,et al.  Towards a precise definition of the OMG/MDA framework , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[82]  Janos Sztipanovits,et al.  Towards a formal foundation for domain specific modeling languages , 2006, EMSOFT '06.

[83]  Gabor Karsai,et al.  On the Use of Graph Transformation in the Formal Specification of Model Interpreters , 2003, J. Univers. Comput. Sci..

[84]  Berthold Hoffmann,et al.  Hierarchical Graph Transformation , 2002, J. Comput. Syst. Sci..

[85]  Edward A. Lee,et al.  Dataflow process networks , 1995, Proc. IEEE.

[86]  E.A. Lee,et al.  Synchronous data flow , 1987, Proceedings of the IEEE.

[87]  Joseph Sifakis,et al.  Composition for component-based modeling , 2005, Sci. Comput. Program..