Search results for "Correctness-by-Construction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
50	Matteo Bordin, Tullio Vardanega	Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile
34	James F. Davis	The affordable application of formal methods to software engineering.	SIGAda	2005	DBLP DOI BibTeX RDF	trust, correctness, proven, engineering, formal
29	Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller 0001, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump	Roadmap for enhanced languages and methods to aid verification.	GPCE	2006	DBLP DOI BibTeX RDF	verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction
29	Corrie Huijs	A Graph Rewriting Approach for Transformational Design of Digital Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design
23	Wei Song 0003, Xiaoxing Ma, S. C. Cheung 0001, Hao Hu 0001, Jian Lu 0001	Preserving Data Flow Correctness in Process Adaptation.	IEEE SCC	2010	DBLP DOI BibTeX RDF	Data Flow Correctness, BPEL, Correctness-by-Construction, Process Adaptation
23	Peter Dadam, Manfred Reichert	The ADEPT project: a decade of research and development for robust and flexible process support.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF	Process Flexibility, Robustness, Workflow Management, Business Process Management, Correctness by Construction, Process Change
23	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.	POPL	2006	DBLP DOI BibTeX RDF	subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction
23	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	Synchronization of periodic clocks.	EMSOFT	2005	DBLP DOI BibTeX RDF	high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction
23	John Teifel, Rajit Manohar	Highly pipelined asynchronous FPGAs.	FPGA	2004	DBLP DOI BibTeX RDF	concurrency, pipelining, asynchronous circuits, programmable logic, correctness by construction
23	Peter F. A. Middelhoek, Sreeranga P. Rajan	From VHDL to efficient and first-time-right designs: a formal approach.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF	CDFG, SFG, rapid system prototyping, VHDL, VHDL, design methodology, correctness by construction, transformational design
17	Anurudh Peduri, Ina Schaefer, Michael Walter	QbC: Quantum Correctness by Construction.	CoRR	2023	DBLP DOI BibTeX RDF
17	Baber Rehman	Correctness-by-Construction Meets Refinement Types.	FTfJP@ECOOP	2023	DBLP DOI BibTeX RDF
17	Tobias Runge	Correctness-by-Construction for Correct and Secure Software Systems. (PDF / PS)		2023	RDF
17	Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer	Traits: Correctness-by-Construction for Free.	FORTE	2022	DBLP DOI BibTeX RDF
17	Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer	VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction.	SEFM Workshops	2022	DBLP DOI BibTeX RDF
17	Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson	Tool Support for Correctness-by-Construction.	Software Engineering	2021	DBLP DOI BibTeX RDF
17	Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer	Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience.	FMTea	2021	DBLP DOI BibTeX RDF
17	Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson	Tutorial: The Correctness-by-Construction Approach to Programming Using CorC.	SecDev	2021	DBLP DOI BibTeX RDF
17	Annabelle McIver, Carroll Morgan	Correctness by construction for probabilistic programs.	CoRR	2020	DBLP BibTeX RDF
17	Alexander Knüppel, Tobias Runge, Ina Schaefer	Scaling Correctness-by-Construction.	ISoLA (1)	2020	DBLP DOI BibTeX RDF
17	Annabelle McIver, Carroll Morgan	Correctness by Construction for Probabilistic Programs.	ISoLA (1)	2020	DBLP DOI BibTeX RDF
17	Tabea Bordis, Tobias Runge, Ina Schaefer	Correctness-by-construction for feature-oriented software product lines.	GPCE	2020	DBLP DOI BibTeX RDF
17	Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer	Variational correctness-by-construction.	VaMoS	2020	DBLP DOI BibTeX RDF
17	Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson	Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study.	FM Workshops (2)	2019	DBLP DOI BibTeX RDF
17	Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson	Tool Support for Correctness-by-Construction.	FASE	2019	DBLP DOI BibTeX RDF
17	Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis	Early validation of system requirements and design through correctness-by-construction.	J. Syst. Softw.	2018	DBLP DOI BibTeX RDF
17	Cédric Eichler, Khalil Drira, Thierry Monteil 0001, Patricia Stolf	Correctness by construction and style preserving reconfigurations of system of systems.	SAC	2018	DBLP DOI BibTeX RDF
17	Cédric Eichler, Thierry Monteil 0001, Patricia Stolf, Luigi Alfredo Grieco, Khalil Drira	Enhanced graph rewriting systems for complex software domains - Dynamic software architecture, non-functional requirements, and correctness by construction.	Softw. Syst. Model.	2016	DBLP DOI BibTeX RDF
17	Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas	Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?	ISoLA (1)	2016	DBLP DOI BibTeX RDF
17	Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer	Correctness-by-Construction and Post-hoc Verification: Friends or Foes?	ISoLA (1)	2016	DBLP DOI BibTeX RDF
17	Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson	Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families.	ISoLA (1)	2016	DBLP DOI BibTeX RDF
17	Maurice H. ter Beek, Josep Carmona 0001, Jetty Kleijn	Communication and Compatibility in Systems of Systems: Correctness-by-Construction.	ERCIM News	2015	DBLP BibTeX RDF
17	Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas	Experience with correctness-by-construction.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
17	Vladimir Estivill-Castro, René Hexel	Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B.	Australian Software Engineering Conference	2014	DBLP DOI BibTeX RDF
17	Bruce W. Watson, Loek G. Cleophas, Derrick G. Kourie	Using Correctness-by-Construction to Derive Dead-zone Algorithms.	Stringology	2014	DBLP BibTeX RDF
17	Robert Hilbrich	How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the "Correctness by Construction" Principle.	Adv. Softw. Eng.	2012	DBLP DOI BibTeX RDF
17	Derrick G. Kourie, Bruce W. Watson	The Correctness-by-Construction Approach to Programming.		2012	DOI RDF
17	Bruce W. Watson	Correctness-by-Construction in Stringology.	Stringology	2012	DBLP BibTeX RDF
17	Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen	Synthesis-Based Variability Control: Correctness by Construction.	FMCO	2011	DBLP DOI BibTeX RDF
17	Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.)	Synthesis of Embedded Software - Frameworks and Methodologies for Correctness by Construction.		2010	DBLP DOI BibTeX RDF
17	Charles André, Julien DeAntoni, Frédéric Mallet, Robert de Simone	The Time Model of Logical Clocks Available in the OMG MARTE Profile.	Synthesis of Embedded Software	2010	DBLP DOI BibTeX RDF
17	Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, Mamoun Filali, Gérald Garcia, Julien Ouy, Marc Pantel, Ana-Elena Rugina, Martin Strecker, Jean-Pierre Talpin	Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.	Synthesis of Embedded Software	2010	DBLP DOI BibTeX RDF
17	Bijoy Antony Jose, Sandeep K. Shukla	MRICDF: A Polychronous Model for Embedded Software Synthesis.	Synthesis of Embedded Software	2010	DBLP DOI BibTeX RDF
17	Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel	From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations.	Synthesis of Embedded Software	2010	DBLP DOI BibTeX RDF
17	Julien Boucaron, Anthony Coadou, Robert de Simone	Formal Modeling of Embedded Systems with Explicit Schedules and Routes.	Synthesis of Embedded Software	2010	DBLP DOI BibTeX RDF
17	Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin	A Module Language for Typing SIGNAL Programs by Contracts.	Synthesis of Embedded Software	2010	DBLP DOI BibTeX RDF
17	Stephen A. Edwards, Nalini Vasudevan	Compiling SHIM.	Synthesis of Embedded Software	2010	DBLP DOI BibTeX RDF
17	Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin	Compilation of Polychronous Data Flow Equations.	Synthesis of Embedded Software	2010	DBLP DOI BibTeX RDF
17	Peter Dadam, Manfred Reichert, Stefanie Rinderle-Ma, Kevin Göser, Ulrich Kreher, Martin Jurisch	Von ADEPT zur AristaFlow BPM Suite - Eine Vision wird Realität : Correctness by Construction und flexible, robuste Ausführung von Unternehmensprozessen.	EMISA Forum	2009	DBLP BibTeX RDF
17	Rod Chapman	Correctness by construction: putting engineering (back) into software.	SIGAda	2007	DBLP DOI BibTeX RDF
17	Anthony Hall, Roderick Chapman	Correctness by Construction: Developing a Commercial Secure System.	IEEE Softw.	2002	DBLP DOI BibTeX RDF
17	Anthony Hall	Correctness by Construction: Integrating Formality into a Commercial Development Process.	FME	2002	DBLP DOI BibTeX RDF
17	Andrés Farías, Mario Südholt	On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction.	OTM	2002	DBLP DOI BibTeX RDF
17	Mila E. Majster-Cederbaum, Frank Salger	Correctness by Construction: Towards Verification in Hierarchical System Development.	SPIN	2000	DBLP DOI BibTeX RDF
17	Sany M. Leinwand	Logical correctness by construction.	DAC	1982	DBLP DOI BibTeX RDF
14	Ewen Denney, Bernd Fischer 0002	Certifiable Program Generation.	GPCE	2005	DBLP DOI BibTeX RDF
11	Shengchao Qin, Guanhua He	Linking Object-Z with Spec#.	ICECCS	2007	DBLP DOI BibTeX RDF	Spec#, pre/post conditions, verification, Formal specification, Object-Z
9	Wojciech Moczydlowski	Unifying Sets and Programs via Dependent Types.	LFCS	2009	DBLP DOI BibTeX RDF
9	Rod Chapman	MF1: security by construction.	SIGAda	2007	DBLP DOI BibTeX RDF
9	Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil	A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design.	MEMOCODE	2006	DBLP DOI BibTeX RDF
6	Gwenaël Delaval, Hervé Marchand, Éric Rutten	Contracts for modular discrete controller synthesis.	LCTES	2010	DBLP DOI BibTeX RDF	adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming
6	Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf	Compositional Service Trees.	Petri Nets	2009	DBLP DOI BibTeX RDF
6	Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser	Automatic device driver synthesis with termite.	SOSP	2009	DBLP DOI BibTeX RDF	domain-specific languages, device drivers, software synthesis, two-player games
6	Fuad Abujarad, Sandeep S. Kulkarni	Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
6	Daniela Cancila, Roberto Passerone	Functional and structural properties in the Model-Driven Engineering approach.	ETFA	2008	DBLP DOI BibTeX RDF
6	Tony Hoare	Science and Engineering: A Collusion of Cultures.	DSN	2007	DBLP DOI BibTeX RDF
6	Kung-Kiu Lau, Zheng Wang 0015	Verified component-based software in SPARK: experimental results for a missile guidance system.	SIGAda	2007	DBLP DOI BibTeX RDF	proof reuse, verified software, software components, SPARK
6	Daniel L. Rosenband, Arvind	Modular scheduling of guarded atomic actions.	DAC	2004	DBLP DOI BibTeX RDF	Design, Algorithms, Verification, Languages
6	Emmanuel Letier, Axel van Lamsweerde	Deriving operational software specifications from system goals.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	incremental specification, reasoning about partial models, patterns, goal-oriented requirements engineering, KAOS, operationalization, frame problem
6	Peter Amey	Closing the Loop: The Influence of Code Analysis on Design.	Ada-Europe	2002	DBLP DOI BibTeX RDF
6	Martin Croxford, James Sutton	Breaking Through the V and V Bottleneck.	Ada-Europe	1995	DBLP DOI BibTeX RDF