Gérard Berry - RankMe

57 papers A* 11A 3B 3C 1Misc 5Journal 17Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Towards a Coq-verified Chain of Esterel Semantics. Leibniz Trans. Embed. Syst. Lionel Rieg, Gérard Berry
2024	—	`ch.`	The French School of Programming: A Personal View. The French School of Programming Gérard Berry
2020	A*	`conf`	HipHop.js: (A)Synchronous reactive web programming. PLDI Gérard Berry, Manuel Serrano
2019	J	`jnl`	Towards Coq-verified Esterel Semantics and Compiling. CoRR Gérard Berry, Lionel Rieg
2018	Misc	`conf`	Hiphop.js: a language to orchestrate web applications. SAC Colin Vidal, Gérard Berry, Manuel Serrano
2016	—	`conf`	Formally Unifying Modeling and Design for Embedded Systems - A Personal View. ISoLA (2) Gérard Berry
2014	Misc	`conf`	Hop and HipHop: Multitier Web Orchestration. ICDCIT Gérard Berry, Manuel Serrano
2013	J	`jnl`	Hop and HipHop : Multitier Web Orchestration. CoRR Gérard Berry, Manuel Serrano
2012	J	`jnl`	Constructive Boolean circuits and the exactness of timed ternary simulation. Formal Methods Syst. Des. Michael Mendler, Thomas R. Shiple, Gérard Berry
2012	J	`jnl`	Multitier Programming in Hop. ACM Queue Manuel Serrano, Gérard Berry
2012	J	`jnl`	Multitier programming in Hop. Commun. ACM Manuel Serrano, Gérard Berry
2011	Misc	`conf`	Challenges and potential solutions for complex embedded systems. EMSOFT Gérard Berry
2008	J	`jnl`	Advances in ESL Design. IEEE Des. Test Comput. Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer
2007	—	`conf`	Circuit design and verication with Esterel v7 and Esterel Studio. HLDVT Gérard Berry
2007	—	`book`	Compiling Esterel. Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry
2007	C	`conf`	Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. FMICS Gérard Berry
2005	B	`conf`	Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. FASE Gérard Berry
2004	B	`conf`	Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD Laurent Arditi, Gérard Berry, Michael Kishinevsky
2004	Misc	`conf`	Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems. VLSI Design Gérard Berry
2003	A	`conf`	System Level Design and Verification Using a Synchronous Language. ICCAD Gérard Berry, Michael Kishinevsky, Satnam Singh
2002	A*	`conf`	Formal verification methods: getting around the brick wall. DAC David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes
2002	—	`conf`	Top-level validation of system-on-chip in Esterel Studio. HLDVT Gérard Berry, Lionel Blanc, Amar Bouali, Jerome Dormoy
2001	A*	`ed.`	Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings CAV Gérard Berry, Hubert Comon, Alain Finkel
2001	—	`conf`	Multiclock Esterel. CHARME Gérard Berry, Ellen Sentovich
2001	A*	`conf`	Panel: The Next HDL: If C++ is the Answer, What was the Question? DAC Rajesh K. Gupta, Shishpal Rawat, Ingrid Verbauwhede, Gérard Berry, Ramesh Chandra, Daniel Gajski, Kris Konigsfeld, Patrick Schaumont
2001	Misc	`conf`	Synchronous Programming Techniques for Embedded Systems: Present and Future. EMSOFT Gérard Berry
2000	J	`jnl`	An Implementation of Constructive Synchronous Programs in POLIS. Formal Methods Syst. Des. Gérard Berry, Ellen Sentovich
2000	J	`jnl`	ESTEREL: a formal method applied to avionic software development. Sci. Comput. Program. Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone
2000	—	`conf`	The foundations of Esterel. Proof, Language, and Interaction Gérard Berry
1999	—	`conf`	Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract). CHARME Gérard Berry
1997	A*	`conf`	Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design. CAV Gérard Berry
1997	A*	`conf`	Efficient Latch Optimization Using Exclusive Sets. DAC Ellen Sentovich, Horia Toma, Gérard Berry
1997	A	`conf`	Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. TACAS Gérard Berry
1996	—	`conf`	Constructive Analysis of Cyclic Circuits. ED&TC Thomas R. Shiple, Gérard Berry, Hervé J. Touati
1996	—	`conf`	Constructive Semantics of Esterel: From Theory to Practice (Abstract). AMAST Gérard Berry
1996	A	`conf`	Latch optimization in circuits generated from high-level descriptions. ICCAD Ellen Sentovich, Horia Toma, Gérard Berry
1993	A*	`conf`	Communicating Reactive Processes. POPL Gérard Berry, S. Ramesh, R. K. Shyamasundar
1993	—	`conf`	Preemption in Concurrent Systems. FSTTCS Gérard Berry
1992	J	`jnl`	The Chemical Abstract Machine. Theor. Comput. Sci. Gérard Berry, Gérard Boudol
1992	J	`jnl`	The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program. Gérard Berry, Georges Gonthier
1992	—	`conf`	The Semantics of Pure Esterel. NATO ASI PDC Gérard Berry
1991	—	`conf`	Concurrent Abstract Machines (Abstract). TAPSOFT, Vol.2 Gérard Berry
1991	J	`jnl`	Incremental Development of an HDLC Entity in Esterel. Comput. Networks ISDN Syst. Gérard Berry, Georges Gonthier
1990	A*	`conf`	The Chemical Abstract Machine. POPL Gérard Berry, Gérard Boudol
1989	—	`conf`	Real Time Programming: Special Purpose or General Purpose Languages. IFIP Congress Gérard Berry
1986	J	`jnl`	From Regular Expressions to Deterministic Automata. Theor. Comput. Sci. Gérard Berry, Ravi Sethi
1984	—	`conf`	The ESTEREL Synchronous Programming Language and its Mathematical Semantics. Seminar on Concurrency Gérard Berry, Laurent Cosserat
1982	J	`jnl`	Sequential Algorithms on Concrete Data Structures. Theor. Comput. Sci. Gérard Berry, Pierre-Louis Curien
1981	—	`conf`	On the Definition of Lamda-Calculus Models. ICFPC Gérard Berry
1981	—	`conf`	Programming with concrete data structures and sequential algorithms. FPCA Gérard Berry
1979	B	`conf`	A Survey of Some Syntactic Results in the lambda-Calculus. MFCS Gérard Berry, Jean-Jacques Lévy
1979	J	`jnl`	Minimal and Optimal Computations of Recursive Programs. J. ACM Gérard Berry, Jean-Jacques Lévy
1978	A*	`conf`	Stable Models of Typed lambda-Calculi. ICALP Gérard Berry
1977	J	`jnl`	Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac. RAIRO Theor. Informatics Appl. Gérard Berry
1977	A*	`conf`	Minimal and Optimal Computations of Recursive Programs. POPL Gérard Berry, Jean-Jacques Lévy
1976	J	`jnl`	Bottom-Up Computation of Recursive Programs. RAIRO Theor. Informatics Appl. Gérard Berry
1976	A*	`conf`	Program Equivalence and Canonical Forms in Stable Discrete Interpretations. ICALP Gérard Berry, Bruno Courcelle