Gera Weiss
Orcid: 0000-0002-5832-8768
According to our database1,
Gera Weiss
authored at least 75 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
IEEE Trans. Software Eng., August, 2023
IEEE Trans. Software Eng., April, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
2022
Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria.
CoRR, 2022
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure.
Proceedings of the 36th International Symposium on Distributed Computing, 2022
Proceedings of the 33rd Annual Symposium on Combinatorial Pattern Matching, 2022
2021
Proceedings of the 29th Mediterranean Conference on Control and Automation, 2021
Proceedings of the Cyber Security Cryptography and Machine Learning, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
Proceedings of the Cyber Security Cryptography and Machine Learning, 2020
Proceedings of the 7th International Conference on Control, 2020
2019
Artif. Intell., 2019
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
Proceedings of the Model-Driven Engineering and Software Development, 2019
Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea).
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
Efficient Optimal Approximation of Discrete Random Variables for Estimation of Probabilities of Missing Deadlines.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
CoRR, 2018
An optimal approximation of discrete random variables with respect to the Kolmogorov distance.
CoRR, 2018
A Combinatorial Game and an Efficiently Computable Shift Rule for the Prefer Max De Bruijn Sequence.
CoRR, 2018
Modeling and programming a leader-follower challenge problem with scenario-based tools.
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
Optimal Approximation of Random Variables for Estimating the Probability of Meeting a Plan Deadline.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Vision Based Output Feedback Control of Micro Aerial Vehicles in Indoor Environments.
J. Intell. Robotic Syst., 2017
Des. Codes Cryptogr., 2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017
2016
On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks.
Proceedings of the 2016 IEEE International Conference on Software Science, 2016
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016
Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries.
Proceedings of the 2nd International Workshop on Executable Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016
2015
Sci. Comput. Program., 2015
A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios.
Sci. Comput. Program., 2015
J. Intell. Robotic Syst., 2015
Evol. Syst., 2015
Proceedings of the MODELSWARD 2015, 2015
Proceedings of the 23rd Mediterranean Conference on Control and Automation, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
2014
Trans. Comput. Collect. Intell., 2014
2013
Proceedings of the International Conference on Embedded Software, 2013
2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
Proceedings of the FUZZ-IEEE 2012, 2012
A decentralized approach for programming interactive applications with JavaScript and blockly.
Proceedings of the 2nd edition on Programming systems, 2012
2011
IEEE Trans. Autom. Control., 2011
Proceedings of the SPLASH'11 Workshops, 2011
Proceedings of the 19th IEEE International Conference on Program Comprehension, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
2010
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010
2009
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009
Proceedings of the Foundations of Software Science and Computational Structures, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009
2008
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
2005
Preservation of controllability of single-input time-varying linear systems under sampling.
IEEE Trans. Autom. Control., 2005
Math. Control. Signals Syst., 2005
2003
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach.
Proceedings of the Scenarios: Models, 2003