Search results for "correct-by-construction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Prashant Saxena, Noel Menezes, Pasquale Cocchini, Desmond Kirkpatrick	The scaling challenge: can correct-by-construction design help?	ISPD	2003	DBLP DOI BibTeX RDF	clocked repeaters, correct-by-construction design, design fabrics, post-RTL design, routing, interconnect, placement, logic synthesis, scaling, technology mapping, repeaters
40	Shaojie Wang, Sharad Malik	Synthesizing operating system based device drivers in embedded systems.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	embedded system software, operating system based software synthesis, device driver, correct-by-construction
35	Trinh Le Khanh	Design of Correct-by-Construction Self-adaptive Cloud Applications using Formal Methods. (Conception d'applications Cloud Auto-adaptatives Correct-by- Construction à l'aide de Méthodes Formelles).		2023	RDF
35	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Composing heterogeneous reactive systems.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	correct-by-construction design, reactive systems, Compositionality, models of computation, GALS
35	James L. Caldwell	Moving Proofs-As-Programs into Practice.	ASE	1997	DBLP DOI BibTeX RDF	proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications
29	Abdoulaye Gamatié, Thierry Gautier	The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	correct-by-construction design methodology, safety-critical domains, asynchronous mechanisms, multiclock, Signal language, Distributed embedded systems, formal validation, synchronous model
29	Dac C. Pham, Hans-Werner Anderson, Erwin Behnen, Mark Bolliger, Sanjay Gupta, H. Peter Hofstee, Paul E. Harvey, Charles R. Johns, James A. Kahle, Atsushi Kameyama, John M. Keaty, Bob Le, Sang Lee, Tuyen V. Nguyen, John G. Petrovick, Mydung Pham, Juergen Pille, Stephen D. Posluszny, Mack W. Riley, Joseph Verock, James D. Warnock, Steve Weitzel, Dieter F. Wendel	Key features of the design methodology enabling a multi-core SoC implementation of a first-generation CELL processor.	ASP-DAC	2006	DBLP DOI BibTeX RDF	64-bit Power Architecture, design dependency solution, digital thermal sensor, flexible IO, hardware content protection, high-performance latch, linear sensor, local clock buffer, multi-operating system, synergistic processor, real-time system, modularity, power management, Linux, multi-core, multi-threading, SOC, thermal management, design environment, CELL Processor, clock distribution, virtualization technology, SOI, correct-by-construction, re-use, design hierarchy
29	S. Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravi	A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems.	SIES	2007	DBLP DOI BibTeX RDF
23	David Z. Pan	Lithography friendly routing: from construct-by-correction to correct-by-construction.	SBCCI	2008	DBLP DOI BibTeX RDF	routing
23	Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms	Correct-by-construction microarchitectural pipelining.	ICCAD	2008	DBLP DOI BibTeX RDF
23	Sambuddha Bhattacharya, Nuttorn Jangkrajarng, Roy Hartono, C.-J. Richard Shi	Correct-by-construction layout-centric retargeting of large analog designs.	DAC	2004	DBLP DOI BibTeX RDF	analog integrated circuit design, analog layout automation, analog synthesis and optimization, layout symmetry
23	Guillaume Dupont	Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof. (Conception correcte par construction de systèmes hybrides basée sur le raffinement et la preuve).		2021	RDF
23	Thi-Kim-Dung Pham	Development of Correct-by-Construction Software using Product Lines. (Développement de logiciels corrects par construction à partir de lignes de produits).		2017	RDF
23	Guillaume Babin	A formal approach for correct-by-construction system substitution. (Une approche formelle pour la substitution correcte par construction de systèmes).		2017	RDF
23	Manamiary Bruno Andriamiarina	Développement d'algorithmes répartis corrects par construction. (Developing correct-by-construction distributed algorithms).		2015	RDF
23	Mohamad Jaber 0001	Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP. (Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP).		2010	RDF
17	Jin Yang 0006, Zhenkun Yang, Jeremy Casas, Sandip Ray	Correct-by-Construction Design of Custom Accelerator Microarchitectures.	IEEE Trans. Computers	2024	DBLP DOI BibTeX RDF
17	Omar Radwan, Yilin Zhang, Luca Geretti	Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods.	CoRR	2023	DBLP DOI BibTeX RDF
17	Thom S. Badings, Nils Jansen 0001, Licio Romao, Alessandro Abate	Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.	FMAS@iFM	2023	DBLP DOI BibTeX RDF
17	Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo 0002, Gerardo Schneider, Patrizio Pelliccione	Correct-by-Construction Design of Contextual Robotic Missions Using Contracts.	CoRR	2023	DBLP DOI BibTeX RDF
17	Jiang Liu, Han Su, Yunjun Bai, Bin Gu 0006, Bai Xue 0001, Mengfei Yang, Naijun Zhan	Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.	CoRR	2023	DBLP DOI BibTeX RDF
17	Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer	Flexible Correct-by-Construction Programming.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
17	Imen Tounsi, Abdessamad Saidi 0002, Mohamed Hadj Kacem, Ahmed Hadj Kacem	Internet of Things design patterns modeling proven correct by construction: Application to aged care solution.	Future Gener. Comput. Syst.	2023	DBLP DOI BibTeX RDF
17	Zhenkun Yang, Wen Wang, Jeremy Casas, Pasquale Cocchini, Jin Yang 0006	Towards A Correct-by-Construction FHE Model.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
17	Wouter Swierstra	A correct-by-construction conversion from lambda calculus to combinatory logic.	J. Funct. Program.	2023	DBLP DOI BibTeX RDF
17	Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet	A Correct by Construction Model for CBPS Systems Verification.	ISCC	2023	DBLP DOI BibTeX RDF
17	Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi 0001	Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.	AAAI	2023	DBLP DOI BibTeX RDF
17	Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates 0001	Towards a Correct-by-Construction Design of Integrated Modular Avionics.	FMCAD	2023	DBLP DOI BibTeX RDF
17	Imed Abbassi, Amel Mammar, Mohamed Graiet	A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration.	IEEE Trans. Serv. Comput.	2022	DBLP DOI BibTeX RDF
17	Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer	Traits for Correct-by-Construction Programming.	CoRR	2022	DBLP DOI BibTeX RDF
17	Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo 0002, Petros A. Ioannou	Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints.	CoRR	2022	DBLP DOI BibTeX RDF
17	Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer	Flexible Correct-by-Construction Programming.	CoRR	2022	DBLP DOI BibTeX RDF
17	Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek	Correct-by-Construction Runtime Enforcement in AI - A Survey.	CoRR	2022	DBLP DOI BibTeX RDF
17	Li-Yu Lin, James Goppert, Inseok Hwang 0002	Correct-by-Construction Control Design for Mixed-Invariant Systems in Lie Groups.	CoRR	2022	DBLP DOI BibTeX RDF
17	Tabea Bordis, Tobias Runge, David Schultz, Ina Schaefer	Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines.	J. Comput. Lang.	2022	DBLP DOI BibTeX RDF
17	Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer	Runtime Verification of Correct-by-Construction Driving Maneuvers.	ISoLA (1)	2022	DBLP DOI BibTeX RDF
17	Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo 0002, Petros A. Ioannou	Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints.	ACC	2022	DBLP DOI BibTeX RDF
17	Kwesi Rutledge, Necmiye Ozay	Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization.	HSCC	2022	DBLP DOI BibTeX RDF
17	Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek	Correct-by-Construction Runtime Enforcement in AI - A Survey.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
17	Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson	Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY.	The Logic of Software. A Tasting Menu of Formal Methods	2022	DBLP DOI BibTeX RDF
17	Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet	Correct-by-Construction Approach for Formal Verification of IoT Architecture.	KES	2022	DBLP DOI BibTeX RDF
17	Imen Tounsi, Najeh Khalfi, Abdessamad Saidi 0002, Mohamed Hadj Kacem	Modeling IoT Design Patterns Proven Correct by Construction.	ICOST	2022	DBLP DOI BibTeX RDF
17	Yixuan Wang 0001, Chao Huang 0015, Zhaoran Wang 0001, Zhilu Wang, Qi Zhu 0002	Design-while-verify: correct-by-construction control learning with verification in the loop.	DAC	2022	DBLP DOI BibTeX RDF
17	José Meseguer 0001	Building Correct-by-Construction Systems with Formal Patterns.	WADT	2022	DBLP DOI BibTeX RDF
17	Florian Rademacher	Correct-By-Construction Microservices with Model-Driven Engineering: The Case for Architectural Pattern Conformance Checking and Pattern-Conform Code Generation.	Microservices	2022	DBLP DOI BibTeX RDF
17	Meryem Afendi	A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B. (Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B).		2022	RDF
17	Savvas G. Loizou, Elon D. Rimon	Correct-by-Construction Navigation Functions with Application to Sensor Based Robot Navigation.	CoRR	2021	DBLP BibTeX RDF
17	Yixuan Wang 0001, Chao Huang 0015, Zhaoran Wang 0001, Zhilu Wang, Qi Zhu 0002	Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.	CoRR	2021	DBLP BibTeX RDF
17	Jedidiah McClurg	Correct-by-Construction Network Programming for Stateful Data-Planes.	SOSR	2021	DBLP DOI BibTeX RDF
17	Arjen Rouvoet	Correct by Construction Language Implementations.		2021	RDF
17	Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari	A Valid and Correct-by-Construction Formal Specification of RBAC.	Int. J. Inf. Secur. Priv.	2020	DBLP DOI BibTeX RDF
17	Tobias Ludwig 0002, Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz	Properties First - Correct-By-Construction RTL Design in System-Level Design Flows.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
17	Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay	Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis.	IEEE Trans. Control. Syst. Technol.	2020	DBLP DOI BibTeX RDF
17	Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo	Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
17	Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo	Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
17	Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur	Incremental correct-by-construction of distributed systems.	J. Comput. Lang.	2020	DBLP DOI BibTeX RDF
17	Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari	A correct-by-construction model for attribute-based access control.	Clust. Comput.	2020	DBLP DOI BibTeX RDF
17	Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu	Formalizing Correct-by-Construction Casper in Coq.	IEEE ICBC	2020	DBLP DOI BibTeX RDF
17	Meryem Afendi	A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B.	ABZ	2020	DBLP DOI BibTeX RDF
17	Si Liu 0003, Atul Sandur, José Meseguer 0001, Peter Csaba Ölveczky, Qi Wang 0017	Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs.	NFM	2020	DBLP DOI BibTeX RDF
17	Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, Adam Chlipala	Narcissus: correct-by-construction derivation of decoders and encoders from binary formats.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
17	Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen 0001, Jean Souyris, Philippe Baufreton, Amaury Graillat	Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware.	ACM Trans. Archit. Code Optim.	2019	DBLP DOI BibTeX RDF
17	Minghui Sun, Georgios Bakirtzis, Hassan Jafarzadeh, Cody H. Fleming	Correct-by-construction: a contract-based semi-automated requirement decomposition process.	CoRR	2019	DBLP BibTeX RDF
17	Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay	Correct-by-construction control synthesis for buck converters with event-triggered state measurement.	CoRR	2019	DBLP BibTeX RDF
17	Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska	Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture.	CoRR	2019	DBLP BibTeX RDF
17	Aniket Kulkarni	Correct By Construction Approach For Translation Of Stored Procedures To Java Code.	ISEC	2019	DBLP DOI BibTeX RDF
17	Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska	Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture.	CAVS	2019	DBLP DOI BibTeX RDF
17	Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay	Correct-by-construction control synthesis for buck converters with event-triggered state measurement.	ACC	2019	DBLP DOI BibTeX RDF
17	Haocheng Li, Gengjie Chen, Bentian Jiang, Jingsong Chen, Evangeline F. Y. Young	Dr. CU 2.0: A Scalable Detailed Routing Framework with Correct-by-Construction Design Rule Satisfaction.	ICCAD	2019	DBLP DOI BibTeX RDF
17	Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker 0001, Ralf Wimmer 0001, Leonore Winterer	Correct-by-construction policies for POMDPs.	SNR	2019	DBLP DOI BibTeX RDF
17	Si Liu 0003	Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude		2019	RDF
17	Ning Ge 0002, Arnaud Dieumegard, Eric Jenn, Laurent Voisin	Correct-by-construction specification to verified code.	J. Softw. Evol. Process.	2018	DBLP DOI BibTeX RDF
17	M. H. van Emden	Correct by construction.	CoRR	2018	DBLP BibTeX RDF
17		Correct by Construction Resource-based Process Composition.	CoRR	2018	DBLP BibTeX RDF
17	Petros Papapanagiotou, Jacques D. Fleuriot	Correct-by-construction Process Composition Using Classical Linear Logic Inference.	CoRR	2018	DBLP BibTeX RDF
17	Sorawit Suriyakarn, Clément Pit-Claudel, Benjamin Delaware, Adam Chlipala	Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats.	CoRR	2018	DBLP BibTeX RDF
17	Dominique Méry	Modelling by Patterns for Correct-by-Construction Process.	ISoLA (1)	2018	DBLP DOI BibTeX RDF
17	Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari	A Correct-by-Construction Model for Attribute-Based Access Control.	MEDI	2018	DBLP DOI BibTeX RDF
17	Andy Schürr	Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms.	Modellierung	2018	DBLP BibTeX RDF
17	Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera	An Internalist Approach to Correct-by-Construction Compilers.	PPDP	2018	DBLP DOI BibTeX RDF
17	Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee 0001, Oleg Sokolsky	Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.	SETTA	2018	DBLP DOI BibTeX RDF
17	Petros Papapanagiotou, Jacques D. Fleuriot	A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference.	LOPSTR	2018	DBLP DOI BibTeX RDF
17	Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor	Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks.	ICECCS	2018	DBLP DOI BibTeX RDF
17	Roland Speith	Correct-by-Construction Development of Dynamic Topology Control Algorithms.		2018	RDF
17	Emmanouela Stachtiari	Correct by construction model based design for systems and software		2018	RDF
17	Omar Hussien	Contributions toward Scalability of Correct-by-Construction Control Software Synthesis.		2018	RDF
17	Farah Zoubeyr, Yamine Aït Ameur, Meriem Ouederni, Abdelkamel Tari	A correct-by-construction model for asynchronously communicating systems.	Int. J. Softw. Tools Technol. Transf.	2017	DBLP DOI BibTeX RDF
17	Youssef El Bakouny, Tristan Crolard, Dani Mezher	A Coq-based synthesis of Scala programs which are correct-by-construction.	CoRR	2017	DBLP BibTeX RDF
17	Gang Chen 0024, Zhaodan Kong	Correct-by-Construction Approach for Self-Evolvable Robots.	CoRR	2017	DBLP BibTeX RDF
17	Michele Colledanchise, Richard M. Murray, Petter Ögren	Synthesis of correct-by-construction behavior trees.	IROS	2017	DBLP DOI BibTeX RDF
17	Faten Fakhfakh, Mohamed Tounsi 0001, Mohamed Mosbah 0001, Dominique Méry, Ahmed Hadj Kacem	A correct-by-construction approach for proving distributed algorithms in spanning trees.	ICIS	2017	DBLP DOI BibTeX RDF
17	Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay	Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis.	ACC	2017	DBLP DOI BibTeX RDF
17	Yuxiao Chen 0001, Huei Peng, Jessy W. Grizzle	Correct by construction design of autonomous vehicles through a barrier function method.	ACC	2017	DBLP DOI BibTeX RDF
17	Youssef El Bakouny, Tristan Crolard, Dani Mezher	A Coq-based synthesis of Scala programs which are correct-by-construction.	FTfJP@ECOOP	2017	DBLP DOI BibTeX RDF
17	Leonid Ryzhyk, Nikolaj S. Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese	Correct by Construction Networks Using Stepwise Refinement.	NSDI	2017	DBLP BibTeX RDF
17	Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe	Towards Correct-by-Construction Interrupt Routing on Real Hardware.	PLOS@SOSP	2017	DBLP DOI BibTeX RDF
17	Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen 0001, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada	Correct-by-Construction Adaptive Cruise Control: Two Approaches.	IEEE Trans. Control. Syst. Technol.	2016	DBLP DOI BibTeX RDF
17	Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale	Correct-by-construction model driven engineering composition operators.	Formal Aspects Comput.	2016	DBLP DOI BibTeX RDF
17	Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh 0001, Yamine Aït Ameur	Correct-by-Construction Evolution of Realisable Conversation Protocols.	MEDI	2016	DBLP DOI BibTeX RDF
17	Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem	A correct by construction approach for modeling and formalizing self-adaptive systems.	SNPD	2016	DBLP DOI BibTeX RDF