Search results for "correct-by-construction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae	A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control.	NFM	2016	DBLP DOI BibTeX RDF
17	Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega	Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development.	Ada-Europe	2016	DBLP DOI BibTeX RDF
17	Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione	Efficient and Correct by Construction Assertion-Based Synthesis.	IEEE Trans. Very Large Scale Integr. Syst.	2015	DBLP DOI BibTeX RDF
17	Robert Mattila, Yilin Mo, Richard M. Murray	An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis.	CoRR	2015	DBLP BibTeX RDF
17	Thi-Kim-Zung Pham, Catherine Dubois, Nicole Lévy	Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules.	FMSPLE	2015	DBLP DOI BibTeX RDF
17	Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz	Architectural System Modeling for Correct-by-Construction RTL Design.	MBMV	2015	DBLP BibTeX RDF
17	Yancy Diaz-Mercado, Austin Jones, Calin Belta, Magnus Egerstedt	Correct-by-construction control synthesis for multi-robot mixing.	CDC	2015	DBLP DOI BibTeX RDF
17	Robert Mattila, Yilin Mo, Richard M. Murray	An iterative abstraction algorithm for reactive correct-by-construction controller synthesis.	CDC	2015	DBLP DOI BibTeX RDF
17	Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz	Architectural system modeling for correct-by-construction RTL design.	FDL	2015	DBLP DOI BibTeX RDF
17	Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem	A Verifiable and Correct-by-Construction Controller for Robots in Human Environments.	HRI (Extended Abstracts)	2015	DBLP DOI BibTeX RDF
17	Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo, Jeffrey Terrell, Steffen Zschaler	Correct-by-construction synthesis of model transformations using transformation patterns.	Softw. Syst. Model.	2014	DBLP DOI BibTeX RDF
17	Guillaume Babin	A formal approach for correct-by-construction system substitution.	CoRR	2014	DBLP BibTeX RDF
17	Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux	Correct-by-construction model composition: Application to the Invasive Software Composition method.	FESCA	2014	DBLP DOI BibTeX RDF
17	Oscar Mickelin, Necmiye Ozay, Richard M. Murray	Synthesis of correct-by-construction control protocols for hybrid systems using partial state information.	ACC	2014	DBLP DOI BibTeX RDF
17	Petter Nilsson, Omar Hussien, Yuxiao Chen 0001, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada	Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.	CDC	2014	DBLP DOI BibTeX RDF
17	Torsten Maehne, Zhi Wang 0005, Benoit Vernay, Liliana Andrade, Cédric Ben Aoun, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Arnaud Krust, Gerold Schropfer, Martin Barnasconi, Karsten Einwich, Fabio Cenni, Olivier Guillaume	UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context.	ICECS	2014	DBLP DOI BibTeX RDF
17	Petros Papapanagiotou, Jacques D. Fleuriot	Modelling and Implementation of Correct by Construction Healthcare Workflows.	Business Process Management Workshops	2014	DBLP DOI BibTeX RDF
17	Emmanouela Stachtiari, Nikos Vesyropoulos, George Kourouleas, Christos K. Georgiadis, Panagiotis Katsaros	Correct-by-Construction Web Service Architecture.	SOSE	2014	DBLP DOI BibTeX RDF
17	Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan	A Verifiable and Correct-by-Construction Controller for Robot Functional Levels.	CoRR	2013	DBLP BibTeX RDF
17	Songyan Xu, Ratnesh Kumar 0001, Alessandro Pinto	Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network.	IEEE Trans Autom. Sci. Eng.	2013	DBLP DOI BibTeX RDF
17	Gangyuan Jing, Rüdiger Ehlers, Hadas Kress-Gazit	Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments.	IROS	2013	DBLP DOI BibTeX RDF
17	Nils Anders Danielsson	Correct-by-construction pretty-printing.	DTP@ICFP	2013	DBLP DOI BibTeX RDF
17	Mahesh Nanjundappa, Matthew Kracht, Julien Ouy, Sandeep Kumar Shukla	A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications.	ACSD	2013	DBLP DOI BibTeX RDF
17	Elzbieta Roszkowska, Ida Góral	Correct-by-construction distributed control for multi-vehicle transport systems.	CASE	2013	DBLP DOI BibTeX RDF
17	Sébastien Guillet, Bruno Bouchard 0001, Abdenour Bouzouane	Correct by Construction Security Approach to Design Fault Tolerant Smart Homes for Disabled People.	EUSPN/ICTH	2013	DBLP DOI BibTeX RDF
17	Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem	Building Correct by Construction SOA Design Patterns: Modeling and Refinement.	ECSA	2013	DBLP DOI BibTeX RDF
17	Federico Ciccozzi	From models to code and back: correct-by-construction code from UML and ALF.	ICSE	2013	DBLP DOI BibTeX RDF
17	Roopak Sinha, Partha S. Roop, Zoran Salcic, Samik Basu 0001	Correct-by-construction multi-component SoC design.	DATE	2012	DBLP DOI BibTeX RDF
17	Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone	Integration of correct-by-construction BIP models into the MetroII design space exploration flow.	ICCD	2012	DBLP DOI BibTeX RDF
17	Vincent Rahli, Nicolas Schiper, Robbert van Renesse, Mark Bickford, Robert L. Constable	A diversified and correct-by-construction broadcast service.	ICNP	2012	DBLP DOI BibTeX RDF
17	Ralf Sasse, Samuel T. King, José Meseguer 0001, Shuo Tang	IBOS: A Correct-By-Construction Modular Browser.	FACS	2012	DBLP DOI BibTeX RDF
17	Federico Ciccozzi, Mikael Sjödin	Enhancing the generation of correct-by-construction code from design models for complex embedded systems.	ETFA	2012	DBLP DOI BibTeX RDF
17	Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa	Correct-by-construction code generation from hybrid automata specification.	IWCMC	2011	DBLP DOI BibTeX RDF
17	Federico Ciccozzi, Antonio Cicchetti, Mikael Krekola, Mikael Sjödin	Generation of correct-by-construction code from design models for embedded systems.	SIES	2011	DBLP DOI BibTeX RDF
17	Edwin C. Brady, Kevin Hammond	Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
17	Iman Poernomo, Jeffrey Terrell	Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq.	ICFEM	2010	DBLP DOI BibTeX RDF
17	Stefan Resmerita, Kenneth R. Butts, Patricia Derler, Andreas Naderlinger, Wolfgang Pree	Migration of Legacy Software Towards Correct-by-Construction Timing Behavior.	Monterey Workshop	2010	DBLP DOI BibTeX RDF
17	Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco	Correct-by-construction generation of device drivers based on RTL testbenches.	DATE	2009	DBLP DOI BibTeX RDF
17	Dumitru Potop-Butucaru, Benoît Caillaud	Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.	Fundam. Informaticae	2007	DBLP BibTeX RDF
17	Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff	Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development.	DATE	2005	DBLP DOI BibTeX RDF
17	Dumitru Potop-Butucaru, Benoît Caillaud	Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.	ACSD	2005	DBLP DOI BibTeX RDF
17	Stephen K. Sunter	Correct by construction is guaranteed to fail.	ITC	2005	DBLP DOI BibTeX RDF
17	Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.	EMSOFT	2003	DBLP DOI BibTeX RDF
17	Asuman Suenbuel	Correct by Construction Components Or: Would Nasreddin Use Components?	EUROMICRO	2003	DBLP DOI BibTeX RDF
17	Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli	A methodology for correct-by-construction latency insensitive design.	ICCAD	1999	DBLP DOI BibTeX RDF
17	James Caldwell	Decidability Extracted: Synthesizing "Correct-by-Construction" Decision Procedures form Constructive Proofs.		1998	RDF
17	Tadeusz Grabowiecki, Adam Pawlak, Wojciech Sakowski	A university framework for correct by construction IC design.	Microprocess. Microprogramming	1988	DBLP DOI BibTeX RDF
15	Gal Katz, Doron A. Peled	Model Checking-Based Genetic Programming with an Application to Mutual Exclusion.	TACAS	2008	DBLP DOI BibTeX RDF
15	Shiu-Kai Chin, Edward P. Stabler	Synthesis of arithmetic hardware using hardware metafunctions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
14	Ralph-Johan Back	Invariant based programming: basic approach and teaching experiences.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
14	Shengchao Qin, Guanhua He	Linking Object-Z with Spec#.	ICECCS	2007	DBLP DOI BibTeX RDF	Spec#, pre/post conditions, verification, Formal specification, Object-Z
12	Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli	Latency Insensitive Protocols.	CAV	1999	DBLP DOI BibTeX RDF
11	Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux	Use of formal methods for building qualified code generator for safer automotive systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	software engineering, formal verification, certification, automatic code generator, automotive systems
11	Nassima Izerrouken, Marc Pantel, Xavier Thirioux	Machine-Checked Sequencer for Critical Embedded Code Generator.	ICFEM	2009	DBLP DOI BibTeX RDF	block sequencing, software engineering, formal verification, automatic code generator, Coq proof assistant
11	Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin	On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.	MEMOCODE	2008	DBLP DOI BibTeX RDF
11	Ralph-Johan Back	Invariant Based Programming.	ICATPN	2006	DBLP DOI BibTeX RDF
11	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).	EMSOFT	2004	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, GALS
11	Wonjae L. Kang, Brad Potts, Ray Hokinson, John Riley, David Doman, Frank Cano, N. S. Nagaraj, Noel Durrant	Enabling DIR(Designing-In-Reliability) through CAD Capabilities.	ISQED	2000	DBLP DOI BibTeX RDF	SEMATECH, design-in-reliability, reliability, Design tools
11	Christian Creveuil, Gruia-Catalin Roman	Formal Specification and Designof a Message Router.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	formal methods, UNITY, program derivation, specification refinement
11	Joseph Sifakis	WPDRTS keynote: component-based construction of embedded systems.	IPDPS	2006	DBLP DOI BibTeX RDF
9	Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky	Speculation in elastic systems.	DAC	2009	DBLP DOI BibTeX RDF	elastic designs, protocols, synthesis, speculation
9	Cheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni	Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design.	MEMOCODE	2007	DBLP DOI BibTeX RDF
9	C. Seger	Integrating design and verification - from simple idea to practical system.	MEMOCODE	2006	DBLP DOI BibTeX RDF
9	Olivier Tardieu, Robert de Simone	Loops in esterel.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	static analysis, code generation, Synchronous languages
9	Kevin W. McCullen	Phase correct routing for alternating phase shift masks.	DAC	2004	DBLP DOI BibTeX RDF	resolution enhancement techniques (RET), routing, layout, lithography
9	Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli	Theory of latency-insensitive design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
9	Doran Wilde, Sanjay V. Rajopadhye	The naive execution of affine recurrence equations.	ASAP	1995	DBLP DOI BibTeX RDF	algorithmic languages, regular arrays, ALPHA language, computer aided design methodology, regular array architectures, algorithmic specification, imperative sequential language C, applicative caching, 1-dimensional storage, formal specification, circuit CAD, hardware description languages, nested loops, polyhedron, transformational approach, C-code, affine recurrence equations
9	Robi Dutta, Maurice Marks, Craig Morrissey, Ravi Rao, Lee Sapiro	A flexible hierarchical 3-D module assembler.	EURO-DAC	1990	DBLP DOI BibTeX RDF
8	Vasily Desnitsky, Igor V. Kotenko	Design of Entrusting Protocols for Software Protection.	IF&GIS	2009	DBLP DOI BibTeX RDF	Security protocol design, Remote entrusting, Protocol analysis and verification, Attacks, Software protection
8	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
8	Steve Roach, Jeffrey Van Baalen	Automated Procedure Construction for Deductive Synthesis.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	synthesis, procedures, deductive, decision, partial deduction
8	Steve Roach, Jeffrey Van Baalen	Experience Report on Automated Procedure Construction for Deductive Synthesis.	ASE	2002	DBLP DOI BibTeX RDF
6	Joachim Keinert, Martin Streubühr, Thomas Schlichter, Joachim Falk, Jens Gladigau, Christian Haubelt, Jürgen Teich, Michael Meredith	SystemCoDesigner - an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	System design, hardware/software codesign
6	Chen Kang Lo, Ren-Song Tsay	Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model.	ASP-DAC	2009	DBLP DOI BibTeX RDF
6	Jewgenij Botaschanjan, Alexander Harhurin	Integrating Functional and Architectural Views of Reactive Systems.	CBSE	2009	DBLP DOI BibTeX RDF
6	Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai	Integrated Formal Approach for Qualified Critical Embedded Code Generator.	FMICS	2009	DBLP DOI BibTeX RDF	formal verification, automatic code generator, qualification, Coq proof assistant
6	Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj S. Bjørner, Wolfram Schulte	Specifying and Composing Non-functional Requirements in Model-Based Development.	SC@TOOLS	2009	DBLP DOI BibTeX RDF
6	Xuening Sun, Pierluigi Nuzzo 0002, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli	Contract-based system-level composition of analog circuits.	DAC	2009	DBLP DOI BibTeX RDF	integration, composition, contract, system, analog, UWB, platform, platform-based design, radio-frequency, assume-guarantee
6	Andrzej J. Strojwas, Tejas Jhaveri, Vyacheslav Rovner, Lawrence T. Pileggi	Creating an affordable 22nm node using design-lithography co-optimization.	DAC	2009	DBLP DOI BibTeX RDF	design technology co-optimization, templates, DFM, regular fabric
6	Zhonghai Lu, Axel Jantsch	TDM Virtual-Circuit Configuration for Network-on-Chip.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
6	Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet	From Data to Events: Checking Properties on the Control of a System.	MEMOCODE	2008	DBLP DOI BibTeX RDF
6	Marcelo P. Fiore	Second-Order and Dependently-Sorted Abstract Syntax.	LICS	2008	DBLP DOI BibTeX RDF	second-order syntax, dependently-sorted syntax, alpha-equivalence, metavariable, meta-substitution, categorical algebra, substitution, abstract syntax, variable binding
6	Thierry Lecomte	Safe and Reliable Metro Platform Screen Doors Control/Command Systems.	FM	2008	DBLP DOI BibTeX RDF
6	Gal Katz, Doron A. Peled	Model Checking Driven Heuristic Search for Correct Programs.	MoChArt	2008	DBLP DOI BibTeX RDF
6	Himanshu Kaul, Jae-sun Seo, Mark A. Anders 0001, Dennis Sylvester, Ram Krishnamurthy 0001	A robust alternate repeater technique for high performance busses in the multi-core era.	ISCAS	2008	DBLP DOI BibTeX RDF
6	Minsik Cho, Kun Yuan, Yongchan Ban, David Z. Pan	ELIAD: efficient lithography aware detailed router with compact post-OPC printability prediction.	DAC	2008	DBLP DOI BibTeX RDF	routing, VLSI, manufacturability, OPC, lithography
6	Oscar Ljungkrantz, Knut Åkesson, Johan Richardsson, Kristin Andersson	Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers.	ICRA	2007	DBLP DOI BibTeX RDF
6	V. R. Devanathan, C. P. Ravikumar, V. Kamakoti 0001	Interactive presentation: On power-profiling and pattern generation for power-safe scan tests.	DATE	2007	DBLP DOI BibTeX RDF
6	Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer	Interactive presentation: Automatic hardware synthesis from specifications: a case study.	DATE	2007	DBLP DOI BibTeX RDF
6	Konstantinos Antonis, Nikos S. Voros	Applying formal methods for the design of wireless telecommunication systems.	MobiMedia	2007	DBLP DOI BibTeX RDF	B language, formal methods, hardware/software codesign, wireless systems
6	Zhonghai Lu, Axel Jantsch	Slot allocation using logical networks for TDM virtual-circuit configuration for network-on-chip.	ICCAD	2007	DBLP DOI BibTeX RDF
6	Robert L. Constable, Wojciech Moczydlowski	Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus.	LFCS	2007	DBLP DOI BibTeX RDF
6	Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux	Rewriting Approximations for Fast Prototyping of Static Analyzers.	RTA	2007	DBLP DOI BibTeX RDF
6	Paolo Zuliani	A Formal Derivation of Grover's Quantum Search Algorithm.	TASE	2007	DBLP DOI BibTeX RDF
6	Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste	Concurrency in Synchronous Systems.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Globally asynchronous locally synchronous (GALS), Concurrency, Synchronous, Distribution, Desynchronization, Trace theory
6	Jean-Pierre Talpin, Paul Le Guernic	An algebraic theory for behavioral modeling and protocol synthesis in system design.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	GALS design, Process algebra, Synchrony, Compositional modeling
6	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
6	Manuvir Das	Unleashing the Power of Static Analysis.	SAS	2006	DBLP DOI BibTeX RDF
6	Samarjit Chakraborty, Yanhong Liu, Nikolay Stoimenov, Lothar Thiele, Ernesto Wandeler	Interface-Based Rate Analysis of Embedded Systems.	RTSS	2006	DBLP DOI BibTeX RDF
6	Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli	Towards an architectural approach for the dynamic and automatic composition of software components.	ROSATEA	2006	DBLP DOI BibTeX RDF