Luc Engelen - RankMe

14 papers A 2B 2C 1Unranked 9

Year	Rank	Type	Title / Venue / Authors
2015	—	`conf`	A systematic approach for safety evidence collection in the safety-critical domain. SysCon Huan Lin, Ji Wu, Chunchun Yuan, Yaping Luo, Mark van den Brand, Luc Engelen
2014	C	`conf`	A Modeling Approach to Support Safety Assurance in the Automotive Domain. ICSEng Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers
2014	A	`conf`	From Conceptual Models to Safety Assurance. ER Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers
2014	—	`conf`	Metamodel Comparison and Model Comparison for Safety Assurance. SAFECOMP Workshops Yaping Luo, Luc Engelen, Mark van den Brand
2014	—	`conf`	REFINER: Towards Formal Verification of Model Transformations. NASA Formal Methods Anton Wijs, Luc Engelen
2014	—	`conf`	Towards Verified Java Code Generation from Concurrent State Machines. AMT@MoDELS Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs
2013	A	`conf`	Efficient Property Preservation Checking of Model Refinements. TACAS Anton Wijs, Luc Engelen
2013	B	`conf`	Extracting Models from ISO 26262 for Reusable Safety Assurance. ICSR Yaping Luo, Mark van den Brand, Luc Engelen, John M. Favaro, Martijn Klabbers, Giovanni Sartori
2012	—	`conf`	Reusable and Correct Endogenous Model Transformations. ICMT@TOOLS Suzana Andova, Mark G. J. van den Brand, Luc Engelen
2012	B	`conf`	VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow. ICECCS Istvan Nagy, Loek G. Cleophas, Mark van den Brand, Luc Engelen, Liviu Raulea, Ernest Xavier Lobo Mithun
2011	—	`conf`	Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models AMMSE Suzana Andova, Mark van den Brand, Luc Engelen
2010	—	`conf`	An exercise in iterative domain-specific language design. EVOL/IWPSE Marcel van Amstel, Mark van den Brand, Luc Engelen
2010	—	`conf`	The Third Rewrite Engines Competition. WRLA Francisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser
2009	—	`conf`	Integrating Textual and Graphical Modelling Languages. LDTA Luc Engelen, Mark van den Brand