Gera Weiss

Geciteerd door

	Alles	Sinds 2020
Citaties	1509	518
h-index	21	13
i10-index	37	18

140

105

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420258 7 9 8 11 26 34 30 71 106 102 81 112 91 76 101 93 100 128 85 103 85 17

Openbare toegang

Alles bekijken

4 artikelen

2 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

David HarelProfessor of Computer Science, The Weizmann InstituteGeverifieerd e-mailadres voor weizmann.ac.il
Achiya ElyasafAssistant Professor. Software and Information System Engineering Department, Ben-Gurion UniversityGeverifieerd e-mailadres voor bgu.ac.il
Guy KatzThe Hebrew University of JerusalemGeverifieerd e-mailadres voor cs.huji.ac.il
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaGeverifieerd e-mailadres voor seas.upenn.edu
Karl H. JohanssonEECS and Digital Futures, KTH Royal Institute of Technology, SwedenGeverifieerd e-mailadres voor kth.se
Alessandro D'InnocenzoAssociate Professor in Automatic Control, University of L'AquilaGeverifieerd e-mailadres voor univaq.it
Michael Bar-sinaiBen-Gurion University of the Negev; Institute of Quantitative Social Science at Harvard UniversityGeverifieerd e-mailadres voor cs.bgu.ac.il
Liat CohenPhD studentGeverifieerd e-mailadres voor post.bgu.ac.il
Hanoch EfraimGeverifieerd e-mailadres voor post.bgu.ac.il
Amir ShapiroMechanical Engineering, Ben Gurion University of the NegevGeverifieerd e-mailadres voor bgu.ac.il
Hillel KuglerBar-Ilan UniversityGeverifieerd e-mailadres voor biu.ac.il
Moshe Y. VardiRice UniversityGeverifieerd e-mailadres voor cs.rice.edu
Arnon SturmDepartment of Software and Information Systems Engineering, Ben-Gurion University of the NegevGeverifieerd e-mailadres voor bgu.ac.il
Tal GrinshpounAssociate Professor, Department of Industrial Engineering and Management, Ariel UniversityGeverifieerd e-mailadres voor ariel.ac.il
Aditya KanadeMicrosoft Research IndiaGeverifieerd e-mailadres voor microsoft.com
Oded MalerCNRS-VERIMAG, University of GrenobleGeverifieerd e-mailadres voor imag.fr
Alf J. IsakssonCorporate Research Fellow, ABBGeverifieerd e-mailadres voor se.abb.com
Moshe SchwartzElectrical and Computer Engineering, McMaster UniversityGeverifieerd e-mailadres voor mcmaster.ca
Madhukar AnandIntuitGeverifieerd e-mailadres voor intuit.com
Hadas LapidWeizmann Institute of ScienceGeverifieerd e-mailadres voor weizmann.ac.il

Volgen

Gera Weiss

Ben Gurion University of The Negev

Geverifieerd e-mailadres voor cs.bgu.ac.il - Homepage

Control Theory Formal Methods Software Engineering


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Behavioral programming D Harel, A Marron, G Weiss Communications of the ACM 55 (7), 90-100, 2012	185	2012
Compositional modeling and analysis of multi-hop control networks R Alur, A d'Innocenzo, KH Johansson, GJ Pappas, G Weiss IEEE Transactions on Automatic control 56 (10), 2345-2357, 2011	135	2011
Automata based interfaces for control and scheduling G Weiss, R Alur International workshop on hybrid systems: computation and control, 601-613, 2007	78	2007
Programming coordinated behavior in java D Harel, A Marron, G Weiss European conference on object-oriented programming, 250-274, 2010	73	2010
A decentralized approach for programming interactive applications with javascript and blockly A Marron, G Weiss, G Wiener Proceedings of the 2nd edition on Programming systems, languages and …, 2012	68	2012
Model-checking behavioral programs D Harel, R Lampert, A Marron, G Weiss Proceedings of the ninth ACM international conference on Embedded software …, 2011	60	2011
Regular specifications of resource requirements for embedded control software R Alur, G Weiss 2008 IEEE Real-Time and Embedded Technology and Applications Symposium, 159-168, 2008	58	2008
Modeling and analysis of multi-hop control networks R Alur, A D'Innocenzo, KH Johansson, GJ Pappas, G Weiss 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2009	54	2009
On composing and proving the correctness of reactive behavior D Harel, A Kantor, G Katz, A Marron, L Mizrahi, G Weiss 2013 Proceedings of the International Conference on Embedded Software …, 2013	39	2013
RTComposer: a framework for real-time components with scheduling interfaces R Alur, G Weiss Proceedings of the 8th ACM international conference on Embedded software …, 2008	38	2008
Ranking automata and games for prioritized requirements R Alur, A Kanade, G Weiss Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	37	2008
Quadrotor with a dihedral angle: on the effects of tilting the rotors inwards H Efraim, A Shapiro, G Weiss Journal of Intelligent & Robotic Systems 80, 313-324, 2015	36	2015
On omega-languages defined by mean-payoff conditions R Alur, A Degorre, O Maler, G Weiss Foundations of Software Science and Computational Structures: 12th …, 2009	35	2009
Non-intrusive repair of reactive programs D Harel, G Katz, A Marron, G Weiss 2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012	34	2012
Scalable scheduling algorithms for wireless networked control systems A D'Innocenzo, G Weiss, R Alur, AJ Isaksson, KH Johansson, GJ Pappas 2009 IEEE International Conference on Automation Science and Engineering …, 2009	32	2009
Behavioral programming, decentralized control, and multiple time scales D Harel, A Marron, G Wiener, G Weiss Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11 …, 2011	30	2011
Some methodological observations resulting from experience using LSCs and the play-in/play-out approach D Harel, H Kugler, G Weiss Scenarios: Models, Transformations and Tools: International Workshop …, 2005	29	2005
A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios A Ashrov, A Marron, G Weiss, G Wiener Science of Computer Programming 98, 268-292, 2015	27	2015
Non-intrusive repair of safety and liveness violations in reactive programs D Harel, G Katz, A Marron, G Weiss Transactions on Computational Collective Intelligence XVI, 1-33, 2014	27	2014
On the succinctness of idioms for concurrent programming D Harel, G Katz, R Lampert, A Marron, G Weiss 26th International Conference on Concurrency Theory (CONCUR 2015), 85-99, 2015	24	2015

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs