Jean-Pierre Talpin - Concepedia

Author

Jean-Pierre Talpin

Institut national de recherche en sciences et technologies du numérique ORCID

Also Known As

Gautier, Thierry, J. P. Talpin, J.-P. Talpin, J.P. Talpin, Jean-Pierre Talpin, Jean-pierre Talpin, Jouvelot, Pierre, Talpin, J, P, Talpin, Jean-Pierre, Toyoshima, Masumi

265

Publications

2.8K

Citations

H-Index

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numérique Institut de Recherche en Informatique et Systèmes Aléatoires Centre Inria de l'Université de Rennes Centre National de la Recherche Scientifique Virginia Tech

About

Jean-Pierre Talpin is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	40	2K
2	Social Sciences	2	2	35
3	Behavioral Sciences	2	2	289
4	Language Studies	1	1	11
5	Management	1	1	12

Jean-Pierre Talpin

Publications

2.3K

Citations

H-Index

Page 1

	Year	Citations
Region-Based Memory Management Mads Tofte, Jean-Pierre Talpin Information and Computation EngineeringComputer EngineeringMemoryComputer ArchitectureComputer Science	1997	613
Implementation of the typed call-by-value λ-calculus using a stack of regions Mads Tofte, Jean-Pierre Talpin EngineeringAutomated ReasoningProgram AnalysisPolymorphism (Computer Science)Polymorphic Recursion	1994	333
POLYCHRONY for System Design Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann Journal of Circuits Systems and Computers Hardware ModelingEngineeringHardware Verification LanguageComputer ArchitectureSystem-level Design	2003	229
The Type and Effect Discipline Jean-Pierre Talpin, Pierre Jouvelot Information and Computation Methodological OrientationBehavioral SciencesBehavior ManagementEffect DisciplineEducational Psychology	1994	187
The type and effect discipline Jean-Pierre Talpin, Pierre Jouvelot Methodological OrientationEngineeringType GeneralizationEffect DisciplineType Theory	2003	102
From AADL to Timed Abstract State Machines: A verified model transformation Zhibin Yang, Kai Hu, Dianfu Ma, Journal of Systems and Software Abstract MachineVerified Model TransformationEngineeringAutomated ReasoningVerification	2014	49
SystemCXML: An Exstensible SystemC Front end Using XML. David Berner, Jean-Pierre Talpin, Hiren Patel, Forum on specification and Design Languages EngineeringSoftware EngineeringSystem-level DesignSoftware AnalysisXml Security	2005	35
Polychrony for formal refinement-checking in a system-level design methodology Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Hardware ModelingEngineeringHardware Verification LanguageVerificationComputer Architecture	2004	30
Polychronous controller synthesis from MARTE CCSL timing specifications Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, EngineeringVerificationSoftware EngineeringEmbedded SystemsUml Diagram	2011	30
Polychronous design of embedded real-time applications Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, ACM Transactions on Software Engineering and Methodology EngineeringReal-time System DesignComputer ArchitectureEmbedded Real-time SystemsEmbedded Systems	2007	29

Page 1