Bridging formal models : an engineering perspective
暂无分享,去创建一个
[1] Alfred Horn,et al. On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.
[2] Jan Friso Groote,et al. Completeness of Timed mCRL , 2002, Fundam. Informaticae.
[3] van Mf Marcel Amstel,et al. Assessing and improving the quality of model transformations , 2012 .
[4] A. J. Markvoort. Towards hybrid molecular simulations , 2006 .
[5] Gürcan Gülesir,et al. Evolvable Behavior Specifications Using Context-Sensitive Wildcards , 2008 .
[6] Luca Aceto,et al. Termination, deadlock, and divergence , 1992, JACM.
[7] James C. Hoe,et al. Synthesis of operation-centric hardware descriptions , 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
[8] Karina R. Olmos Joffré. Strategies for Context Sensitive Program Transformation , 2009 .
[9] Marcel Kyas,et al. Verifying OCL specifications of UML models: tool support and compositionakity , 2006 .
[10] Alberto Verdejo,et al. Modular Structural Operational Semantics with Strategies , 2007, SOS@CONCUR.
[11] J. van den Berg,et al. Reasoning about Java programs in PVS using JML , 2009 .
[12] Matthew B. Dwyer,et al. Automated environment generation for software model checking , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
[13] Michel A. Reniers,et al. Transforming SOS Specifications to Linear Processes , 2011, FMICS.
[14] Aad Mathssen,et al. Logical Calculi for Reasoning with Binding , 2008 .
[15] Bhm Björn Bukkems,et al. Effective industrial modeling for high-tech systems: The Example of Happy Flow , 2007 .
[16] Tomas Krilavicius,et al. Hybrid Techniques for Hybrid Systems , 2006 .
[17] Ursula Goltz,et al. Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract) , 1989, MFCS.
[18] James C. Corbett,et al. Bandera: extracting finite-state models from Java source code , 2000, ICSE.
[19] Edmund M. Clarke,et al. Characterizing Correctness Properties of Parallel Programs Using Fixpoints , 1980, ICALP.
[20] Ka Lok Man,et al. Syntax and consistent equation semantics of hybrid Chi , 2006, J. Log. Algebraic Methods Program..
[21] Fpm Frank Stappers,et al. La modélisation multidisciplinaire : Etat d'avancements et attentes du projet néerlandais TWINS , 2009 .
[22] Miguel E. Andrés,et al. Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems , 2011, ArXiv.
[23] Alessandro Sperduti,et al. Mining Structured Data , 2010, IEEE Computational Intelligence Magazine.
[24] Gerard J. Holzmann,et al. From code to models , 2001, Proceedings Second International Conference on Application of Concurrency to System Design.
[25] Jan Friso Groote,et al. Dogfooding the Formal Semantics of mCRL2 , 2012, 2012 35th Annual IEEE Software Engineering Workshop.
[26] Tim K. Cocx,et al. Algorithmic tools for data-oriented law enforcement , 2009 .
[27] Mark van den Brand,et al. MDE Basics with a DSL Focus , 2012, SFM.
[28] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[29] Jan A. Bergstra,et al. Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time , 1997, Fundam. Informaticae.
[30] Magiel Bruntink,et al. Renovation of idiomatic crosscutting concerns in embedded systems , 2005 .
[31] Muck van Weerdenburg,et al. An Account of Implementing Applicative Term Rewriting , 2007, WRS@FLoC.
[32] Jos C. M. Baeten,et al. A Congruence Theorem for Structured Operational Semantics with Predicates , 1993, CONCUR.
[33] Ian F. Darwin. Checking C programs with lint , 1988 .
[34] R.S.S. O'Connor,et al. Incompleteness & completeness : formalizing logic and analysis in type theory , 2005 .
[35] Jan Friso Groote,et al. From µCRL to mCRL2: Motivation and Outline , 2006, Electron. Notes Theor. Comput. Sci..
[36] Peter Csaba Ölveczky,et al. Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude , 2010, FMOODS/FORTE.
[37] Julian Bradfield. Verifying Temporal Properties of Systems , 1992, Progress in Theoretical Computer Science.
[38] Emmanuele Zambon,et al. Towards optimal IT availability planning: methods and tools , 2011 .
[39] Laura Brandán Briones,et al. Theories for Model-based Testing: Real-time and Coverage , 2007 .
[40] E Elena Mumford,et al. Drawing graphs for cartographic applications , 2008 .
[41] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[42] Wan Fokkink,et al. Modelling Distributed Systems , 2010, Texts in Theoretical Computer Science. An EATCS Series.
[43] Ka Lok Man,et al. Formal specification and analysis of hybrid systems , 2006 .
[44] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[45] A. Church. A Set of Postulates for the Foundation of Logic , 1932 .
[46] C. J. Boogerd,et al. Focusing Automatic Code Inspections , 2010 .
[47] Carst Tankink,et al. Improving an interactive visualization of transition systems , 2008, SOFTVIS.
[48] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[49] Alberto Verdejo,et al. Executable structural operational semantics in Maude , 2006, J. Log. Algebraic Methods Program..
[50] J. Kwisthout,et al. The Computational Complexity of Probabilistic Networks , 2009 .
[51] Jan Friso Groote,et al. Analysis of a distributed system for lifting trucks , 2003, J. Log. Algebraic Methods Program..
[52] Mohammad Reza Mousavi,et al. Prototyping SOS Meta-theory in Maude , 2006, Electron. Notes Theor. Comput. Sci..
[53] Jordi Cabot,et al. Verification of UML/OCL Class Diagrams using Constraint Programming , 1899, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.
[54] Adrián Riesco,et al. A Natural Implementation of Plural Semantics in Maude , 2010, Electron. Notes Theor. Comput. Sci..
[55] Microcomputer Standards Subcommittee. IEEE standard for the Scheme programming language , 1991 .
[56] Arthur I. Baars,et al. Embedded Compilers , 2009 .
[57] M. J. de Mol,et al. Reasoning about functional programs : Sparkle, a proof assistant for Clean , 2009 .
[58] Jarke J. van Wijk,et al. Visual Analysis of Multivariate State Transition Graphs , 2006, IEEE Transactions on Visualization and Computer Graphics.
[59] Stephanie Kemper,et al. Modelling and analysis of real-time coordination patterns , 2011 .
[60] Adriaan Middelkoop,et al. Inference of Program Properties with Attribute Grammars, Revisited , 2012 .
[61] Elie Najm,et al. Reactive EFSMs - Reactive Promela/RSPIN , 1996, TACAS.
[62] Frits W. Vaandrager,et al. Turning SOS Rules into Equations , 1994, Inf. Comput..
[63] van Mj Muck Weerdenburg,et al. Efficient rewriting techniques , 2009 .
[64] Joerg Evermann,et al. Toward formalizing domain modeling semantics in language syntax , 2005, IEEE Transactions on Software Engineering.
[65] N.J.M. van den Nieuwelaar,et al. Supervisory machine control by predictive-reactive scheduling , 2004 .
[66] Young-Joo Moon,et al. Stochastic models for quality of service of component connectors , 2011 .
[67] John H. Reppy. Concurrent ML: Design, Application and Semantics , 1993, Functional Programming, Concurrency, Simulation and Automated Reasoning.
[68] Tom Staijen,et al. Graph-based Specification and Verification for Aspect-Oriented Languages , 2010 .
[69] Jos C. M. Baeten,et al. Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) , 2004, SFM.
[70] M. T. de Berg,et al. Algorithms for Fat Objects: Decompositions and Applications , 2004 .
[71] Michel A. Reniers,et al. Multidisciplinary modelling: Current status and expectations in the Dutch TWINS consortium , 2008 .
[72] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[73] Bastiaan Stephan Graaf,et al. Model-Driven Evolution of Software Architectures , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).
[74] Michel A. Reniers,et al. Formalizing a Domain Specific Language Using SOS: An Industrial Case Study , 2011, SLE.
[75] Harmen Kastenberg. Graph-based software specification and verification , 2008 .
[76] Tim A. C. Willemse,et al. Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider , 2011, FSEN.
[77] M. T. de Berg,et al. Multi-functional geometric data structures , 2003 .
[78] Vashti Galpin,et al. A format for semantic equivalence comparison , 2003, Theor. Comput. Sci..
[79] Pieter H. Hartel,et al. LETOS – a lightweight execution tool for operational semantics , 1999, Softw. Pract. Exp..
[80] Jan Friso Groote,et al. Verification of Temporal Properties of Processes in a Setting with Data , 1998, AMAST.
[81] AJ Arjan Mooij,et al. Constructive formal methods and protocol standardization , 2006 .
[82] Sonja Georgievska,et al. Probability and hiding in concurrent processes , 2011 .
[83] Hossein Rahmani,et al. Analysis of protein-protein interaction networks by means of annotated graph mining algorithms , 2012 .
[84] C.-B. Breunesse. On JML: topics in tool-assisted verification of Java programs , 2006 .
[85] U Uzma Khadim,et al. Process algebras for hybrid systems : comparison and development , 2008 .
[86] Marcel Verhoef,et al. Modeling and validating distributed embedded real-time control systems , 2009 .
[87] J. Ketema,et al. Bohm-Like Trees for Rewriting , 2006 .
[88] Cfj Christian Lange,et al. Assessing and improving the quality of modeling : a series of empirical studies about the UML , 2007 .
[89] Robert Brijder,et al. Models of natural computation : gene assembly and membrane systems , 2008 .
[90] Tiziana Margaria,et al. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017 , 2001, International Journal on Software Tools for Technology Transfer.
[91] Trajce Dimkov,et al. Alignment of organizational security policies: Theory and Practice , 2012 .
[92] Demissie B. Aredo,et al. A Framework for Semantics of UML Sequence Diagrams in PVS , 2002, J. Univers. Comput. Sci..
[93] M Muhammad Atif,et al. Formal modeling and verification of distributed failure detectors , 2011 .
[94] T. van der Storm. Component-based configuration, integration and delivery , 2003 .
[95] Narciso Martí-Oliet,et al. The Maude System , 1999, RTA.
[96] Alberto Verdejo,et al. Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics , 2007, WRS@FLoC.
[97] Benoît Combemale,et al. Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification , 2009, J. Softw..
[98] Jasen Markovski,et al. Real and stochastic time in process algebras for performance evaluation , 2008 .
[99] Raluca Marin-Perianu,et al. Wireless Sensor Networks in Motion - Clustering Algorithms for Service Discovery and Provisioning , 2008 .
[100] Jan Friso Groote,et al. Analysis of distributed systems with mCRL2 , 2008 .
[101] Warren Harrison. Eating Your Own Dog Food , 2006, IEEE Softw..
[102] Marcin Czenko,et al. TuLiP : reshaping trust management , 2009 .
[103] Somayeh Malakuti Khah Olun Abadi. Event composition model: achieving naturalness in runtime enforcement , 2011 .
[104] Farhad Arbab,et al. Model Checking of Component Connectors , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).
[105] K. Tsirogiannis,et al. Analysis of flow and visibility on triangulated terrains , 2011 .
[106] Bahareh Badban,et al. Verification Techniques for Extensions of Equality Logic , 2006 .
[107] A. Morali,et al. IT architecture-based confidentiality risk assessment in networks of organizations , 2011 .
[108] Jan Friso Groote,et al. Proof Theory for µCRL: A Language for Processes with Data , 1993, Semantics of Specification Languages.
[109] Egon Börger,et al. High Level System Design and Analysis Using Abstract State Machines , 1998, FM-Trends.
[110] Christiano Braga,et al. Rewriting Logic as a Semantic Framework for Modular Structural Op-erational Semantics , 2001 .
[111] Jpm Jeroen Voeten,et al. Specification of reactive hardware/software systems : the method software/hardware engineering (SHE) , 1997 .
[112] Simona Orzan,et al. Invariants for Parameterised Boolean Equation Systems , 2008, Theor. Comput. Sci..
[113] Ling Cheung,et al. Reconciling nondeterministic and probabilistic choices , 2006 .
[114] Eu-Jin Goh,et al. Searching on Encrypted Data , 2003 .
[115] Jan Friso Groote,et al. Algebraic Process Verification , 2001, Handbook of Process Algebra.
[116] David W. Binkley,et al. Program slicing , 2008, 2008 Frontiers of Software Maintenance.
[117] A. Johannes Pretorius,et al. Verified Design of an Automated Parking Garage , 2006, FMICS/PDMC.
[118] Jan A. Bergstra,et al. Algebra of Communicating Processes with Abstraction , 1985, Theor. Comput. Sci..
[119] R. Boumen,et al. Integration and test plans for complex manufacturing systems , 2007 .
[120] Jan Wielemaker,et al. An Overview of the SWI-Prolog Programming Environment , 2003, WLPE.
[121] Martijn van Veelen,et al. Considerations on modeling for early detection of abnormalities in locally autonomous distributed systems , 2007 .
[122] van Pja Paul Tilburg. From computability to executability : a process-theoretic view on automata theory , 2011 .
[123] T. D. Vu,et al. Semantics and applications of process and program algebra , 2007 .
[124] G Giovanni Russello,et al. Separation and adaptation of concerns in a shared data space , 2006 .
[125] Walter W. Wilson. Implementation of Axiomatic Language , 2011, ICLP.
[126] Jan Friso Groote,et al. The Formal Specification Language mCRL2 , 2006, MMOSS.
[127] Patrick D. Terry,et al. Compilers and compiler generators : an introduction with C++ , 1997 .
[128] Jan Friso Groote,et al. Model-checking processes with data , 2005, Sci. Comput. Program..
[129] Jan Friso Groote,et al. Transition System Specifications with Negative Premises , 1993, Theor. Comput. Sci..
[130] Anton Wijs,et al. What to do next? Analysing and optimising system behaviour in time , 2007 .
[131] Dragan Bosnacki,et al. A Heuristic for Symmetry Reductions with Scalarsets , 2001, FME.
[132] Sebastiaan Gijsbert Marinus Cornelissen,et al. Evaluating Dynamic Analysis Techniques for Program Comprehension , 2009 .
[133] Mark van den Brand,et al. Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models , 2011, AMMSE.
[134] Jan Friso Groote,et al. The meaning of negative premises in transition system specifications , 1991, JACM.
[135] Murray Hill,et al. Lint, a C Program Checker , 1978 .
[136] Rance Cleaveland,et al. Priorities in process algebras , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[137] A. Rodriguez Yakushev,et al. Towards Getting Generic Programming Ready for Prime Time , 2009 .
[138] Jan Friso Groote,et al. Parameterised boolean equation systems , 2005, Theor. Comput. Sci..
[139] Hugo Jonker,et al. Security matters : privacy in voting and fairness in digital exchange , 2009 .
[140] Michel A. Reniers,et al. Verification of safety requirements for program code using data abstraction , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
[141] Oscar H. Ibarra,et al. On spiking neural P systems , 2006, Natural Computing.
[142] Eelco Dolstra,et al. The purely functional software deployment model , 2006 .
[143] D. A. Turner,et al. Miranda: A Non-Strict Functional language with Polymorphic Types , 1985, FPCA.
[144] D. E. Nadales Agut,et al. A Compositional Interchange Format for Hybrid Systems: Design and Implementation , 2012 .
[145] José Meseguer,et al. Mapping Modular SOS to Rewriting Logic , 2002, LOPSTR.
[146] Jan A. Bergstra,et al. Process Algebra for Synchronous Communication , 1984, Inf. Control..
[147] Martin R. Neuhäußer,et al. Model checking nondeterministic and randomly timed systems , 2010 .
[148] Martin Bravenboer,et al. Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates , 2003 .
[149] Johan Lilius,et al. Formalising UML State Machines for Model Checking , 1999, UML.
[150] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .
[151] Scw Bas Ploeger,et al. Improved verification methods for concurrent systems , 2009 .
[152] Tim A. C. Willemse,et al. Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems , 2011, Inf. Comput..
[153] Hasan Sözer,et al. Architecting Fault-Tolerant Software Systems , 2009 .
[154] Mohammed G. Khatib. MEMS-Based Storage Devices : Integration in Energy-Constrained Mobile Systems , 2009 .
[155] Jan Kofron. Checking software component behavior using behavior protocols and spin , 2007, SAC '07.
[156] van Mpwj Michiel Osch. Automated model-based testing of hybrid systems , 2009 .
[157] Wang Yi,et al. Formal Verification of UML Statecharts with Real-Time Extensions , 2002, FASE.
[158] Arjen van Weelden,et al. Putting Types To Good Use , 2007 .
[159] Flavio D. Garcia. Formal and Computational Cryptography: Protocols, Hashes and Commitments , 2008 .
[160] Elvinia Riccobene,et al. An ASM Semantics for UML Activity Diagrams , 2000, AMAST.
[161] Jan Friso Groote,et al. Experiences in developing the mCRL2 toolset , 2011, Softw. Pract. Exp..
[162] Karl-Heinz Buth,et al. Simulation of SOS Definitions with Term Rewriting Systems , 1994, ESOP.
[163] Rance Cleaveland,et al. A Front-End Generator for Verification Tools , 1995, TACAS.
[164] Peter D. Mosses,et al. Modular structural operational semantics , 2004, J. Log. Algebraic Methods Program..
[165] Robert de Simone,et al. Process Calculi, from Theory to Practice: Verification Tools , 1989, Automatic Verification Methods for Finite State Systems.
[166] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .
[167] Peter D. Mosses. Exploiting labels in Structural Operational Semantics , 2004, SAC '04.
[168] Simon L. Peyton Jones,et al. A semantics for imprecise exceptions , 1999, PLDI '99.
[169] Jan Friso Groote,et al. Formalizing process algebraic verifications in the calculus of constructions , 2005, Formal Aspects of Computing.
[170] Mari Antonius Cornelis Dekker,et al. Flexible Access Control for Dynamic Collaborative Environments , 2009 .
[171] Mohammad Mahdi Jaghoori,et al. Time At Your Service: Schedulability Analysis of Real-Time and Distributed Services , 2010 .
[172] Stephen J. Garland,et al. Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.
[173] M. Torabi Dashti,et al. Keeping Fairness Alive : Design and formal verification of optimistic fair exchange protocols , 2008 .
[174] Hans Tonino,et al. A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines , 1998, Workshop on Abstract State Machines.
[175] R.R.H. Schiffelers,et al. Relating Chi to hybrid automata , 2003, Proceedings of the 2003 Winter Simulation Conference, 2003..
[176] Marius Adrian Marin,et al. An Integrated System to Manage Crosscutting Concerns in Source Code , 2008 .
[177] Janos Sztipanovits,et al. Formalizing the structural semantics of domain-specific modeling languages , 2009, Software & Systems Modeling.
[178] Kab Kevin Verbeek. Algorithms for cartographic visualization , 2012 .
[179] A Adam Koprowski,et al. Termination of rewriting and its certification , 2004 .
[180] Alberto Verdejo,et al. Implementing CCS in Maude 2 , 2002, Electron. Notes Theor. Comput. Sci..
[181] R. Lathe. Phd by thesis , 1988, Nature.
[182] Christian Krause,et al. Reconfigurable Component Connectors , 2011 .
[183] M. G. van der Horst,et al. Scalable block processing algorithms , 2008 .
[184] Dmitri Jarnikov,et al. QoS framework for video streaming in home networks , 2007 .
[185] José Meseguer,et al. Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..
[186] Marko C. J. D. van Eekelen,et al. Analysis of a Session-Layer Protocol in mCRL2 , 2007, FMICS.
[187] Narciso Martí-Oliet,et al. Rewriting Logic as a Logical and Semantic Framework , 1996 .
[188] Tony Clark,et al. Object Modeling with the OCL: The Rationale behind the Object Constraint Language , 2002 .
[189] Simon L. Peyton Jones,et al. A history of Haskell: being lazy with class , 2007, HOPL.
[190] Delissen. Design and Validation of a Model-Driven Engineering Environment for the Specification and Transformation of T-ReCS models , 2011 .
[191] Luca Aceto,et al. Conservative Extension in Structural Operational Semantics , 1999, Bull. EATCS.
[192] Ichiro Hasuo,et al. Tracing Anonymity with Coalgebras , 2008 .
[193] Michael Weber,et al. An embeddable virtual machine for state space generation , 2007, International Journal on Software Tools for Technology Transfer.
[194] José Proença,et al. Synchronous Coordination of Distributed Components , 2011 .
[195] Ronald Middelkoop,et al. Capturing and exploiting abstract views of states in OO verification , 2011 .
[196] José Meseguer,et al. Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic , 2000, AMAST.
[197] Jarke J. van Wijk,et al. Bridging the Semantic Gap: Visualizing Transition Graphs with User-Defined Diagrams , 2007, IEEE Computer Graphics and Applications.
[198] Mark van den Brand,et al. An exercise in iterative domain-specific language design , 2010, IWPSE-EVOL '10.
[199] Jan Friso Groote,et al. Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study , 2009, FMCO.
[200] Jan Friso Groote,et al. µCRL: A Toolset for Analysing Algebraic Specifications , 2001, CAV.
[201] RH Rudolf Mak,et al. Design and performance analysis of data-independent stream processing systems , 2008 .
[202] Nikolay Kavaldjiev,et al. A run-time reconfigurable Network-on-Chip for streaming DSP applications , 2006 .
[203] Flemming Nielson,et al. Principles of Program Analysis , 1999, Springer Berlin Heidelberg.
[204] Ramon R. H. Schiffelers,et al. Foundations of a Compositional Interchange Format for Hybrid Systems , 2007, HSCC.
[205] Saeed Sedghi,et al. Towards Provably Secure Efficiently Searchable Encryption , 2012 .
[206] Fabio Gadducci,et al. A causal semantics for CCS via rewriting logic , 2002, Theor. Comput. Sci..
[207] Yanjing Wang,et al. Epistemic Modelling and Protocol Dynamics , 2010 .
[208] John Von Neumann,et al. Operational Semantics Applied to Model Driven Engineering , 2009 .
[209] Ileana Buhan,et al. Cryptographic keys from noisy data, theory and applications , 2008 .
[210] Jan Friso Groote,et al. Dogfooding the structural operational semantics of mCRL2 , 2011 .
[211] Tingting Han,et al. Diagnosis, Synthesis and Analysis of Probabilistic Models , 2009, Ausgezeichnete Informatikdissertationen.
[212] Juan Visente Guillen Scholten,et al. Mobile Channels for Exogenous Coordination of Distributed Systems: Semantics, Implementation and Composition , 2007 .
[213] Jens R. Calamé,et al. Testing reactive systems with data: enumerative methods and constraint solving , 2008 .
[214] de A. Bruin,et al. Service-oriented discovery of knowledge : foundations, implementations and applications , 2010 .
[215] Leslie Lamport,et al. Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.
[216] Jarke J. van Wijk,et al. Visualization of State Transition Graphs , 2001, INFOVIS.
[217] Martijn Warnier,et al. Language based security for Java and JML , 2006 .
[218] Jacobus E. Rooda,et al. Syntax and semantics of timed Chi , 2005 .
[219] Damiano Bolzoni,et al. Revisiting Anomaly-based Network Intrusion Detection Systems , 2009 .
[220] Sriram K. Rajamani,et al. Automatically validating temporal safety properties of interfaces , 2001, SPIN '01.
[221] Sjouke Mauw,et al. Language-driven system design , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.
[222] Bas Basten,et al. Ambiguity Detection for Programming Language Grammars , 2011 .
[223] Ncwm Niels Braspenning. Model-based integration and testing of high-tech multi-disciplinary systems , 2008 .
[224] Alberto Verdejo,et al. Building Tools for LOTOS Symbolic Semantics in Maude , 2002, FORTE.
[225] Guido Wachsmuth,et al. Using Grammarware Languages to Define Operational Semantics of Modelled Languages , 2009, TOOLS.
[226] Rance Cleaveland,et al. The NCSU Concurrency Workbench , 1996, CAV.
[227] Z Zvezdan Protic,et al. Configuration management for models : generic methods for model comparison and model co-evolution , 2011 .
[228] José Meseguer,et al. Modular Rewriting Semantics in Practice , 2004, WRLA.
[229] Wolfram Schulte,et al. Model Generation for Horn Logic with Stratified Negation , 2008, FORTE.
[230] B. J. Arnoldus,et al. An illumination of the template enigma : software code generation with templates , 2011 .
[231] Mark van den Brand,et al. Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? , 2008, ICMT@TOOLS.
[232] Karl-Heinz Buth,et al. Using SOS Definitions in Term Rewriting Proofs , 1992, Larch.
[233] EM Elena Bortnik,et al. Formal methods in support of SMC design , 2008 .
[234] Jan A. Bergstra,et al. Process Algebra with Backtracking , 1993, REX School/Symposium.
[235] Anthony M. Sloane,et al. Software Language Engineering , 2011, Lecture Notes in Computer Science.
[236] Wan Fokkink,et al. A Conservative Look at Operational Semantics with Variable Binding , 1998, Inf. Comput..
[237] Ricardo Corin,et al. Analysis Models for Security Protocols , 2006 .
[238] Luca Aceto,et al. Algebraic Properties for Free! , 2009, Bull. EATCS.
[239] Seyyed Hamed Hashemi,et al. Studies on verification of wireless sensor networks and abstraction learning for system inference , 2008 .
[240] J. K. Berendsen,et al. Abstraction, prices and probability in model checking timed automata , 2010 .
[241] M. D. Berg,et al. Optimal Geometric Data Structures , 2007 .
[242] Kim G. Larsen,et al. Compositional Verification of Probabilistic Processes , 1992, CONCUR.
[243] Jan Friso Groote,et al. SOS formats and meta-theory: 20 years after , 2007, Theor. Comput. Sci..
[244] Jean Bézivin,et al. Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs , 2006 .
[245] Pascal Durr,et al. Resource-based Verification for Robust Composition of Aspects , 2008 .
[246] Iris Loeb. Natural Deduction, Sharing By Presentation , 2007 .
[247] A. L. de Groot,et al. Practical Automaton proofs in PVS , 2000 .
[248] Cjf Cas Cremers. Scyther : semantics and verification of security protocols , 2006 .
[249] R. Bakhshi. Gossiping Models : Formal Analysis of Epidemic Protocols , 2011 .
[250] Tim K. Cocx,et al. Metrics and visualisation for crime analysis and genomics , 2005 .
[251] Joseph Sifakis,et al. D-Finder: A Tool for Compositional Deadlock Detection and Verification , 2009, CAV.
[252] Q. Hou,et al. Eindhoven University of Technology , 2018, The Grants Register 2019.
[253] Michel A. Reniers,et al. Type checking mCRL2 , 2011 .
[254] Jan Friso Groote,et al. The mCRL2 toolset , 2008 .
[255] Valentin Goranko,et al. Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..
[256] de Ism Ivo Jong. Integration and test strategies for complex manufacturing machines , 2008 .
[257] Leslie Lamport,et al. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.
[258] Stefan Edelkamp,et al. Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM , 2004, SPIN.
[259] Sandeep K. Shukla,et al. On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study , 2009, FM.
[260] Klaas Wijbrans,et al. Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System , 2008, FM.
[261] Sabine Kuske,et al. A Formal Semantics of UML State Machines Based on Structured Graph Transformation , 2001, UML.
[262] Mohammad Ali Abam. New data structures and algorithms for mobile data , 2007 .
[263] Dexter Kozen,et al. RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .
[264] Thomas Bäck,et al. Mixed-integer evolution strategies for parameter optimization and their applications to medical image analysis , 2005 .
[265] D. Costa. Formal models for component connectors , 2010 .
[266] Patrice Godefroid,et al. Model checking for programming languages using VeriSoft , 1997, POPL '97.
[267] Peter Verbaan,et al. The Computational Complexity of Evolving Systems , 2006 .
[268] Anton Wijs,et al. Silent steps in transition systems and Markov chains , 2007 .
[269] H. Hansen. Coalgebraic Modelling : Applications in Automata theory and Modal logic , 2009 .
[270] Dana S. Scott,et al. Outline of a Mathematical Theory of Computation , 1970 .
[271] Ramon R. H. Schiffelers,et al. New Concepts in the Abstract Format of the Compositional Interchange Format , 2009, ADHS.
[272] Jan Friso Groote,et al. Structured Operational Semantics and Bisimulation as a Congruence , 1992, Inf. Comput..
[273] Martijn Hendriks,et al. Model checking timed automata : techniques and applications , 2006 .
[274] Jens Palsberg,et al. Proceedings of the 15th international workshop on Model Checking Software , 2008 .
[275] Wolter Pieters,et al. La volonté machinale: understanding the electronic voting controversy , 2008 .
[276] Jan Friso Groote,et al. Linearization in parallel pCRL , 2000, J. Log. Algebraic Methods Program..
[277] Keith A. Bartlett,et al. A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.
[278] Sriram K. Rajamani,et al. Bebop: A Symbolic Model Checker for Boolean Programs , 2000, SPIN.
[279] D. Graaf,et al. Mining semi-structured data, theoretical and experimental aspects of pattern evaluation , 2008 .
[280] Reniers,et al. Multidisciplinary modelling in the Netherlands , 2008 .
[281] D. A. van Beek,et al. Syntax and formal semantics of Chi 2.0 , 2008 .
[282] Ivan S. Zapreev. Model checking Markov chains : techniques and tools , 2008 .
[283] Arie van Deursen,et al. The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment , 2001, LDTA@ETAPS.
[284] Erik P. de Vink,et al. Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice , 2001, MFCSIT.
[285] S. Jansamak,et al. Formalization of UML Statechart Models Using Concurrent Regular Expressions , 2004, ACSC.