Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ning Ge 0002
@article{DBLP:journals/ijbic/YuZGJW23,
author = {Weiwei Yu and
Li Zhang and
Ning Ge and
Hang Jia and
Hui Wang},
title = {Collaborative manufacturing operation mode and modelling simulation
of manufacturing enterprise based on collective intelligence},
journal = {Int. J. Bio Inspired Comput.},
volume = {21},
number = {4},
pages = {218--229},
year = {2023},
url = {https://doi.org/10.1504/IJBIC.2023.132786},
doi = {10.1504/IJBIC.2023.132786},
timestamp = {Sun, 03 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijbic/YuZGJW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/GeYYL23,
author = {Ning Ge and
Jinwen Yang and
Tianyu Yu and
Wei Liu},
editor = {Yamine A{\"{\i}}t{-}Ameur and
Ferhat Khendek and
Dominique M{\'{e}}ry},
title = {AutoMTLSpec: Learning to Generate {MTL} Specifications from Natural
Language Contracts},
booktitle = {27th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2023, Toulouse, France, June 14-16, 2023},
pages = {71--80},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICECCS59891.2023.00018},
doi = {10.1109/ICECCS59891.2023.00018},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/GeYYL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhaiLG23,
author = {Shumao Zhai and
Xiaozhou Li and
Ning Ge},
title = {{HOME:} Heard-Of based Formal Modeling and Verification Environment
for Consensus Protocols},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering:
{ICSE} 2023 Companion Proceedings, Melbourne, Australia, May 14-20,
2023},
pages = {16--20},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE-Companion58688.2023.00016},
doi = {10.1109/ICSE-COMPANION58688.2023.00016},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhaiLG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/YuZG22,
author = {Weiwei Yu and
Li Zhang and
Ning Ge},
title = {An adaptive multiobjective evolutionary algorithm for dynamic multiobjective
flexible scheduling problem},
journal = {Int. J. Intell. Syst.},
volume = {37},
number = {12},
pages = {12335--12366},
year = {2022},
url = {https://doi.org/10.1002/int.23090},
doi = {10.1002/INT.23090},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijis/YuZG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/GeLZL22,
author = {Ning Ge and
Guanghao Li and
Li Zhang and
Yi Liu},
title = {Failure prediction in production line based on federated learning:
an empirical study},
journal = {J. Intell. Manuf.},
volume = {33},
number = {8},
pages = {2277--2294},
year = {2022},
url = {https://doi.org/10.1007/s10845-021-01775-2},
doi = {10.1007/S10845-021-01775-2},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jim/GeLZL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/0002L22,
author = {Ning Ge and
Yuchen Liu},
title = {MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking},
booktitle = {{IEEE} 33rd International Symposium on Software Reliability Engineering,
{ISSRE} 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022},
pages = {332--343},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSRE55969.2022.00040},
doi = {10.1109/ISSRE55969.2022.00040},
timestamp = {Wed, 11 Jan 2023 13:11:43 +0100},
biburl = {https://dblp.org/rec/conf/issre/0002L22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GeWWW22,
author = {Ning Ge and
Yunduo Wang and
Yuan Wang and
Yong Wang},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {Towards the practical adoption of {LIDL:} a toolchain for modeling
human-machine interface software interactions},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
Quebec, Canada, October 23-28, 2022},
pages = {12--16},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3559085},
doi = {10.1145/3550356.3559085},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/GeWWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/GeWZZZL22,
author = {Ning Ge and
Ze Wang and
Li Zhang and
Jiuang Zhao and
Yufei Zhou and
Zewei Liu},
title = {ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in
Code},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2022, Honolulu, HI, USA, March 15-18, 2022},
pages = {566--576},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SANER53432.2022.00074},
doi = {10.1109/SANER53432.2022.00074},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/GeWZZZL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GeDLZZ21,
author = {Ning Ge and
Silvano Dal{-}Zilio and
Hongyu Liu and
Li Zhang and
Lianyi Zhang},
title = {{RT-MOBS:} {A} compositional observer semantics of time Petri net
for real-time property specification language based on \emph{{\(\mu\)}}-calculus},
journal = {Sci. Comput. Program.},
volume = {206},
pages = {102624},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102624},
doi = {10.1016/J.SCICO.2021.102624},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GeDLZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-11715,
author = {Ning Ge and
Guanghao Li and
Li Zhang and
Yi Liu},
title = {Failure Prediction in Production Line Based on Federated Learning:
An Empirical Study},
journal = {CoRR},
volume = {abs/2101.11715},
year = {2021},
url = {https://arxiv.org/abs/2101.11715},
eprinttype = {arXiv},
eprint = {2101.11715},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-11715.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccse2/ZhangLG20,
author = {Li Zhang and
Yanxu Li and
Ning Ge},
title = {Exploration on Theoretical and Practical Projects of Software Architecture
Course},
booktitle = {15th International Conference on Computer Science {\&} Education,
{ICCSE} 2020, Delft, The Netherlands, August 18-22, 2020},
pages = {391--395},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICCSE49874.2020.9201748},
doi = {10.1109/ICCSE49874.2020.9201748},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccse2/ZhangLG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-01973,
author = {Yi Liu and
Li Zhang and
Ning Ge and
Guanghao Li},
title = {A Systematic Literature Review on Federated Learning: From {A} Model
Quality Perspective},
journal = {CoRR},
volume = {abs/2012.01973},
year = {2020},
url = {https://arxiv.org/abs/2012.01973},
eprinttype = {arXiv},
eprint = {2012.01973},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/XuZG19,
author = {Rongfei Xu and
Li Zhang and
Ning Ge},
title = {Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded
System},
journal = {{IEEE} Access},
volume = {7},
pages = {39547--39563},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2906011},
doi = {10.1109/ACCESS.2019.2906011},
timestamp = {Mon, 13 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/XuZG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/TsaiGJFH19,
author = {Wei{-}Tek Tsai and
Ning Ge and
Jiaying Jiang and
Kevin Feng and
Juan He},
title = {Invited Paper: Beagle: {A} New Framework for Smart Contracts Taking
Account of Law},
booktitle = {13th {IEEE} International Conference on Service-Oriented System Engineering,
{SOSE} 2019, San Francisco, CA, USA, April 4-9, 2019},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SOSE.2019.00028},
doi = {10.1109/SOSE.2019.00028},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/sose/TsaiGJFH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/XuZG018,
author = {Rongfei Xu and
Li Zhang and
Ning Ge and
Xavier Blanc},
title = {Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence
Constraints},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {28},
number = {11-12},
pages = {1575--1595},
year = {2018},
url = {https://doi.org/10.1142/S0218194018400181},
doi = {10.1142/S0218194018400181},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/XuZG018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/GeDJV18,
author = {Ning Ge and
Arnaud Dieumegard and
Eric Jenn and
Laurent Voisin},
title = {Correct-by-construction specification to verified code},
journal = {J. Softw. Evol. Process.},
volume = {30},
number = {10},
year = {2018},
url = {https://doi.org/10.1002/smr.1959},
doi = {10.1002/SMR.1959},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/GeDJV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GeJBF18,
author = {Ning Ge and
Eric Jenn and
Nicolas Breton and
Yoann Fonteneau},
title = {Integrated formal verification of safety-critical software},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {4},
pages = {423--440},
year = {2018},
url = {https://doi.org/10.1007/s10009-017-0475-0},
doi = {10.1007/S10009-017-0475-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GeJBF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/XuZGJ18,
author = {Rongfei Xu and
Li Zhang and
Ning Ge and
Jing Jiang},
editor = {{\'{O}}scar Mort{\'{a}}gua Pereira},
title = {Timing Analysis for Microkernel-based Real-Time Embedded System},
booktitle = {The 30th International Conference on Software Engineering and Knowledge
Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3,
2018},
pages = {512--511},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2018},
url = {https://doi.org/10.18293/SEKE2018-095},
doi = {10.18293/SEKE2018-095},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/XuZGJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/XuZG018,
author = {Rongfei Xu and
Li Zhang and
Ning Ge and
Xavier Blanc},
editor = {{\'{O}}scar Mort{\'{a}}gua Pereira},
title = {Schedulability Analysis of Real-time Tasks with Precedence Constraints},
booktitle = {The 30th International Conference on Software Engineering and Knowledge
Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3,
2018},
pages = {518--517},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2018},
url = {https://doi.org/10.18293/SEKE2018-116},
doi = {10.18293/SEKE2018-116},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/XuZG018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiZG17,
author = {Xiaocong Li and
Li Zhang and
Ning Ge},
title = {Framework Information Based Java Software Architecture Recovery},
booktitle = {24th Asia-Pacific Software Engineering Conference Workshops, {APSEC}
Workshops 2017, Nanjing, China, December 4-8, 2017},
pages = {114--120},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/APSECW.2017.15},
doi = {10.1109/APSECW.2017.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/LiZG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DieumegardGJ17,
author = {Arnaud Dieumegard and
Ning Ge and
Eric Jenn},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {Event-B at Work: Some Lessons Learnt from an Application to a Robot
Anti-collision Function},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {327--341},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_24},
doi = {10.1007/978-3-319-57288-8\_24},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DieumegardGJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/GeDJdA17,
author = {Ning Ge and
Arnaud Dieumegard and
Eric Jenn and
Bruno d'Ausbourg and
Yamine A{\"{\i}}t Ameur},
editor = {Fr{\'{e}}d{\'{e}}ric Mallet and
Min Zhang and
Eric Madelaine},
title = {Formal development process of safety-critical embedded human machine
interface systems},
booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2017, Sophia Antipolis, France, September 13-15, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/TASE.2017.8285636},
doi = {10.1109/TASE.2017.8285636},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/GeDJdA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/GePD17,
author = {Ning Ge and
Marc Pantel and
Silvano Dal{-}Zilio},
editor = {Fr{\'{e}}d{\'{e}}ric Mallet and
Min Zhang and
Eric Madelaine},
title = {Formal verification of user-level real-time property patterns},
booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2017, Sophia Antipolis, France, September 13-15, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/TASE.2017.8285630},
doi = {10.1109/TASE.2017.8285630},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/GePD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GeJBF16,
author = {Ning Ge and
Eric Jenn and
Nicolas Breton and
Yoann Fonteneau},
editor = {Maurice H. ter Beek and
Stefania Gnesi and
Alexander Knapp},
title = {Formal Verification of a Rover Anti-collision System},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
21st International Workshop on Formal Methods for Industrial Critical
Systems and 16th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9933},
pages = {171--188},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45943-1\_12},
doi = {10.1007/978-3-319-45943-1\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/GeJBF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GeDJV16,
author = {Ning Ge and
Arnaud Dieumegard and
Eric Jenn and
Laurent Voisin},
title = {From Event-B to Verified {C} via {HLL}},
journal = {CoRR},
volume = {abs/1610.07410},
year = {2016},
url = {http://arxiv.org/abs/1610.07410},
eprinttype = {arXiv},
eprint = {1610.07410},
timestamp = {Mon, 13 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GeDJV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GePC16,
author = {Ning Ge and
Marc Pantel and
Xavier Cr{\'{e}}gut},
title = {Probabilistic Failure Analysis in Model Validation {\&} Verification},
journal = {CoRR},
volume = {abs/1611.05083},
year = {2016},
url = {http://arxiv.org/abs/1611.05083},
eprinttype = {arXiv},
eprint = {1611.05083},
timestamp = {Mon, 13 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GePC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/GeNP15,
author = {Ning Ge and
Shin Nakajima and
Marc Pantel},
title = {Online diagnosis of accidental faults for real-time embedded systems
using a hidden Markov model},
journal = {Simul.},
volume = {91},
number = {10},
pages = {851--868},
year = {2015},
url = {https://doi.org/10.1177/0037549715590598},
doi = {10.1177/0037549715590598},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simulation/GeNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Ge14,
author = {Ning Ge},
title = {Property driven verification framework: application to real time property
for {UML} {MARTE} software design. (Les outils de v{\'{e}}rification
d{\'{e}}di{\'{e}}s {\`{a}} partir des familles de propri{\'{e}}t{\'{e}}s
: une application aux propri{\'{e}}t{\'{e}}s temps r{\'{e}}el
pour les mod{\`{e}}les {UML-MARTE)}},
school = {National Polytechnic Institute of Toulouse, France},
year = {2014},
url = {https://tel.archives-ouvertes.fr/tel-01395682},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/hal/Ge14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GeP14,
author = {Ning Ge and
Marc Pantel},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke},
title = {Real-Time Property Specific Reduction for Time Petri Net},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, co-located with 35th International Conference on Application
and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
International Conference on Application of Concurrency to System Design
{(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1160},
pages = {165--179},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1160/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/apn/GeP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/GePC14,
author = {Ning Ge and
Marc Pantel and
Xavier Cr{\'{e}}gut},
editor = {Yamine A{\"{\i}}t Ameur and
Ladjel Bellatreche and
George A. Papadopoulos},
title = {Automated Failure Analysis in Model Checking Based on Data Mining},
booktitle = {Model and Data Engineering - 4th International Conference, {MEDI}
2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8748},
pages = {13--28},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11587-0\_4},
doi = {10.1007/978-3-319-11587-0\_4},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/medi/GePC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/GeNP13,
author = {Ning Ge and
Shin Nakajima and
Marc Pantel},
editor = {Gabriel A. Wainer and
Pieter J. Mosterman and
Fernando J. Barros and
Gregory Zacharewicz},
title = {Efficient online analysis of accidental fault localization for dynamic
systems using hidden Markov model},
booktitle = {2013 Spring Simulation Multiconference, SpringSim '13, San Diego,
CA, USA, April 7-10, 2013, Proceedings of the Symposium on Theory
of Modeling and Simulation - {DEVS} Integrative M{\&}S Symposium},
pages = {16},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2499650},
timestamp = {Mon, 13 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/springsim/GeNP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GePC12,
author = {Ning Ge and
Marc Pantel and
Xavier Cr{\'{e}}gut},
title = {Time properties dedicated transformation from {UML-MARTE} activity
to time transition system},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {37},
number = {4},
pages = {1--8},
year = {2012},
url = {https://doi.org/10.1145/2237796.2237807},
doi = {10.1145/2237796.2237807},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/GePC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/GeP12,
author = {Ning Ge and
Marc Pantel},
editor = {Antonio Vallecillo and
Juha{-}Pekka Tolvanen and
Ekkart Kindler and
Harald St{\"{o}}rrle and
Dimitrios S. Kolovos},
title = {Time Properties Verification Framework for {UML-MARTE} Safety Critical
Real-Time Systems},
booktitle = {Modelling Foundations and Applications - 8th European Conference,
{ECMFA} 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7349},
pages = {352--367},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31491-9\_27},
doi = {10.1007/978-3-642-31491-9\_27},
timestamp = {Sat, 30 Sep 2023 09:39:26 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/GeP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GePC12,
author = {Ning Ge and
Marc Pantel and
Xavier Cr{\'{e}}gut},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Specification and Verification of Task Time Constraints for
Real-Time Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Applications and Case Studies - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7610},
pages = {143--157},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34032-1\_16},
doi = {10.1007/978-3-642-34032-1\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/GePC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
