Reflections on Bernhard Steffen's Physics of Software Tools
暂无分享,去创建一个
[1] Daniel Jackson,et al. Lightweight Formal Methods , 2001, FME.
[2] Joseph Sifakis,et al. System Design in the Era of IoT - Meeting the Autonomy Challenge , 2018, MeTRiD@ETAPS.
[3] Hubert Garavel,et al. Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition , 2018, WRLA@ETAPS.
[4] Hubert Garavel,et al. OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing , 1998, TACAS.
[5] Fabrice Kordon,et al. MCC'2017 - The Seventh Model Checking Contest , 2018, Trans. Petri Nets Other Model. Concurr..
[6] Franco Mazzanti,et al. Towards formal methods diversity in railways: an experience report with seven frameworks , 2018, International Journal on Software Tools for Technology Transfer.
[7] Frédéric Lang,et al. SVL: A Scripting Language for Compositional Verification , 2001, FORTE.
[8] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[9] Bernhard Steffen,et al. CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools , 2018, International Journal on Software Tools for Technology Transfer.
[10] Hubert Garavel,et al. The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark , 2017, MARS@ETAPS.
[11] Tiziana Margaria,et al. The FMICS View on the Verified Software Repository , 2006, Trans. SDPS.
[12] Radu Mateescu,et al. Compiler Construction Using LOTOS NT , 2002, CC.
[13] Tiziana Margaria,et al. LTL Guided Planning: Revisiting Automatic Tool Composition in ETI , 2007, 31st IEEE Software Engineering Workshop (SEW 2007).
[14] Jim Woodcock,et al. The verified software repository: a step towards the verifying compiler , 2006, Formal Aspects of Computing.
[15] Shriram Krishnamurthi,et al. Artifact evaluation for software conferences , 2013, SIGP.
[16] Hubert Garavel,et al. Compilation of LOTOS Abstract Data Types , 1989, FORTE.
[17] Jan Friso Groote,et al. Parameterised boolean equation systems , 2005, Theor. Comput. Sci..
[18] Bernhard Steffen,et al. The physics of software tools: SWOT analysis and vision , 2017, International Journal on Software Tools for Technology Transfer.
[19] Kate Finney,et al. Mathematical Notation in Formal Specification: Too Difficult for the Masses? , 1996, IEEE Trans. Software Eng..
[20] Frédéric Lang,et al. From LOTOS to LNT , 2017, ModelEd, TestEd, TrustEd.
[21] Frédéric Lang,et al. Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous , 2017, J. Log. Algebraic Methods Program..
[22] Tiziana Margaria,et al. Integrating tools in the ETI platform , 1997, International Journal on Software Tools for Technology Transfer.
[23] Radu Mateescu,et al. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation , 2018, TACAS.
[24] Wang Yi,et al. Developing UPPAAL over 15 years , 2011, Softw. Pract. Exp..
[25] Tiziana Margaria,et al. jETI: A Tool for Remote Tool Integration , 2005, TACAS.
[26] Angelika Mader,et al. Verification of modal properties using Boolean equation systems , 1997 .
[27] Marc Renaudin,et al. Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits , 2018, 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
[28] Bernhard Steffen,et al. The Open-Source LearnLib - A Framework for Active Automata Learning , 2015, CAV.
[29] Tiziana Margaria,et al. The ETI Online Service in Action , 1999, TACAS.
[30] John Rushby,et al. Disappearing formal methods* , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).
[31] Rance Cleaveland,et al. Process Algebra and Model Checking , 2018, Handbook of Model Checking.
[32] Xiaowei Huang,et al. Reachability Analysis of Deep Neural Networks with Provable Guarantees , 2018, IJCAI.
[33] Tiziana Margaria,et al. Interacting with ETI: a user session , 1997, International Journal on Software Tools for Technology Transfer.
[34] Radu Mateescu,et al. CADP 2011: a toolbox for the construction and analysis of distributed processes , 2012, International Journal on Software Tools for Technology Transfer.
[35] Simon Bliudze,et al. Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design: Preface , 2018 .
[36] Tiziana Margaria,et al. Next Generation LearnLib , 2011, TACAS.
[37] Tiziana Margaria,et al. The Electronic Tool Integration platform: concepts and design , 1997, International Journal on Software Tools for Technology Transfer.
[38] Alfons Laarman,et al. LTSmin: High-Performance Language-Independent Model Checking , 2015, TACAS.
[39] C. H. West,et al. General technique for communications protocol validation , 1978 .
[40] Harry Rudin,et al. Automated Protocol Validation: One Chain of Development , 1978, Comput. Networks.
[41] Tiziana Margaria,et al. LearnLib: a framework for extrapolating behavioral models , 2009, International Journal on Software Tools for Technology Transfer.
[42] Xavier Leroy,et al. A Formally-Verified C Static Analyzer , 2015, POPL.
[43] Timothy Bourke,et al. A formally verified compiler for Lustre , 2017, PLDI.
[44] Muck van Weerdenburg,et al. An Account of Implementing Applicative Term Rewriting , 2007, WRS@FLoC.
[45] Holger Hermanns,et al. In the quantitative automata zoo , 2015, Sci. Comput. Program..
[46] Frédéric Lang,et al. Compositional Verification in Action , 2018, FMICS.
[47] Franco Mazzanti,et al. Ten Diverse Formal Models for a CBTC Automatic Train Supervision System , 2018, MARS/VPT@ETAPS.