Assaf Marron
Orcid: 0000-0001-5904-5105Affiliations:
- Weizmann Institute of Science, Israel
According to our database1,
Assaf Marron
authored at least 65 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
3
3
2
2
1
1
1
1
1
4
1
2
1
1
3
1
1
1
4
6
6
4
2
1
5
3
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Commun. ACM, June, 2024
Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems.
CoRR, 2024
Categorizing methods for integrating machine learning with executable specifications.
Sci. China Inf. Sci., 2024
On Augmenting Scenario-Based Modeling with Generative AI.
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024
2023
SN Comput. Sci., March, 2023
Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models.
CoRR, 2023
CoRR, 2023
Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales.
Proceedings of the Model-Driven Engineering and Software Development, 2023
Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023
Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023
2022
The biosphere computes evolution by autoencoding interacting organisms into species and decoding species into ecosystems.
CoRR, 2022
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022
2021
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems.
IEEE Des. Test, 2021
Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns.
Computer, 2021
Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021
2020
Proc. Natl. Acad. Sci. USA, 2020
Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
2019
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems.
CoRR, 2019
Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 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
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
2018
Computer, 2018
Proceedings of the Model-Driven Engineering and Software Development, 2018
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 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 Adventures Between Lower Bounds and Higher Altitudes, 2018
2017
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems.
Sci. Comput. Program., 2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
Proceedings of the Model-Driven Engineering and Software Development, 2017
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
A reactive specification formalism for enhancing system development, analysis and adaptivity.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
Proceedings of the 4th IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2017
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017
2016
Int. J. Inf. Syst. Model. Des., 2016
Proceedings of the MODELSWARD 2016, 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
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.
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
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
Proceedings of the MODELSWARD 2015, 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
Softw. Syst. Model., 2012
Proceedings of the SPLASH'12, 2012
Spaghetti for the main course?: observations on the naturalness of scenario-based programming.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 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
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
1990
Proceedings of the Machine Learning, 1990
1988
Proceedings of the First Annual Workshop on Computational Learning Theory, 1988
1987
Inf. Comput., August, 1987